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

[Nuno Lopes via llvm-dev]

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: http://research.microsoft.com/en-us/jobs/intern/about_uk.aspx
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


[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