Sort by
Refine Your Search
-
habitual control. It will then test how acute stress alters these processes, combining behavioral performance, physiological monitoring, movement-based phenotyping, and advanced statistical and computational
-
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
-
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
-
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
-
geometry of the space of deformations of Anosov representations, with a strong emphasis on positive ones and their relation with Geometric Analysis. Our goal is to use various techniques from geometric PDE