Tanja Vos

A fully funded PhD position is available at the Open Universiteit in the Netherlands, focusing on the automated detection of security vulnerabilities in software products. The research aims to develop next-generation techniques that combine artificial intelligence, formal methods, and software testing to improve the accuracy and usability of vulnerability detection tools. The project addresses the limitations of current static and dynamic analysis methods, striving to reduce both false positives and false negatives in vulnerability detection. The PhD candidate will work closely with a team of supervisors with expertise in AI for cybersecurity and formal methods, and will collaborate with the Digital Security group at Radboud University. The position offers a four-year contract, a competitive salary, and opportunities for professional development and teaching. Applicants should have a relevant MSc degree, strong analytical skills, and excellent English communication abilities. The application deadline is November 1, 2025. For more information and to apply, visit the provided AcademicTransfer link.