[Intern Ad] Microsoft Research Cambridge


Microsoft Research Cambridge is looking for great interns for 2018. These paid internships are available throughout the year (although most run in the Spring/Summer) and are based in Cambridge, UK.

We are looking for interns to improve LLVM and/or develop tools to aid its development.
Possible projects:
- Faster DAG rewriting algorithm for Alive to replace InstCombine
- Semantic-driven fuzzing of optimizers
- Translation validation
- Prove correctness of optimizations/analyses in Lean+Z3
- etc..

These internships are for PhD students only.

For more information and application forms please visit: Research Careers - Microsoft Research
More information about MSRC: Microsoft Research Lab - Cambridge - Microsoft Research

Please contact me directly if you have questions (nlopes@microsoft.com).