PhD opportunities
If you are a student looking for a PhD position within the Functional Programming Lab, please watch out for the opportunities we advertise on relevant mailing lists (such as types-announce, agda, or haskell), social media, and the university webpages. When positions are available, we are always happy to have a chat. Our interests are roughly as follows:
- Thorsten Altenkirch - constructive logic, proof assistants, homotopy type theory, category theory, lambda calculus.
- Ulrik Buchholtz - homotopy type theory, synthetic homotopy theory, proof assistants, constructive mathematics, and related topics.
- Graham Hutton - functional programming, haskell, category theory, program verification, program calculation.
- Nicolai Kraus - homotopy type theory, higher category theory, constructive mathematics, and related topics.
- Dan Marsden - category theory, logic, finite model theory, diagrammatic reasoning, foundations of computer science.
For PhDs under Graham Hutton, please refer to
Current externally funded projects
- Nicolai Kraus,
- Graham Hutton,
- Nicolai Kraus,