Sort by
Refine Your Search
-
develop foundational security theory for agentic and multi-agent AI systems, as part of our research programme in multi-agent security. You will build formal models of security-relevant behaviour in
Searches related to model checking
Enter an email to receive alerts for model-checking positions