-
, implementation, and open-source release of the lab’s tools and artefacts Participate in the supervision of PhD and master students Profile PhD (or nearing completion of) in computer science or a closely related
-
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
Searches related to phd information security
Enter an email to receive alerts for phd-information-security positions