Sort by
Refine Your Search
-
Listed
-
Category
-
Field
-
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
-
languages Knowledge of one or more of the following, with strong motivation to grow in the others: GPU programming (CUDA, Triton, PTX) or high-performance computing ML inference or serving systems (vLLM
-
Electron Microscopist will be responsible for the operation, maintenance and troubleshooting of specialized scientific equipment, including one Glacios and three Titan Krios microscopes, within the cryo-EM
-
improving beam stability under high-intensity conditions. A key aspect of the project is the development of flexible correction schemes and tuning knobs for real-time adjustment of lattice parameters during
-
of solar energy. https://www.epfl.ch/labs/sci-enac-as/ Main duties and responsibilities As a postdoctoral researcher, you will be expected to: Assume full responsibility for your original research; Perform
-
for establishing correctness with respect to formal specifications Engineering efficient implementations that make high-level abstractions practical We seek outstanding candidates working in programming languages
-
affects molecular and organismal diversity. Techno - in the “Techo” pillar, we are developing novel microfluidic, high-throughput sequencing, single cell omic, and computational approaches, which are used
-
languages). • Experience with Linux environments, workflow management systems, containerization technologies and cloud or high-performance computing infrastructures. • Familiarity with genomic data
-
) synchrotron located at the Paul Scherrer Institute (PSI). You will be a core member of the SNSF Starting Grant project NEXUS-3D, working at the intersection of applied physics, high-performance computing, and
-
) synchrotron located at the Paul Scherrer Institute (PSI). You will be a core member of the SNSF Starting Grant project NEXUS-3D, working at the intersection of applied physics, high-performance computing, and