* [HoTT] HoTT Dissertation Fellowship: Deadline extended
@ 2020-11-13 18:20 Steve Awodey
0 siblings, 0 replies; only message in thread
From: Steve Awodey @ 2020-11-13 18:20 UTC (permalink / raw)
To: Homotopy Type Theory
[-- Attachment #1: Type: text/plain, Size: 2278 bytes --]
The deadline for applications for this fellowship has been extended to December 1.
PhD students working on a thesis are encouraged to apply.
HoTT Dissertation Fellowship
PhD students close to finishing their thesis are invited to apply for a Dissertation Fellowship in Homotopy Type Theory. This fellowship, generously funded by Cambridge Quantum Computing and Ilyas Khan, will provide $18,000 to support a graduate student finishing a dissertation on a topic broadly related to homotopy type theory. For instance, it can be used to fund a semester free from teaching duties, or to extend a PhD period by a few months.
Applications are due by November 15, 2020, with decisions to be announced in mid-December; the fellowship period can be any time between January 1, 2021 and June 30, 2022 at the discretion of the applicant.
To apply, please send the following:
• A research statement of no more than two pages, describing your thesis project and its relationship to homotopy type theory, when you are planning to finish your PhD, and what the money would be used for. Please also mention your current and past sources of support during your PhD, and say a little about your research plans post-graduation.
• A current CV.
• A letter from your advisor in support of your thesis plan, and confirming that your department will be able to use the money as planned.
Application materials should be submitted by email to:
The recipient of the fellowship will be selected by a committee consisting of Steve Awodey, Thierry Coquand, Emily Riehl, and Mike Shulman, and will be announced at:
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 HomotopyTypeTheoryfirstname.lastname@example.org.
To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/53B83835-08E8-45B1-8A2D-4F504D14358C%40cmu.edu.
[-- Attachment #2: Type: text/html, Size: 5072 bytes --]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2020-11-13 18:20 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-11-13 18:20 [HoTT] HoTT Dissertation Fellowship: Deadline extended Steve Awodey
Discussion of Homotopy Type Theory and Univalent Foundations
This inbox may be cloned and mirrored by anyone:
git clone --mirror http://inbox.vuxu.org/hott
# If you have public-inbox 1.1+ installed, you may
# initialize and index your mirror using the following commands:
public-inbox-init -V1 hott hott/ http://inbox.vuxu.org/hott \
Example config snippet for mirrors.
Newsgroup available over NNTP:
AGPL code for this site: git clone https://public-inbox.org/public-inbox.git