[Agda] 2 PhD students, dependent types/functional programming, Chalmers

[Nils Anders Danielsson]

Hi,

We have openings for two PhD students in dependent type theory and
functional programming at Chalmers. Here is an excerpt from the ad:

   "The PhD students will join the Programming Logic group and contribute
   to its research on dependent type theory and functional programming.
   The Programming Logic Group has done pioneering work in the general
   area of type theory and its applications, including implementation of
   proof assistants, dependently typed programming, metatheoretical
   investigations of logical system, and formalisation of mathematics.

   Current topics of interest include:

   - 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.

   - Univalent foundations of mathematics.

   - Models of type theory."

Full text of the advertisement:

   http://www.chalmers.se/en/about-chalmers/vacancies/Pages/default.aspx?rmpage=job&rmjob=1457

-- 
/NAD