-
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
-
great fit for you! Your job Root suberization is a promising example of a multi-stress protection trait. Suberin can protect a plant from losing water during drought, oxygen deprivation during flooding
-
options for sports and cultural activities . You can also tailor your employment conditions through our Terms of Employment Options Model. In this way, we encourage you to keep investing in your personal
-
particular interests and strengths. Your team Your main supervisor will be Matthijs Vákár . You’ll also be supported by secondary supervisors who are experts in machine learning, chosen to match your profile