Postdoc: End-to-End Formal Verification for Control Software

Enac Isae-Supaero; Toulouse; On-site; EUR 40,000 - 50,000; Full time

Job summary

A prestigious research institution seeks a highly motivated postdoctoral researcher to contribute to an international project in control theory and formal methods. The role involves designing formal verification methods for control software, particularly focusing on optimization-based algorithms. Candidates should possess a PhD in related fields and strong expertise in control systems, programming, and formal verification tools. Collaboration with international partners and publication opportunities are key aspects of this position.

Qualifications

• Strong background in control systems theory and Lyapunov theory.
• Familiarity with optimization-based control methods is preferred.
• Experience with formal verification tools and static analysis.

Responsibilities

• Design and implement formal verification methods for control software.
• Develop end-to-end verification toolchains integrating modeling and validation.
• Collaborate with international research partners and contribute to publications.

Skills

Control theory

Formal methods

C/C++ programming

Python

Deductive verification

Static analysis

Education

PhD in Control Theory

PhD in Computer Science

PhD in Applied Mathematics

Tools

Frama-C

SMT solvers

Theorem provers

CocoSim

Job description

A prestigious research institution seeks a highly motivated postdoctoral researcher to contribute to an international project in control theory and formal methods. The role involves designing formal verification methods for control software, particularly focusing on optimization-based algorithms. Candidates should possess a PhD in related fields and strong expertise in control systems, programming, and formal verification tools. Collaboration with international partners and publication opportunities are key aspects of this position.