[Agda] PhD position in dependent types/functional programming at Chalmers

[Andreas Abel]

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/