Sort by
Refine Your Search
-
Category
-
Program
-
Employer
-
Field
-
Researcher (R4) Application Deadline 30 Nov 2026 - 23:14 (UTC) Country Switzerland Type of Contract Other Job Status Other Hours Per Week 42 Is the job funded through the EU Research Framework Programme? Not
-
to advance knowledge in the following domains: Formal verification and interactive theorem proving (Rocq, Lean) Secure and high-performance computer systems, including ML infrastructure We seek outstanding
-
extensions, and scalable verification via symbolic automata and related decision procedures Routing algebras: composable, algebraic representations of distributed routing protocols, as a principled basis for
-
the job funded through the EU Research Framework Programme? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description Doctoral Position in
-
18 Jul 2026 Job Information Organisation/Company ETH Zürich Research Field Computer science » Programming Engineering » Civil engineering Engineering » Industrial engineering Environmental science
-
15 Jul 2026 Job Information Organisation/Company ETH Zürich Research Field Computer science » Other Environmental science » Earth science Environmental science » Other Mathematics » Statistics
-
and operate this infrastructure. Job description You will play a key role in automating and operating a large-scale, distributed computing platform. You will work with modern open-source technologies in
-
the EU Research Framework Programme? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description PhD Positions in Applied Macroeconomics and