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

Enac Isae-Supaero; Toulouse; Sur place; EUR 40 000 - 50 000; Plein temps

Résumé du poste

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.

Responsabilités

• 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.

Connaissances

Control theory

Formal methods

C/C++ programming

Python

Deductive verification

Static analysis

Formation

PhD in Control Theory

PhD in Computer Science

PhD in Applied Mathematics

Outils

Frama-C

SMT solvers

Theorem provers

CocoSim

Description du poste

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.