* [HoTT] PhD position in homotopy type theory at Birmingham
@ 2019-07-30 15:08 Nicolai Kraus
0 siblings, 0 replies; 1+ messages in thread
From: Nicolai Kraus @ 2019-07-30 15:08 UTC (permalink / raw)
To: Homotopy Type Theory, types-announce, agda list, coq-club
[-- Attachment #1: Type: text/plain, Size: 2188 bytes --]
*** PhD position in homotopy type theory ***
I would like to invite applications for a fully-funded PhD position at the
University of Birmingham, School of Computer Science. The prospective
student will work with me on a topic in the area of (homotopy) type theory
and/or (higher dimensional) category theory; details can be discussed. The
position cannot start earlier than October.
The stipend consists of 15009 GBP per annum, free from tax or other
reductions, for full four years. It covers all tuition fees (UK/EU level)
and includes a very generous travel budget to attend conferences,
workshops, and other research meetings. The stipend is provided jointly by
the Royal Society  and the University of Birmingham.
The theory group at Birmingham's School of Computer Science  is
exceptionally strong and very active. The group organises regular seminars
and informal meetings. Many relevant international events regularly take
place in Birmingham such as YaMCATS, MGS, and Unimath schools.
If you are interested in applying, please contact me (
firstname.lastname@example.org). You do not need to have a concrete research
proposal ready, but please let me know what your academic background is (in
particular with respect to type theory, category theory, general maths). We
can then discuss potential topics and the further application process.
General information on PhD studies in Birmingham can be found online ,
but please do not yet fill out the online application form; contact me
first by email.
Please also distribute this advertisement to candidates that might be
You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheoryemail@example.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/CA%2BAZBBoXPHC3wywtO2yao9odOnRjt_ebuRtG9XJ%2BhqgupPb1Rg%40mail.gmail.com.
[-- Attachment #2: Type: text/html, Size: 2803 bytes --]
^ permalink raw reply [flat|nested] 1+ messages in thread
only message in thread, back to index
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-07-30 15:08 [HoTT] PhD position in homotopy type theory at Birmingham Nicolai Kraus
Discussion of Homotopy Type Theory and Univalent Foundations
Archives are clonable: git clone --mirror http://inbox.vuxu.org/hott
Newsgroup available over NNTP:
AGPL code for this site: git clone https://public-inbox.org/ public-inbox