[Agda] PhD position in Type Theory at Chalmers/Gothenburg University (deadline 8 Nov)

[Andreas Abel]

We are opening a PhD position in the Logic & Types unit of the
Department of Computer Science and Engineering joint at Chalmers and
Gothenburg University.

   Ad : Doctoral student in Logic and Types:
        Theory and implementation of dependent types
   URL: https://bit.ly/3m0lmP6

   Apply until: 8 November 2021

This position is a great opportunity for you as a PhD student to
develop your scientific and technical skills as part of a team of
leading researchers in the area of dependent type theory and
implementors of the Agda proof assistant.

   Logic & Types members:

https://www.chalmers.se/en/departments/cse/organisation/LT/Pages/Staff.aspx

The project aims to advance type theory both theoretically and
practically, in particular in the direction of modalities.
You will be working on type theory from a mathematical perspective
(type systems and their models), an algorithmic perspective
(unification and type-checking), and a programming perspective
(efficient implementation as part of the Agda proof assistant).

The position is for 5 years and comes with full benefits (pension
benefits, health insurance etc).
(Sweden is a good country for PhD students!)

For the full description, eligibility, documents required for the
application, see

   https://bit.ly/3m0lmP6

Further questions can be directed to me,

Andreas Abel

P.S.: Colleagues, please advertise this position to suitable
candidates (e.g., your best students).

-- 
Andreas Abel  <><      Du bist der geliebte Mensch.

Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden

andreas.abel at gu.se
http://www.cse.chalmers.se/~abela/