Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / mirror / Atom feed
* [HoTT] PhD position in homotopy type theory at Birmingham
@ 2019-07-30 15:08 Nicolai Kraus
  0 siblings, 0 replies; only message 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 ***

Dear all,

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 [1] and the University of Birmingham.

The theory group at Birmingham's School of Computer Science [2] 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 (
nicolai.kraus@gmail.com). 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 [2],
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

Best wishes

[1] https://royalsociety.org/
[2] http://www.cs.bham.ac.uk/admissions/postgraduate-research/
[3] http://www.cs.bham.ac.uk/research/groupings/theory/

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 HomotopyTypeTheory+unsubscribe@googlegroups.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] only message in thread

only message in thread, other threads:[~2019-07-30 15:08 UTC | newest]

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

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).