[Agda] 2 PhD students, dependent types/functional programming,
Nils Anders Danielsson
nad at cse.gu.se
Tue Jul 9 22:48:13 CEST 2013
We have openings for two PhD students in dependent type theory and
functional programming at Chalmers. Here is an excerpt from the ad:
"The PhD students will join the Programming Logic group and contribute
to its research on dependent type theory and functional programming.
The Programming Logic Group has done pioneering work in the general
area of type theory and its applications, including implementation of
proof assistants, dependently typed programming, metatheoretical
investigations of logical system, and formalisation of mathematics.
Current topics of interest include:
- Design of dependently typed functional programming languages.
- Theory and implementation of type checkers, compilers etc. for
dependently typed functional programming languages.
- Investigations into the use of dependently typed functional
programming languages, both as programming languages and as logical
- Univalent foundations of mathematics.
- Models of type theory."
Full text of the advertisement:
More information about the Agda