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
-
systems in terms of development effort, features, and performance. Its missions include the design and implementation of verified inference components, the formalization of GPU kernel semantics, the
-
, 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
-
Python and experience with GPU processing of large-scale datasets. Excellent written and oral communication skills in English. We also value applications from people with the following experience
-
scientific programming in Python and experience with GPU processing of large-scale datasets. Experience with inverse problems and 3D reconstruction methods for tomography, laminography, or a closely related
-
Python and experience with GPU processing of large-scale datasets. Excellent written and oral communication skills in English. We also value applications from people with the following experience