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

[Nuno Lopes via llvm-dev]

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