Sort by
Refine Your Search
-
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
-
code Developing agentic AI workflows for specification autoformalization, proof generation, and proof repair Build a strong network in the fields of formal verification, systems, and ML infrastructure
-
8 Sep 2026 Job Information Organisation/Company EPFL Department Civil Engineering Research Field Engineering Environmental science Researcher Profile Recognised Researcher (R2) Positions Postdoc
-
-world buildings, data analysis, and modeling. Candidates with complementary expertise who are interested in developing new research directions within the broader field of indoor air quality are also
-
by connectome-constrained artificial neural networks. Candidates from outside the field of neuroscience are encouraged to apply, but must be curious, persistent, and passionate to delve