-
Responsibilities Conduct foundational research in adversarial machine learning, exploring novel attack vectors and defense mechanisms for AI agents and large language models. Develop formal verification methods and
-
partners, as well as supporting proposals for funding of national/international applications. Required Qualifications PhD in Software Engineering, Robotics, Computer Science, AI, or closely related areas
-
, or software development. Preferred Qualifications A PhD in a relevant field. Previous leadership roles in R&D centres. Proven experience as a founder or co-founder of an innovative startup. Experience in
Searches related to software formal method phd
Enter an email to receive alerts for software-formal-method-phd positions