Sort by
Refine Your Search
-
Employer
-
Field
-
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
-
and working with agentic AI (e.g. Claude Code, Codex) Excellent communication skills in English Strong academic track-record and publication history The ability to collaborate in a multidisciplinary
-
Interest in lab-automation and working with agentic AI (e.g. Claude Code, Codex) Excellent communication skills in English Strong academic track-record and publication history The ability to collaborate in a
-
this new hybrid network. Your code will directly enable the next generation of energy-efficient AI clusters. Project scope You will bridge the gap between custom optical hardware and standard AI software
-
/or patents. Your assignments Elucidating signal transduction involving GPCR, cytokine-, immunoglobulin downstream signaling involved in an inflammatory and metabolic network. Functional immune cell
-
to expand your network and gain valuable experience in academic leadership and project development Working, teaching and research at ETH Zurich We value diversity and sustainabilityIn line with our values
-
behavioral data, time-series data, sensor-based data, physiological signals, movement tracking, or related complex datasets. Some knowledge of Unity game engine development and experience with network
-
their conception to their implementation Excellent working conditions and an internationally competitive salary Support for attending international conferences and workshops An extensive international network