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

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 Ph

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

#J-18808-Ljbffr