[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.
- Faster DAG rewriting algorithm for Alive to replace InstCombine
- Semantic-driven fuzzing of optimizers
- Translation validation
- Prove correctness of optimizations/analyses in Lean+Z3
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