Advanced Lead Scientist – MBSE & Formal Methods – GE Aerospace Research

GE Aerospace; Town of Niskayuna (NY); On-site; USD 112,000 - 186,000; Full time

Job summary

GE Aerospace Research in Niskayuna, NY, is seeking an Advanced Lead Engineer - High Assurance Systems to design and deploy tools for modeling, verification, and traceability across complex systems.

The role focuses on formal methods, Model-Based Systems Engineering, and AI to improve requirement quality, system models, and certification evidence, while mentoring staff and collaborating with internal and external partners.

Qualifications

• PhD or Master’s in Electrical, Control, or Computer Engineering or related discipline with relevant work experience.
• Demonstrated core expertise with Formal Methods, Model-Based Systems Engineering, and AI.
• Experience with embedded software development tools (Eclipse, CVC4, Kind 2).
• Experience with MBSE tools such as Cameo.
• Expertise in AI algorithms and Python; Git repository experience.
• Proven teamwork and strong written/verbal communication skills.

Responsibilities

• Design and develop tools to model and analyze specifications, systems, and embedded software.
• Develop technology to verify and trust AI and system models.
• Develop MBSE practices for complex systems and architectures.
• Apply formal methods to improve requirements analysis, architecture, and verification.
• Establish end-to-end digital thread / traceability across requirements, models, design artifacts, and certification inputs.
• Mentor staff in MBSE, Formal Methods, and AI technologies.
• Develop and maintain relationships with internal and external organizations to accelerate technology delivery.

Skills

Formal Methods

Model-Based Systems Engineering

AI

Python

Git

Strong coding skills

Teamwork

Communication

Education

PhD or Master’s in Electrical/Control/Computer Engineering

Tools

Eclipse

CVC4

Kind 2

Cameo

MATLAB/Simulink

SCADE

Job description

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.

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).

Essential Responsibilities

• 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