Sort by
Refine Your Search
-
Science or Mathematics. An ideal candidate has a research track record at a high international level (reflecting the academic age of the applicant) and experience with mechanising theory and/or practice
-
and categorical quantum theory. The Department of Mathematics and Computer Science is an inclusive and international working environment with state-of-the-art facilities and strong traditions
-
, the Center for the Mathematics of Quantum Theory (QMATH) , and the Quantum for Life Center . For more information about the above units, please see their webpages, or contact any of professors listed
-
mathematical foundations. Our current main instrument to pursue this ambition is the Computer Science Library (CSlib) in the Lean programming technology . CSlib is a global effort carried out in collaboration