Sort by
Refine Your Search
-
than 18,500 people, including over 14,000 students and 4,000 researchers from more than 120 different countries. Postdoctoral Research Fellow in Adaptive optics for ultrafast laser-matter interaction Mission
-
than 18,500 people, including over 14,000 students and 4,000 researchers from more than 120 different countries. Postdoc Position in Microbial Ecology - Community Assembly and Interactions in Digester
-
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
-
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
-
cutting-edge tools for quantum scanning probe microscopy with a high degree of scientific and technical independence Close interaction with international academic and industrial collaborators and
-
interactions between researchers, IT services, Legal Affairs, Ethics Affairs, the Data Protection Office, and external partners. · Coordinate EPFL’s participation in national and international infrastructures
-
, SGLang, PyTorch internals, or similar) Interactive theorem proving (Rocq, Lean, HOL, Isabelle, or similar) or other formal methods Experience maintaining development tooling: build systems, continuous
-
clinical partners in Europe and the US has been established. The successful candidate will closely interact with experts in microfluidics and bioinformatics, while spearheading the above project. Main duties
-
will closely interact with experts in microfluidics and bioinformatics, while spearheading the above project. Main duties and responsibilities include Optimization of single-cell sequencing workflows
-
Interaction to redefine how machines interpret human actions, anticipate intentions, and interact seamlessly with people in various settings. The successful candidate will be developing new methods for remote