Postdoc position in type theory

[Ambrus Kaposi]

Dear all,

I have an open postdoc position available in Budapest on Higher
Observational Type Theory. See https://types.elte.hu#HOTT for more
information on the project. The place of work is the type theory
research group at the Faculty of Informatics at Eötvös Loránd University
in Budapest.

Starting date is late 2026 or early 2027, the maximum length is 3.5
years. The salary will be between 4,600--5,100 EUR/month gross (but in
Hungarian forints), depending on work experience and legal conditions
(institutional and project remuneration rules, legal
environment). Involvement in teaching computer science students is
encouraged.

If you are interested, please get in touch with me. The deadline for
applications is end of June.

Best wishes,

Ambrus
aka...@inf.elte.hu
https://akaposi.web.elte.hu