Assistant Professor in Formal Methods and Neuro-Symbolic AI at TU/e

The offered position is part of a broader department-wide mission-driven research collaboration on Zero-touch systems at the Eindhoven University of Technology, The Netherlands. Focussing on the interdisciplinary area of Formal Methods and AI, its goal is to develop theory and techniques to improve the dependability of autonomous and self-adapting systems by combining benefits from Formal Methods with the benefits of symbolic and sub-symbolic AI. Keywords include Runtime Verification and Shielding, reasoning about stochastics and Reinforcement Learning, Neuro-Symbolic AI, Neural Network Verification, and eXplainable AI.

This vacancy closes on Sunday 2 August. For detailed information, please visit:

https://www.tue.nl/en/working-at-tue/vacancy-overview/assistant-professor-in-formal-methods-and-neuro-symbolic-ai

The position is part of the Formal System Analysis (FSA) cluster within the department of Mathematics and Computer Science at the Eindhoven University of Technology.
The FSA cluster studies formal techniques to model and analyse software and hardware systems. The group maintains several toolsets, such as mCRL2, Storm, and Stark, which are used at several major industries and public bodies, generally as verification backends. The group has strong ties with industrial partners and actively strives to apply its methods in industrial contexts, fueling the economic and societal impact of the group.

For more information about the FSA cluster, please visit:

https://fsa.win.tue.nl

For questions, contact the hiring manager Prof. dr. Tim Willemse (t.a.c.willemse@tue.nl).