Sort by
Refine Your Search
-
Category
-
Field
-
candidates working in formal methods and/or computer systems with interests in one or more of the following areas: machine-checked verification of systems software, GPU kernel semantics and verification, and
-
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
-
, networking, and GPU utilization. Help maintain reproducible training recipes, configuration files, launch scripts, and documentation. Work with researchers and CSCS engineers to improve the reliability and
-
, engineering, computer science, or a related field. Experience with inverse problems and 3D reconstruction methods for tomography, laminography, or a closely related modality. Strong scientific programming in
-
of the upgraded Swiss Light Source synchrotron, as well as other facilities around the world. Profile We are looking for a person with: PhD in physics, engineering, computer science, or a related field. Strong
-
, engineering, computer science, or a related field. Experience with inverse problems and 3D reconstruction methods for tomography, laminography, or a closely related modality. Strong scientific programming in