Dear all, I would like to invite applications for two postdoctoral positions in homotopy type theory at the University of Nottingham, UK. The positions are initially for three years, after which an extension is likely to be possible. The suggested starting date is 1 October this year, but please get in touch even if you could only start later. Our group in Nottingham has multiple academics, postdocs, and PhD students working in the field, and we have regular seminars and informal discussions which contribute to a great environment for working, learning, and collaboration. There are no teaching obligations attached to these positions, but there are teaching and supervision opportunities. The current call primarily addresses candidates who already work in (homotopy) type theory. However, if you work in a related area and are interested in type theory, please do not hesitate to contact me for an informal discussion! The official advert can be found at [1], and the closing date is 25 July. Please note that my university's application form is somewhat non-standard. There are very subject-specific questions (for example, asking you to demonstrate your experience with proof assistants) and text fields, but no obvious places to upload a CV or cover letter. You may use Section 5 ("additional information") to include the information you would usually add in a CV or cover letter. Please do not be discouraged by the subject-specific questions; it is not necessary to have experience with everything. Also note that the university asks for referee details per default; you do not need letters at the time you apply, you only need to list their contact details at this stage. Members of underrepresented groups are particularly encouraged to apply. If you are interested, I would encourage you to get in touch with me! Best wishes, Nicolai nicolai.kraus@nottingham.ac.uk<mailto:nicolai.kraus@nottingham.ac.uk> [1] https://jobs.nottingham.ac.uk/vacancy.aspx?ref=SCI174425 You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message. View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=files&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>