Sort by
Refine Your Search
-
April 2026 Apply now Over the past decades, dependent type theory has been very successful as a programming language for writing and checking mathematical proofs. More recently, variations have been
-
of combinatorial decompositions (such as tree decompositions) and algebraic decompositions (such as matrix-rank–based methods), combining elegant fundamental mathematics with computer science. There is also freedom
-
: Statistics, Mathematical Statistics, Mathematics, and Social Statistics We also welcome applications from candidates with a background in the social sciences, provided they have advanced training in
-
variety of perspectives and backgrounds. The Faculty has six departments: Biology, Pharmaceutical Sciences, Information & Computing Sciences, Physics, Chemistry and Mathematics. Together, we work
-
. The Faculty has six departments: Biology, Pharmaceutical Sciences, Information & Computing Sciences, Physics, Chemistry and Mathematics. Together, we work on excellent research and inspiring education. We
-
the contracted time. Your qualities We look forward to your application if you have the following qualifications: MSc in glaciology, (climate) physics, geophysics, applied mathematics or a related field; affinity
-
, Chemistry and Mathematics. Together, we work on excellent research and inspiring education. We do so, driven by curiosity and supported by outstanding infrastructure. Visit us on LinkedIn and discover how
-
& Computing Sciences, Physics, Chemistry and Mathematics. Together, we work on excellent research and inspiring education. We do so, driven by curiosity and supported by outstanding infrastructure. Visit us
-
variety of perspectives and backgrounds. The Faculty has six departments: Biology, Pharmaceutical Sciences, Information & Computing Sciences, Physics, Chemistry and Mathematics. Together, we work
-
techniques); giving mathematical proofs of their correctness and efficiency; building state-of-the-art implementations of these new techniques (e.g., by leveraging data-parallel functional array programming