[llvm-dev] [Intern Ad] Microsoft Research Cambridge
Nuno Lopes via llvm-dev
llvm-dev at lists.llvm.org
Wed Jan 6 06:16:05 PST 2016
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.
- Add floating-point support (strict & fast-math)
- New algorithms to generate faster code
- Semantics-driven fuzzing
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).
More information about the llvm-dev