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.a...@gu.se
http://www2.tcs.ifi.lmu.de/~abel/
_______________________________________________
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
