Sort by
Refine Your Search
-
indoor air quality, aerosol science, exposure science, and healthy buildings. Projects may combine controlled laboratory experiments, measurements in real-world buildings, data analysis, and modeling
-
advanced computational models; and Related topics in indoor air quality, aerosol science, exposure science, and healthy buildings. Projects may combine controlled laboratory experiments, measurements in real
-
project on multifunctional self-sensing probe technologies for experiments on quantum materials under cryogenic and vacuum conditions. Main duties and responsibilities The successful candidate will work
-
, and relevant experience; 2. a curriculum vitae; 3. contact information for one or two professional references. The application documents should be submitted via https://programs-recruiting.epfl.ch
-
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
-
verified research prototypes into a production-grade, high-performance inference engine. Prior experience with formal verification is welcome but not required: a strong systems engineer with the motivation
-
languages, systems, or ML Research experience in one or more of: interactive theorem proving (Rocq, Lean, HOL, Isabelle, or similar), GPU programming or semantics, compilers, concurrency, or ML systems (e.g
-
cell biology and next generation sequencing. Experience in droplet-microfluidics, including use of commercial devices such as the 10X Genomics platform is beneficial, but not absolutely crucial. For two
-
positions. https://www.epfl.ch/labs/entc/ Education You will work closely with Dr. Davide Bavato, head of EPFL’s recently established Entrepreneurship Education Hub. The Hub is developing a structured
-
postdoctoral position is available in the laboratory of Prof. Alex Persat (EPFL School of Life Sciences, https://www.p-lab.science/ ) to establish a new image-based drug screening platform targeting gram