[Agda]
PhD student, dependent types/functional programming, Chalmers
Nils Anders Danielsson
nad at cse.gu.se
Fri Feb 27 19:41:52 CET 2015
We have an opening for a PhD student in dependent type theory and
functional programming at Chalmers. Here is an excerpt from the ad:
"The PhD student will join the Programming Logic group and contribute
to its research on dependent type theory and functional programming.
Topics of interest include the following directions of work:
- 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
systems.
- Models and applications of (homotopy) type theory."
Note that work on and in Agda matches several of the topics above.
Full text of the advertisement:
http://www.chalmers.se/en/about-chalmers/vacancies/?rmpage=job&rmjob=2902
Application deadline:
March 31, 2015
More information about the Agda
mailing list