-
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
-
-motivated, collaborative, and committed to open science and reproducible research; Demonstrated ability to work both independently and as part of a team. Position 1 — additional desirable expertise: computer
Enter an email to receive alerts for power-electronic-"https:" "https:" "https:" "https:" "https:" positions