* Cambridge 3-year postdoc position on type theory for higher categories
@ 2022-11-29 14:39 Jamie Vicary
0 siblings, 0 replies; only message in thread
From: Jamie Vicary @ 2022-11-29 14:39 UTC (permalink / raw)
To: Categories list
I have a 3-year postdoctoral research position available soon in
Cambridge, on type theory and higher categories. The closing date for
applications is 13 December, and the position is intended to start
early next year, although there is some flexibility in the start date.
We have a great group here with lots of category theory--related
activity, and Cambridge is a fun place to live. I'd be happy to
receive any informal enquiries.
Research Assistant/Associate in Type Theory for Higher Categories (Fixed Term)
Fixed-term: The funds for this post are available for 3 years
Start Date: 1 January 2023 (or as soon as possible thereafter)
Applications are invited for a Research Assistant/Research Associate
to work on computational aspects of higher category theory. In this
collaborative project, we aim to develop powerful new type-theoretic
tools for working with directed globular weak higher categories, such
as semistrict languages, cylinder/path space constructions, tensor
products, and higher transfors, in particular from the perspective of
the Finster-Mimram type theory Catt (arXiv:1706.02866).
The position is within Jamie Vicary's research group in the Department
of Computer Science at the University of Cambridge. Part of the
Cambridge Logical Structures Hub
(https://www.cl.cam.ac.uk/research/clash/), this is an exciting
scientific environment with many researchers working on related
topics, and a vibrant seminar schedule and visitor programme.
Cambridge is a beautiful city in which to live and work.
The successful candidate is likely to have (or expects to soon be
awarded) a PhD in Mathematics, Computer Science or a related
The candidate must have research experience in the following area:
- Type-theoretic models of higher category theory
Experience in the following areas is desirable:
- Cylinder and path space constructions
- The Finster-Mimram type theory Catt
- Model structures on higher categories
- The Gray tensor product of higher categories
- Formal proof construction in Agda or Coq
- Computads for higher categories
- String diagrammatic methods for higher categories
For informal enquiries please contact Jamie Vicary (firstname.lastname@example.org)
Please ensure you upload a covering letter explaining your suitability
for the role, a curriculum vitae, and contact information of 2
references. NOTE referees may be contacted at any point of the
application process. If you upload any additional documents, which
have not been requested, we will not be able to consider these as part
of your application.
The University actively supports equality, diversity and inclusion and
encourages applications from all sections of society.
The University has a responsibility to ensure that all employees are
eligible to live and work in the UK.
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2022-11-29 14:39 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-11-29 14:39 Cambridge 3-year postdoc position on type theory for higher categories Jamie Vicary
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox