Sort by
Refine Your Search
-
than 18,500 people, including over 14,000 students and 4,000 researchers from more than 120 different countries. Postdoc in the Theory of Non-Equilibrium Chemical Reaction Networks Mission The National Centre
-
, 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
-
field Background in programming languages, formal methods, or networking Research experience in one or more of: language design and semantics, automata theory and decision procedures, interactive
-
Group Theory. Anosov representations of these groups are thought to be linear versions of these groups: many objects naturally associated with hyperbolic groups have a linear avatar in the presence
-
/labs/cvlab/ ) is looking for a postdoctoral fellow to work on issues related to co-design for aerodynamic shape and control along the lines described in the following tech report https://arxiv.org/abs
-
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