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
-
an outstanding postdoctoral researcher to develop next-generation MEMS probes and instrumentation for cryogenic scanning probe microscopy (SPM) and quantum measurements. The position is part of a recently funded
-
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
-
sequencing or antibody discovery. Experience in droplet-microfluidics, including use of commercial devices such as the 10X Genomics platform is beneficial, but not absolutely crucial. LBMM has already
-
the Laboratory of Elisa Oricchio at the Swiss Institute of Experimental Cancer Research ISREC at EPFL. The lab is part of the vibrant research community of the Swiss Cancer Center Leman and is located on the EPFL
-
computing environments, such as Python, R, or MATLAB; A strong publication record appropriate to the candidate’s career stage; The ability to work both independently and collaboratively in
-
, environmental modelling and geospatial data science. The position is part of Vertical Africa (VERTICAF), an interdisciplinary research project funded by the Swiss National Science Foundation (SNSF). We
-
processing strategies that can enable the fabrication of a wide variety of advanced functional materials and devices. We are seeking a candidate with experience either in a) the development of (macro)monomers
-
engineering ability (e.g., OCaml, Rust, C/C++, Python, or other functional languages) Strong publication record (relative to your career stage) in internationally leading venues (e.g., POPL, PLDI, ICFP, OOPSLA
-
role in global carbon cycling and provide an excellent model for investigating fundamental questions in microbial ecology, including community assembly, species interactions, resilience, and ecosystem