Dear all,
I=E2=80=99m pleased to a=
nnounce that we=E2=80=99re hiring for a researcher position in Homotopy Typ=
e Theory at Stockholm University.=C2=A0 It=E2=80=99s a 2 year position, pro=
visionally starting this August, in the logic group of the Mathematics Depa=
rtment, supported by the Wallenberg Foundation project grant =E2=80=9CType =
Theory for Mathematics and Computer Science=E2=80=9D (PI Thierry Coquand).=
=C2=A0 The application deadline is 9 April.
We welcome=C2=A0all appl=
icants interested in working on homotopy type theory and related topics =E2=
=80=94 either with previous background in HoTT, or with background in relat=
ed fields but interested in moving into HoTT.
Departmental we=
bpage:
https://www.math.su.se
Please get in touch with me if you have any question=
s about the position!
Best,
=E2=80=93Pet=
er.