Advanced Lead Scientist – MBSE & Formal Methods – GE Aerospace Research

GE Aerospace•Elgin Township, IL

1d•$112,000 - $186,000•Onsite

About The Position

GE Aerospace Research is hiring an Advanced Lead Scientist in the Knowledge Discovery & High Assurance Systems Laboratory in Niskayuna, New York. The role focuses on research and development of technologies for efficient system-model development, improved requirements quality and traceability, and mathematically rigorous verification of system behavior using formal methods and AI. The position contributes to and may lead aerospace research projects involving software tools and advanced technologies for integrated modeling, simulation, and verification. The work combines technical leadership with collaboration, mentoring, and development of relationships across internal and external organizations.

Requirements

PhD in Electrical, Control, or Computer Engineering or a related discipline, or a master's degree in one of these fields or a related discipline with at least 4 years of relevant work experience.
Demonstrated core expertise in formal methods, Model-Based Systems Engineering, and AI.
Experience with embedded software development tools such as Eclipse, CVC4, or Kind 2.
Experience with MBSE tools such as Cameo.
Expertise in application and verification of AI algorithms.
Expertise in programming languages such as Python and code repositories such as Git.
Demonstrated very high technical competence, including strong coding skills and individual technical accomplishments.
Proven teamwork skills.
Strong written and verbal communication skills.
Legal authorization to work in the United States and ability to meet the stated U.S. Person status requirement for access to export-controlled information.
Willingness to work out of an office in Niskayuna, New York.
Must be at least 18 years old.

Nice To Haves

Experience with standard development processes, methodologies, and tools for hardware and software co-design.
Experience with MATLAB, Simulink, SCADE, or other software modeling tools.
Ability to communicate ideas in both technical and user-friendly language.
Entrepreneurial drive and a demonstrated ability to achieve goals in an innovative, fast-paced environment.

Responsibilities

Design and develop tools to model and analyze specifications, systems, and embedded software.
Develop technology and tools to verify and build trust in AI and system models.
Develop MBSE practices for complex systems, subsystems, and integrated product architectures.
Apply formal methods to improve rigor in requirements analysis, architecture definition, functional correctness, safety, and verification.
Establish end-to-end digital thread and traceability across requirements, models, design artifacts, verification evidence, and certification inputs.
Evaluate and improve methods, tools, and processes for model integration, simulation, and verification.
Mentor and develop staff to grow organizational technical capability and knowledge in MBSE, formal methods, and AI technologies.
Develop and maintain strategic relationships with internal and external organizations to accelerate and expand technology delivery to business customers.
Partner with senior engineers and scientists to collect internal and external customer requirements.
Design and develop novel solutions to demonstrate that safety-critical systems are flightworthy.

Benefits

Medical, dental, vision, and prescription drug coverage.
Access to a Health Coach and the Employee Assistance Program.
GE Aerospace Retirement Savings Plan, including a 401(k) savings plan with company matching contributions and company retirement contributions.
Access to Fidelity resources and planning consultants.
Tuition assistance.
Adoption assistance.
Paid parental leave.
Disability insurance.
Life insurance.
Paid time off for vacation or illness.
Annual discretionary bonus based on a percentage of base salary.