3 dagen geleden - Radboud Universiteit (RU) - Nijmegen
PhD student in homotopy type theory and univalent foundation
About Homotopy Type Theory and Univalent Foundations Homotopy Type Theory is a young area of logic, combining ideas from several established fields: the use …
- Mekelweg, Delft, Zuid-Holland
- Tijdelijk contract / Tijdelijke opdracht
- Uren per week:
- 38 - 40 uur
- € 2434 - € 3111 per maand
About Homotopy Type Theory and Univalent Foundations
Homotopy Type Theory is a young area of logic, combining ideas from several established fields: the use of dependent type theory as a foundation for mathematics, inspired by ideas and tools from abstract homotopy theory. Univalent Foundations are foundations of mathematics based on the homotopical interpretation of type theory.
Topics in HoTT/UF
Despite a flurry of discoveries in HoTT/UF in recent years, many open questions remain. Possible PhD projects include
- Syntax and semantics of type theories,
- Formalization and mechanization of results from mathematics and computer science in univalent foundations / two-level type theory,
- Design and implementation of domain-specific type theories,
- Univalence principle and its applications.
A fully funded PhD position is open for an excellent candidate working in an area related to HoTT/UF. The PhD student will be supervised by Benedikt Ahrens.
The PhD student should have knowledge in some of the following areas:
- Type theory
- Category theory
- Computer proof assistants
- Functional programming
and be interested in learning in the other areas.
TU Delft offers PhD-candidates a 4-year contract, with an official go/no go progress assessment after one year. Salary and benefits are in accordance with the Collective Labour Agreement for Dutch Universities, increasing from € 2434 per month in the first year to € 3111 in the fourth year. As a PhD candidate you will be enrolled in the TU Delft Graduate School. The TU Delft Graduate School provides an inspiring research environment with an excellent team of supervisors, academic staff and a mentor. The Doctoral Education Programme is aimed at developing your transferable, discipline-related and research skills.
The TU Delft offers a customisable compensation package, discounts on health insurance and sport memberships, and a monthly work costs contribution. Flexible work schedules can be arranged. For international applicants we offer the Coming to Delft Service and Partner Career Advice to assist you with your relocation.
For more information about this vacancy you can contact Benedikt Ahrens, Assistant Professor (https://benediktahrens.gitlab.io/)
It is highly recommended to get in touch informally prior to submitting an application Benedikt.firstname.lastname@example.org