Advanced Lead Scientist, MBSE & Formal Methods

What you'll do

• Design and develop tools to model and analyze specifications, systems, and embedded software.
• Develop technology and tools to verify and trust 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, and functional correctness.
• Establish end-to-end digital thread traceability across requirements, models, design artifacts, and certification inputs.
• Evaluate and improve methods, tools, and processes for model integration, simulation, and verification.
• Provide mentoring and development to staff to grow organizational knowledge in MBSE, Formal Methods, and AI.
• Maintain strategic relationships with internal and external organizations to accelerate new technology delivery.

What we're looking for

• PhD in Electrical, Control, or Computer Engineering or a related discipline.
• Master’s degree in Electrical, Control, or Computer Engineering 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 model-based systems engineering tools such as Cameo.
• Expertise in programming languages such as Python and code repositories such as Git.
• Legal authorization to work in the U.S. and status as a U.S. Person for export-controlled information.
• Authorized to work in the United States for this opening.