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
-
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
-
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
-
, immunohistochemistry, and fluorescence microscopy Contribute to the day-to-day operation of the laboratory as needed Profile Diploma from a laboratory technician program or equivalent qualification Accreditation to work
-
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 semiconductor metrology. The successful
-
teaching in key computing areas, including High-Performance Computing (HPC), Artificial Intelligence and Machine Learning (AI/ML), scientific computing, trusted research environments, storage, and data
-
therapeutics. Main duties and responsibilities As a postdoctoral researcher in this program, you will be expected to develop a high quality research program, in close collaboration with partners of the SATURNA