A quick reminder of the researcher positi=
on in HoTT that I advertised a couple of weeks ago, with deadline this Frid=
ay (9 April).
One point a couple of people asked about: Yes, this is=
effectively a postdoc =E2=80=94 it=E2=80=99s formally called a =E2=80=9Cre=
searcher=E2=80=9D position here for administrative reasons.=C2=A0 We are in=
terested in applicants at any post-PhD stage (or expecting to complete thei=
r PhD before the position starts).
Once again, let me know if you have any questions!<=
br>
Best wishes,
=E2=80=93Peter.
On Mon, Mar 22, 2021 at 12:31=
PM Peter LeFanu Lumsdaine <
p=
.l.lumsdaine-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org> wrote:
>
> Dear all,
>
=
> I=E2=80=99m pleased to announce that we=E2=80=99re hiring for a resear=
cher position in Homotopy Type Theory at Stockholm University.=C2=A0 It=E2=
=80=99s a 2 year position, provisionally starting this August, in the logic=
group of the Mathematics Department, supported by the Wallenberg Foundatio=
n 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.<=
br>>
> We welcome all applicants interested in working on homotopy=
type theory and related topics =E2=80=94 either with previous background i=
n HoTT, or with background in related fields but interested in moving into =
HoTT.
>
> Full details and application at
>
https://www.su.se/english/about=
-the-university/work-at-su/available-jobs?rmpage=3Djob&rmjob=3D14506&am=
p;rmlang=3DUK> Departmental webpage:
https://www.math.su.se>
> Please get in touch with=
me if you have any questions about the position!
>
> Best,
=
> =E2=80=93Peter.