Expert in Formal Methods

Principal Engineer or Expert in Formal Methods

Overview:

A leading research team is seeking highly skilled engineers and experts in formal methods to join teams based in Paris, Grenoble, or Munich. This is an opportunity to contribute to cutting-edge research and industrial applications in formal verification across chip design, electronic design automation (EDA), and system-level verification.

Position Summary:

Two positions are available for experienced engineers or researchers: Principal Engineer and Expert in Formal Methods. Candidates should have extensive expertise in formal modeling of complex systems, proficiency in multiple formal modeling languages, and a strong background in verification approaches. Senior expert roles require substantial industrial experience and a foundational understanding of artificial intelligence.

Key Responsibilities:

• Lead and execute research in formal modeling and verification for complex system design, ensuring rigorous formalization of architectures and specifications.
• Utilize multiple formal specification languages (e.g., TLA+, P, B-method) to describe, analyze, and verify complex systems.
• Apply various formal verification techniques, including model checking, theorem proving, abstract interpretation, symbolic execution, and compositional verification.
• Collaborate with interdisciplinary teams, including hardware engineers, software architects, AI experts, and system designers, to integrate formal methods into industrial workflows.
• Mentor junior researchers and engineers, fostering expertise in formal modeling and verification.
• For senior expert roles, lead research initiatives, establish and expand research teams, and drive technical innovation and cross-domain collaboration.

Qualifications:

• Extensive experience in formal methods, focusing on system-level modeling, formal specification languages, and advanced verification techniques.
• Strong research background with publications in top-tier conferences or journals on formal methods and verification.
• Expertise in multiple formal modeling languages and specification frameworks (e.g., TLA+, Alloy, Promela, SysML/UML, Event-B, B-method).
• Deep knowledge of formal verification techniques such as model checking, theorem proving, symbolic execution, abstract interpretation, and compositional methods.
• Experience applying formal methods to industrial-scale system designs, chip design verification, or EDA.
• For senior-level candidates, significant industrial experience combined with knowledge of AI methods is preferred.
• PhD in computer science, formal methods, computer engineering, or a related field.
• Strong leadership skills, problem-solving abilities, and a proven track record of interdisciplinary collaboration.