Topic: formal methods

Autonomous robots and other large dynamical systems often have complex, uncertain or partly unknown models that limit traditional model-based control. Machine learning and reinforcement learning offer adaptable decision-making methods, but their interpretability and guarantees of safe, correct behavior remain limited. This talk brings formal methods together with control theory and learning: expressive specification languages capture objectives and safety requirements, while verification, synthesis and proofs establish desired behavior. Examples from autonomous driving and robotic manipulation

Three-year salaried doctoral appointment studying the expressivity, robustness and verification of neural models of automata. The project connects systems theory, statistics, optimization and formal methods, examining recurrent networks, attention mechanisms and state-space models. Work includes theoretical analysis, experimental algorithms and scientific publication. The advertised gross monthly salary is €2,300. The advert lists an October 2026 target start alongside a November application deadline; applicants should confirm start-date flexibility.