Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
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
-
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
-
, 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
-
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
-
looking for a postdoctoral researcher in the area of Generative AI. VITA research interests lie at the intersection of Computer Vision, Machine Learning (Deep Learning), and Human-Robot Interaction
-
mechanisms, enabling new strategies to diagnose and treat complex human disorders. SATURNA brings together expertise in artificial intelligence, computational RNA biology, molecular, cellular and clinical