We have an Assistant Professor vacancy in our group on the topic of Formal Methods and Neuro-Symbolic AI.
The offered position is part of a broader department-wide mission-driven research collaboration on Zero-touch systems at the TU/e. 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:
For questions, contact the hiring manager (Tim Willemse, t.a.c.willemse@tue.nl).