Sort by
Refine Your Search
-
for establishing correctness with respect to formal specifications Engineering efficient implementations that make high-level abstractions practical We seek outstanding candidates working in programming languages
-
passion. With our cutting-edge research, Empa's around 1,100 employees make essential contributions to the well-being of society for a future worth living. Empa is a research institution of the ETH Domain
-
the earth sciences. NCCR Genesis does not aim to provide answers in all fields, but to drive innovative research and achieve decisive progress. Details on NCCR Genesis are available on its website https
-
human decision-making (e.g. economic trade-offs, compliance, cooperation). Further, the candidate will validate ABPMs representing key decision-makers and institutions within EU policy contexts (e.g
-
: April 1, 2027) is intended to contribute to living expenses during the elaboration phase of a dissertation project in literary studies. The aim of the start-up grant is to prepare and submit a competitive
-
the relevant effects and factors are difficult to quantify and are inherently uncertain, whilst decision-making power is distributed across several stakeholders, asset levels, and time horizons. The coordination
-
customers over to human employees, and generate content that reaches large professional audiences — yet the design decisions behind them are made largely by intuition. We are looking for a doctoral candidate
-
services, wireless medical devices as decision support systems and advanced data analytics (digital twins and artificial intelligence). Ideal candidates have a background in engineering with a specialization
-
candidate will work on developing and improving methods for LLM reasoning, with applications including mathematical reasoning, decision-making, and adaptation to specialized domains. The project will involve
-
, but to drive innovative research and achieve decisive progress. Further details on NCCR Genesis are available on its website https://nccr-genesis.ch . Job description The successful candidate will