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
-
and Circularity to strengthen its activities in sustainable photovoltaic technologies. The successful candidate will work at the interface between scientific research, technology development, project
-
for a postdoctoral fellow to join our team to work on a new SNSF-funded project on Managing a Just Transition to Net Zero. This project aims (1) to measure economic/job vulnerabilities to the clean energy
-
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