-
, 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
-
the ARIA programme, including red/blue team exercises and sprint reviews Profile PhD (or nearing completion of) in computer science or a closely related field Background in formal verification, programming
-
present your work internationally. You are the ideal candidate if You hold a PhD in mathematics, computer science or a related field You have a strong background in formal verification with Lean You have
-
an international and world-class engineering institution that hosts state-of-the-art experimental and computational facilities, a rich and vibrant scientific and entrepreneurial community. Required