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

[Ana Bove]

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://urldefense.com/v3/__https://bit.ly/3m0lmP6__;!!IBzWLUs!BekyGs8FqqaBuTTqIgsUp3Q_5tbUchy9dk9pFij5GA0o7Vxmzp_TwtXMvyAGjCMt13yb3-xoo2LEpg$ 

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://urldefense.com/v3/__https://www.chalmers.se/en/departments/cse/organisation/LT/Pages/Staff.aspx__;!!IBzWLUs!BekyGs8FqqaBuTTqIgsUp3Q_5tbUchy9dk9pFij5GA0o7Vxmzp_TwtXMvyAGjCMt13yb3-zEmvEnwA$ 

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://urldefense.com/v3/__https://bit.ly/3m0lmP6__;!!IBzWLUs!BekyGs8FqqaBuTTqIgsUp3Q_5tbUchy9dk9pFij5GA0o7Vxmzp_TwtXMvyAGjCMt13yb3-xoo2LEpg$ 

Further questions can be directed to Andreas Abel <andreas.abel at gu.se>.

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