Lead Scientist - MBSE, Formal Methods & AI for Flight Safety

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

Job summary

GE Aerospace Research in Niskayuna, NY seeks an Advanced Lead Engineer – High Assurance Systems to drive multimodal data management, knowledge extraction, and rigorous verification using formal methods and MBSE. You will mentor staff, collaborate across disciplines, and advance AI-enabled system models for flight-critical applications.

You will apply MBSE, formal methods, and AI techniques to deliver verifiable, safe, and scalable solutions while partnering with senior engineers and customers to

Qualifications

• PhD or MS with relevant work experience in electrical/control/computer engineering.
• Expertise in formal methods, MBSE, and AI.
• Experience with embedded software development tools and model-based systems engineering tools.

Responsibilities

• Lead innovative aerospace software and systems research projects.
• Design and develop tools to model and analyze specifications, systems and embedded software.
• Develop methods to verify and trust AI and system models; establish MBSE practices.

Skills

Formal Methods

MBSE

AI

Python

Git

Cameo

Eclipse

CVC4

Kind 2

Teamwork

Communication

Education

PhD in Electrical/Control/Computer Engineering or related

MS in Electrical/Control/Computer Engineering or related with 4+ years

Tools

Eclipse

CVC4

Kind 2

Cameo

Job description

GE Aerospace Research in Niskayuna, NY seeks an Advanced Lead Engineer – High Assurance Systems to drive multimodal data management, knowledge extraction, and rigorous verification using formal methods and MBSE. You will mentor staff, collaborate across disciplines, and advance AI-enabled system models for flight-critical applications.

You will apply MBSE, formal methods, and AI techniques to deliver verifiable, safe, and scalable solutions while partnering with senior engineers and customers to