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

Hi,

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).

Regards,
Nuno