Sort by
Refine Your Search
-
Category
-
Program
-
Employer
- ETH Zurich
- EPFL
- ETH Zürich
- University of Basel
- Empa
- ETH ZURICH
- IMD Business School
- Paul Scherrer Institut Villigen
- University of Zurich
- Idiap Research Institute
- UniDistance Suisse
- University of Geneva
- ;
- CERN
- Fondazione per l'Istituto oncologico di ricerca IOR
- Friedrich Miescher Institute for Biomedical Research
- Graduate Institute of International and Development Studies, Geneva;
- Institute for Research in Biomedicine (Bellinzona)
- Swiss Federal Institute for Forest, Snow and Landscape Research WSL
- UNIGE
- University of Bern
- University of Bern | Inselspital, Bern University Hospital
- University of Fribourg
- University of Lausanne (UNIL)
- University of Zurich (UZH)
- Universität Basel
- 16 more »
- « less
-
Field
-
Abstractions Lab (LASeR) develops programming languages and formal reasoning tools for networked systems. Networks are the invisible infrastructure that connects the modern world, yet programming and reasoning
-
funded. The program language is English. Faculty participating in this call (*only available as co-advisor for the one-year exchange): Zurich: Andreas Krause*, April Wang*, Benjamin Grewe, Celestine
-
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
-
, including initiatives such as CUSO doctoral programme in English Studies. Institutional engagement The successful candidate will collaborate with other sections, programmes, and research centres within
-
(Europe/Zurich) Country Switzerland Type of Contract Permanent Job Status Full-time Is the job funded through the EU Research Framework Programme? Not funded by a EU programme Is the Job related to staff
-
and external research groups from University of Zurich and University of St.Gallen. The ETH AI Center Fellowship program is Europe’s premier PhD program focused on advancing interdisciplinary AI
-
responsibilities additionally include courses in the BSc programme in Architecture. Courses at ETH Zurich are generally taught in German or English. The new professor will collaborate with professorships within
-
contributions to conferences, research trips, and archival travel and financial support for their own events. The Doctoral Program is part of the Department of Languages and Literatures, which unites
-
program (latest by June 2027) You have a background in relevant AI fields or in one of the following: computer science, physics, engineering, applied mathematics Your level of English allows you to discuss
-
Dec 2026 - 23:16 (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 funded by a EU programme Is the