Nuno Lopes via llvm-dev
2016-Jan-06 14:16 UTC
[llvm-dev] [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: 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