Sort by
Refine Your Search
-
Category
-
Field
-
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
-
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
-
, 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
-
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
-
, 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