Sort by
Refine Your Search
-
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
-
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
Searches related to model checking
Enter an email to receive alerts for model-checking positions