PhD position in dependent types/functional programming at Chalmers

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

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

[hidden email]
http://www2.tcs.ifi.lmu.de/~abel/

_______________________________________________
Haskell mailing list
[hidden email]
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell