Sort by
Refine Your Search
-
Category
-
Country
-
Program
-
Field
-
seeks 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
-
nearing completion of) in computer science or a closely related field Background in programming languages, formal methods, or networking Research experience in one or more of: language design and
-
international universities. CANDIDATE PROFILE We are looking for a PhD candidate with a strong analytical background and an outstanding MSc degree in Computer Science, Robotics, Chemical/Process
-
user communities Profile Higher degree in computer science or education deemed equivalent; experience in the field Excellent technical knowledge of systems programming, and strong programming ability in