-
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
-
or automated theorem proving, network verification, routing protocols, packet scheduling, or applications of AI/ML to systems and security Strong computational and analytical skills, including solid software
-
recommendations to ensure reproducibility of the project’s artefacts Diagnose, prevent, and repair failures and regressions across the software stack Analyze the security level and trusted computing base of the
-
software which will contribute to achieve CIBM strategic objectives https://cibm.ch/the-center/ Main duties and responsibilities Liaise with the IT services of partner institutions (CHUV, UNIL, EPFL, UNIGE