-
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
Enter an email to receive alerts for gpu-computing-"https:" positions