-
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
-
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
Enter an email to receive alerts for decision-making "https:" "https:" positions