Assistant Professor In Formal Methods and Neuro-Symbolic AI

Assistant Professor position in the Department of Mathematics and Computer Science at TU/e, focusing on Formal Methods and AI for Zero-touch Systems. The role involves designing and developing neuro-symbolic methods for verification, enabling development of models for zero-touch autonomous systems, and contributing to scientific roadmaps in neuro-symbolic AI. Key responsibilities include conducting mission-driven research on self-healing and autonomous systems, developing future-proof methods for software engineering, guaranteeing safety and reliability of zero-touch systems, and leading research in the intersection of Formal Methods and AI including Runtime Verification, Shielding, Reinforcement Learning verification, Neuro-Symbolic AI, Neural Network Verification, and eXplainable AI. The position includes teaching responsibilities and mentoring of students and staff.