Senior MBSE & Formal Methods Lead — AI Verification

GE Aerospace; Elgin Township (IL); On-site; USD 112,000 - 186,000; Full time

Job summary

GE Aerospace Research seeks an Advanced Lead Engineer – High Assurance Systems to design and develop methods for rigorous verification of AI-enabled system models. You will mentor junior staff and partner with senior engineers to deliver innovative aerospace software tools.

The role focuses on formal methods, MBSE, LLMs, and high-assurance systems to ensure flightworthy designs across requirements, models, and certification inputs.

Qualifications

• PhD in Electrical/Control/Computer Engineering or related field required, or Master’s with 4+ years of relevant experience.
• Demonstrated core expertise in Formal Methods, MBSE, and AI.
• Experience with embedded software development tools such as Eclipse, CVC4, or Kind 2.

Responsibilities

• Lead and contribute to research projects in Aerospace to develop software tools for modeling, simulation, and verification.
• Develop tools to verify AI and system models and MBSE practices for complex systems.
• Mentor staff on MBSE, Formal Methods, and AI technologies.

Skills

Formal Methods

Model-Based Systems Engineering

AI

Python

Git

Strong coding skills

Teamwork skills

Communication skills

Education

PhD in Electrical, Control or Computer Engineering or related

Master’s degree in Electrical, Control or Computer Engineering or related with 4+ years of experience

Tools

Eclipse

CVC4

Kind 2

Cameo

MATLAB

Simulink

SCADE

Job description

GE Aerospace Research seeks an Advanced Lead Engineer – High Assurance Systems to design and develop methods for rigorous verification of AI-enabled system models. You will mentor junior staff and partner with senior engineers to deliver innovative aerospace software tools.

The role focuses on formal methods, MBSE, LLMs, and high-assurance systems to ensure flightworthy designs across requirements, models, and certification inputs.