-
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
-
field Background in programming languages, formal methods, or networking Research experience in one or more of: language design and semantics, automata theory and decision procedures, interactive
Searches related to formal semantics
Enter an email to receive alerts for formal-semantics positions