2 software-formal-method-phd Postdoctoral positions at AI4I

Postdoctoral Research position on Adversarial Machine Learning & Formal Verification

AI4I | Italy | 3 months ago

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

Postdoctoral Researcher in Software Engineering & Robotics

AI4I | Italy | about 1 month ago

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