Advanced Lead Scientist – MBSE & Formal Methods – GE Aerospace Research
Core
Design and develop tools for model-based systems engineering (MBSE), formal methods verification, and AI validation for safety-critical aerospace systems.
Role type
Senior IC scientist/engineer (MBSE & Formal Methods)
Builds
Software tools for integrated modeling, simulation, and verification of flight systems
Domain
Aerospace engineering + High Assurance Systems
Deliverable
production ML models | product features
Required skills
Formal Methods, Model-Based Systems Engineering (MBSE), AI algorithms, embedded software development, Python, Git, CVC4, Kind 2, Cameo
Preferred skills
MATLAB, Simulink, SCADE, hardware/software co-design
Technologies
Python, Git, CVC4, Kind 2, Cameo, Eclipse
Responsibilities
Design tools to model and analyze specifications and embedded software; Develop technology to verify AI and system models; Establish end-to-end digital thread/traceability; Mentor staff in MBSE and Formal Methods; Develop strategic relationships with internal/external organizations
Seniority
Senior, hands-on IC with mentorship
