[prev in list] [next in list] [prev in thread] [next in thread] 

List:       haskell
Subject:    [Haskell] PhD position in dependent types/functional programming at Chalmers
From:       Andreas Abel <andreas.abel () ifi ! lmu ! de>
Date:       2015-02-27 18:57:58
Message-ID: 54F0BE36.50609 () ifi ! lmu ! de
[Download RAW message or body]

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@gu.se
http://www2.tcs.ifi.lmu.de/~abel/

_______________________________________________
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
[prev in list] [next in list] [prev in thread] [next in thread]