Microsoft Research PhD Fellowship

Stream: general

[Leonardo de Moura]

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

[Siddharth Bhat]

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

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]

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]

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

[Eric Wieser]

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