-
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
-
, 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