Sort by
Refine Your Search
-
Listed
-
Category
-
Field
-
the compilation and verification of protocols such as BGP Formal abstractions for packet scheduling: expressive specifications of scheduling policies, and compilation to programmable hardware with
-
innovation (in particular, compile the EPFL inputs to the energy statistics for the Swiss Federal Office of Energy). Profile Phd Degree in a field relevant to energy Professional experience in a business or
-
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
Searches related to compiler
Enter an email to receive alerts for compiler positions