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 integration to ensure safety-critical aerospace systems are flightworthy.
Role type
Senior IC advanced lead scientist/engineer (MBSE & Formal Methods)
Builds
Software tools for integrated modeling, simulation, and verification of complex aerospace systems
Domain
Aerospace engineering, High Assurance Systems, Model-Based Systems Engineering
Deliverable
production ML models
Required skills
Formal Methods, Model-Based Systems Engineering (MBSE), AI/LLM application, embedded software development, Python programming, Git, CVC4, Kind 2, Cameo
Preferred skills
MATLAB, Simulink, SCADE, hardware/software co-design methodologies
Technologies
Python, Git, CVC4, Kind 2, Cameo, Eclipse, MATLAB, Simulink, SCADE
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; Partner with engineers to collect requirements and design novel solutions.
Seniority
Senior, hands-on IC with mentorship responsibilities
