[Intern Ad] Microsoft Research Cambridge

Hi,

Microsoft Research Cambridge is looking for great interns for 2016. 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 further develop Alive [1-3], a tool that proves correctness of InstCombine optimizations and generates C++ code automatically.
Possible projects:
- Add floating-point support (strict & fast-math)
- New algorithms to generate faster code
- Semantics-driven fuzzing
- etc..

Internships are restricted to students.

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

Regards,
Nuno

[1] http://web.ist.utl.pt/nuno.lopes/pubs/alive-pldi15.pdf
[2] https://github.com/nunoplopes/alive/
[3] http://llvm.org/devmtg/2014-10/Videos/Alive_InstCombine%20Optimization-720.mov