Sort by
Refine Your Search
-
Category
-
Country
-
Field
-
several of: Python, C/C++, Rust, OCaml, or other functional languages Knowledge of one or more of the following, with strong motivation to grow in the others: GPU programming (CUDA, Triton, PTX) or
-
field Background in formal verification, programming languages, systems, or ML Research experience in one or more of: interactive theorem proving (Rocq, Lean, HOL, Isabelle, or similar), GPU
Enter an email to receive alerts for gpu-programming-"https:" positions