2 model-checking 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

intelligent robots. Developing adaptive learning and deployment frameworks enabling secure, trustworthy, and robust operation of AI models embedded in CPS. Conducting empirical and experimental studies at scale