Postdoc in Formal Methods and AI, Leiden University (The Netherlands)

The theory group at LIACS at the University of Leiden is looking for a Postdoc candidate with expertise in Formal Methods and in Artificial Intelligence. The ideal candidate will have a track record in research that connects the two fields, for example in automata and/or model learning, data-driven verification, or data-driven controller synthesis with guaranteed properties. Also, the connection of formal methods with decision-making under uncertainty using, e.g., reinforcement learning is of strong interest.