[Agda] PhD position in dependent types/functional programming at
Chalmers
Andreas Abel
abela at chalmers.se
Fri Feb 27 19:55:26 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
--
Andreas Abel <>< Du bist der geliebte Mensch.
Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden
andreas.abel at gu.se
http://www2.tcs.ifi.lmu.de/~abel/
More information about the Agda
mailing list