Zulip Chat Archive

Stream: general

Topic: Microsoft Research PhD Fellowship


Leonardo de Moura (May 26 2022 at 18:13):

If you are a PhD student, please consider applying for https://www.microsoft.com/en-us/research/academic-program/phd-fellowship/

Siddharth Bhat (May 26 2022 at 18:32):

@Leonardo de Moura The page about fellowships in Europe says:

Proposed research must be closely related to one of the themes at Microsoft Research Cambridge:
Cloud Infrastructure
Future of Work
Health Intelligence
Confidential Computing

Does this allow Phd students (such as I) working on formal verification to apply?

Eric Wieser (May 26 2022 at 20:59):

I would also be very interested in applying for such a position at Microsoft Research Cambridge, but I don't see an easy connection between formalization and any of those themes

Leonardo de Moura (May 27 2022 at 02:58):

Thanks for raising this question. I don't know the answer right now, but I am trying to figure it out. I will post more information soon.

Eric Wieser (May 27 2022 at 08:17):

Thanks! Unfortunately I think my institution has an internal application deadline of Monday 30th, which is rather soon

Eric Wieser (May 27 2022 at 10:14):

Looking more closely, the information pages list Project Everest as falling within the "Confidential Computing" theme, which at least mentions software verification


Last updated: Dec 20 2023 at 11:08 UTC