Sort by
Refine Your Search
-
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
-
extensions, and scalable verification via symbolic automata and related decision procedures Routing algebras: composable, algebraic representations of distributed routing protocols, as a principled basis for
-
. Scalable AI training: distributed training, efficient fine-tuning, evaluation, and deployment on large-scale compute. Multimodal learning: representation learning and generative modeling across heterogeneous
-
The Artificial Intelligence in Molecular Medicine (AIMM) Lab, led by Prof. Charlotte Bunne at EPFL, sits at the interface of computer science and the life sciences, affiliated with both the School
-
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
-
is responsible for the design, implementation, operation and continuous improvement of the technical infrastructure supporting the Genome of Switzerland programme. The position ensures the efficient
-
Positions Application Deadline 15 Oct 2026 - 15:55 (Africa/Abidjan) Country Switzerland Type of Contract Temporary Job Status Full-time Is the job funded through the EU Research Framework Programme? Not
-
environment, enriched by initiatives promoting equality, inclusion, diversity, well-being and sustainability as well as an engaging program of cultural, sports and community activities throughout the year. Read
-
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
-
in Molecular Medicine (AIMM) Lab, led by Prof. Charlotte Bunne at EPFL, sits at the interface of computer science and the life sciences, affiliated with both the School of Computer and Communication