1. Vacatures
  2. Technische Universiteit Delft (TUD)
  3. PhD student in homotopy type theory and univalent foundation

Helaas, deze vacature staat inmiddels niet meer online

Kijk gerust verder naar andere vacatures.

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 …

3 maanden geleden

Arbeidsvoorwaarden

Standplaats:
Mekelweg, Delft, Zuid-Holland
Dienstverband:
Tijdelijk contract / Tijdelijke opdracht
Uren per week:
38 - 40 uur
Salarisindicatie:
€ 2434 - € 3111 per maand
Opleidingsniveau:
WO

Functieomschrijving

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.

Functie-eisen

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.

Conditions

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.

Additional information

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.ahrens@gmail.com