The correct link is https://web103.reachmee.com/ext/I005/1035/job?site=7&lang=UK&validator=9b89bead79bb7258ad55c8d75228e5b7&job_id=31163 Apologies for the noise. On Mon, 17 Jul 2023 at 21:35, Christian Sattler <sattler@chalmers.se> wrote:
I am looking for a PhD student interested in working on constructive higher category theory and/or homotopy type theory. Detailed proposal: https://www.cse.chalmers.se/~sattler/phd-proposal.pdf
This is part of a departmental recruitment drive (deadline August 20): https://web103.reachmee.com/ext/I005/1035/job?site=7&lang=UK&validator=9b89bead79bb7258ad55c8d75228e5b7&job_id=27467
Selected applicants receive a full time employment at the University of Gothenburg (5 years, 20% teaching). Employment in Sweden carries all the usual health and pension benefits, paid holidays, etc.
You are welcome to contact me in advance with any questions.
Christian Sattler
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]