[llvm-dev] [Intern Ad] Microsoft Research Cambridge

Nuno Lopes via llvm-dev llvm-dev at lists.llvm.org
Tue Dec 5 10:15:53 PST 2017


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: https://www.microsoft.com/en-us/research/careers/
More information about MSRC: http://research.microsoft.com/en-us/labs/cambridge/

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


More information about the llvm-dev mailing list