Advanced Lead Scientist - MBSE & Formal Methods

Job Description Summary

Located in Niskayuna, New York, central to the New York Capital District, GE Aerospace Research builds on GE’s 125+ years of industrial research heritage, tackling the most challenging engineering problems through multi-disciplinary teams to deliver innovative technologies. Together, we create and sustain differentiated solutions to maintain competitive advantages for GE Aerospace and our customers.

As an Advanced Lead Scientist in the Knowledge Discovery & High Assurance Systems Laboratory, you work individually and in teams to enable multimodal data management, knowledge extraction, knowledge representation and reasoning, scalable computing, full stack software design and development, and formal methods verification and validation of systems.

Job Description

At GE Aerospace Research, we invent the future of flight, lift people up, and bring them home safely. As an Advanced Lead Engineer – High Assurance Systems in the Knowledge Discovery & High Assurance Systems Lab, you will design and develop technologies that enables efficient system model development, improves requirement quality and traceability, and verifies system behavior using mathematically rigorous methods and Artificial Intelligence (AI).  Successful Advanced Lead Engineers will use their expertise in areas of Formal Methods, Model-Based Systems Engineering (MBSE), Large Language Models (LLMs), and High Assurance Systems to perform the following: partner with senior engineers and scientists to collect internal and/or external customer requirements, design and develop novel solutions to demonstrate that safety critical systems are flightworthy, and mentor and guide junior team members to achieve the same.

Essential Responsibilities:

You will contribute to, and in some instances, lead innovative research projects in the Aerospace domain that define and implement software tools that improve the development of software and systems including advanced technologies for integrated modeling, simulation, and verification.  This will require the successful application of both technical and interpersonal skills.  In this position, you will:

• Design and develop tools to model and analyze specifications, systems, and embedded software.
• Develop technology and tools to verify and trust AI and system models.
• Develop MBSE practices for complex systems, subsystems, and integrated product architectures.
• Apply formal methods to improve rigor in requirements analysis, architecture definition, functional correctness, safety, and verification.
• Establish end-to-end digital thread / traceability across requirements, models, design artifacts, verification evidence, and certification inputs.
• Evaluate and improve methods, tools, and processes for model integration, simulation, and verification.
• Provide mentoring and development of staff members in the organization to grow the technical capability and knowledge of the organization with respect to Model-Based Systems Engineering, Formal Methods, and AI technologies.
• Develop and maintain strategic relationships with internal and external organizations to accelerate and expand the ability to deliver new technology to our business customers.

Required Qualifications:

• PhD in Electrical, Control or Computer Engineering or related discipline, OR Master’s degree in Electrical, Control or Computer Engineering or related discipline with a minimum of 4 years of relevant work experience.
• Demonstrated core expertise with Formal Methods, Model-Based Systems Engineering, and AI.
• Experience with embedded software development tools such as Eclipse, CVC4, or Kind 2.
• Experience with model-based systems engineering tools such as Cameo.
• Expertise with application and verification of AI algorithms.
• Expertise in programming languages such as Python and code repositories such as Git.
• Demonstrated track record of very high technical competence that includes strong coding skills and individual technical accomplishments.
• Proven teamwork skills.
• Strong written and verbal communication skills.
• Legal authorization to work in the U.S. is required.
• Must be willing to work out of an office located in Niskayuna, NY. Must be 18 years or older.

Desired Characteristics:

• Experience with standard development processes, methodologies, and tools for hardware and software co-design.
• Experience with MATLAB, Simulink, SCADE, or other software modeling tools.
• Ability to communicate ideas in both technical and user-friendly language.
• Entrepreneurial drive and a demonstrated ability to achieve goals in an innovative and fast-paced environment.

The base pay range for this position is $112,000 - $186,000 USD USD Annually. The specific pay offered may be influenced by a variety of factors, including the candidate’s experience, education, and skill set. This position is also eligible for an annual discretionary bonus based on a percentage of your base salary/ commission based on the plan. This posting is expected to close on December 30th, 2026.

GE Aerospace offers comprehensive benefits and programs to support your health and, along with programs like HealthAhead, your physical, emotional, financial and social wellbeing. Healthcare benefits include medical, dental, vision, and prescription drug coverage; access to a Health Coach from GE Aerospace; and the Employee Assistance Program, which provides 24/7 confidential assessment, counseling and referral services. Retirement benefits include the GE Aerospace Retirement Savings Plan, a 401(k) savings plan with company matching contributions and company retirement contributions, as well as access to Fidelity resources and planning consultants. Other benefits include tuition assistance, adoption assistance, paid parental leave, disability insurance, life insurance, and paid time-off for vacation or illness. ​

GE Aerospace (General Electric Company or the Company) and its affiliates each sponsor certain employee benefit plans or programs (i.e., is a “Sponsor”). Each Sponsor reserves the right to terminate, amend, suspend, replace or modify its benefit plans and programs at any time and for any reason, in its sole discretion. No individual has a vested right to any benefit under a Sponsor’s welfare benefit plan or program. This document does not create a contract of employment with any individual.

#LI-MH1

This role requires access to U.S. export-controlled information. Therefore, employment will be contingent upon the ability to prove that you meet the status of a U.S. Person as one of the following: U.S. lawful permanent resident, U.S. Citizen, have been granted asylee or refugee status (i.e., a protected individual under the Immigration and Naturalization Act, 8 U.S.C. 1324b(a)(3)).

Additional Information

GE Aerospace will only employ those who are legally authorized to work in the United States for this opening. Any offer of employment is conditioned upon the successful completion of a drug screen (as applicable). Employees may also be subject to random and reasonable-suspicion drug and alcohol testing.