Sort by
Refine Your Search
-
Category
-
Employer
-
Field
-
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
-
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