[HoTT] HoTT Dissertation Fellowship: Deadline extended

[Steve Awodey <awodey@cmu.edu>]

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

HoTTfellowship@gmail.com <mailto:HoTTfellowship@gmail.com>

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:

https://homotopytypetheory.org/2020/10/03/hott-dissertation-fellowship/ <https://homotopytypetheory.org/2020/10/03/hott-dissertation-fellowship/>


-- 
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/53B83835-08E8-45B1-8A2D-4F504D14358C%40cmu.edu.

[-- Attachment #2: Type: text/html, Size: 5072 bytes --]