Sort by
Refine Your Search
-
Category
-
Employer
-
Field
-
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
-
junior researchers All applicants should have: • A solid foundation in machine learning, deep learning, and computer vision • Strong skills in applied mathematics, probability, and programming, such
Enter an email to receive alerts for gpu-programming "https:" positions