Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / mirror / Atom feed
From: Nicolai Kraus <nicolai.kraus@gmail.com>
To: Homotopy Type Theory <HomotopyTypeTheory@googlegroups.com>,
	agda list <agda@lists.chalmers.se>,
Subject: [HoTT] PhD position in homotopy type theory at Birmingham
Date: Tue, 30 Jul 2019 16:08:19 +0100	[thread overview]
Message-ID: <CA+AZBBoXPHC3wywtO2yao9odOnRjt_ebuRtG9XJ+hqgupPb1Rg@mail.gmail.com> (raw)

[-- 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 --]

                 reply	other threads:[~2019-07-30 15:08 UTC|newest]

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=CA+AZBBoXPHC3wywtO2yao9odOnRjt_ebuRtG9XJ+hqgupPb1Rg@mail.gmail.com \
    --to=nicolai.kraus@gmail.com \
    --cc=HomotopyTypeTheory@googlegroups.com \
    --cc=agda@lists.chalmers.se \
    --cc=coq-club@inria.fr \
    --cc=types-announce@lists.seas.upenn.edu \


* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
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).