Sort by
Refine Your Search
-
Category
-
Country
-
Field
-
in programming languages, formal methods, and/or networking, with interests in one or more of the following areas: NetKAT and its extensions, symbolic automata, routing algebras, packet scheduling, and
-
outstanding 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
-
high-performance computing ML inference or serving systems (vLLM, SGLang, PyTorch internals, or similar) Interactive theorem proving (Rocq, Lean, HOL, Isabelle, or similar) or other formal methods
Enter an email to receive alerts for formal-methods "https:" positions