Sort by
Refine Your Search
-
Listed
-
Employer
-
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
-
, 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 AI-based cybersecurity. Main
-
for finite element methods, or the AI-assisted discovery of new discretization paradigms for classes of PDEs where standard methods struggle, with their properties then verified formally. You will publish and
-
information science, broadly defined. Experience in topological materials/ topological quantum computation/ quantum geometry/ exposure to tensor network methods or and/or AI/LLM for physics would be a positive addition