coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Research Fellowship at Leeds

From: Nicola Gambino <N.Gambino AT leeds.ac.uk>
To: "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: [Coq-Club] Research Fellowship at Leeds
Date: Fri, 13 Oct 2017 07:42:52 +0000
Accept-language: en-GB, en-US
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=N.Gambino AT leeds.ac.uk; spf=Pass smtp.mailfrom=N.Gambino AT leeds.ac.uk; spf=Pass smtp.helo=postmaster AT mhost02h.leeds.ac.uk
Ironport-phdr: 9a23:8ll8nh0seh9i5/SQsmDT+DRfVm0co7zxezQtwd8ZseseK/ad9pjvdHbS+e9qxAeQG96Eu7QZ06L/iOPJZy8p2d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tLw6annrnpzUVA1D0MRd/DuXzAI/bycqtnajm8JrKJg5MmTCVYLVoLRzwox+H5ecMho43DKc6zR/A6lRBfu5Xw2QgcXTVsB/57Ma2+7Zn/ilcoLQo/IhdUvOpLOwDUbVEAWF+YCgO78rxuEybQA==
Spamdiagnosticmetadata: NSPM
Spamdiagnosticoutput: 1:99

Dear friends and colleagues,

The University of Leeds is advertising a research fellowship to work with me
on the project “Univalent type theories: models, equalities, and coherence”.

The deadline for applications is 7th November 2017. The position is for 30
months from 1st March 2018.

For further information on the position and instructions on how to apply,
please see

https://jobs.leeds.ac.uk/Vacancy.aspx?ref=MAPMA1066

Please do not hesitate to contact me if you have any queries.

With best wishes,
Nicola

==
Dr Nicola Gambino
School of Mathematics, University of Leeds
Web: http://www1.maths.leeds.ac.uk/~pmtng/

[Coq-Club] Research Fellowship at Leeds, Nicola Gambino, 10/13/2017