The Coq mailing list

[Andreas Abel <abela AT chalmers.se>]

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/