GE Aerospace
Advanced Lead Scientist – MBSE & Formal Methods – GE Aerospace Research
$112K–$186K
Niskayuna · Full-time · Posted Oct 22, 2026
- Experience
- At least 4 years of relevant work experience with a master’s degree; no years specified with a PhD.
- Education
- 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.
- Visa sponsorship
- Must be legally authorized to work in the U.S. Export-controlled work requires U.S. Person status: U.S. lawful permanent resident, U.S. Citizen, or granted asylee or refugee status.
About the job
Conduct aerospace research and develop tools and methods for MBSE, formal verification, requirements traceability, and trustworthy AI in safety-critical systems.
What you'll do
- Design tools to model and analyze system specifications and embedded software, and verify system and AI models.
- Develop MBSE practices, apply formal methods, and establish end-to-end digital traceability across requirements, models, verification evidence, and certification inputs.
- Lead or contribute to research projects, mentor staff, and build relationships with internal and external organizations.
What they ask for
- PhD in Electrical, Control or Computer Engineering or related discipline, or a master’s degree in one of these fields with at least 4 years of relevant work experience.
- Core expertise in Formal Methods, Model-Based Systems Engineering, and AI, including application and verification of AI algorithms.
- Experience with embedded software development tools such as Eclipse, CVC4, or Kind 2, and MBSE tools such as Cameo.
- Expertise in programming languages such as Python and code repositories such as Git; strong coding skills and technical accomplishments.
Nice to have
- Experience with hardware and software co-design development processes, methodologies, and tools.
- Experience with MATLAB, Simulink, SCADE, or other software modeling tools.
Pay
$112,000 - $186,000 USD USD Annually (base salary)
Tools
Eclipse, CVC4, Kind 2, Cameo, Python, Git, MATLAB, Simulink
AI focus
Develop technologies and tools to verify and trust AI and system models; apply and verify AI algorithms.
Model-written summary · the original posting is authoritative