-
provable guarantees AI-based cybersecurity: applying learning and AI-assisted techniques to network security, e.g., automata learning from security logs, validation of protocol models, and verified defensive
-
to advance knowledge in the following domains: Formal verification and interactive theorem proving (Rocq, Lean) Secure and high-performance computer systems, including ML infrastructure We seek outstanding
-
experimental research, including experimental campaigns, data analysis and process optimization, while ensuring high standards of laboratory practice, documentation, scientific integrity and safety. You will
Searches related to security
Enter an email to receive alerts for security positions