Internships at Microsoft Research, Cambridge UK
The Microsoft Research Constraint Reasoning Group (http://research.microsoft.com/constraint-reasoning) is proposing several internship positions. The candidates should be PhD students or post-doctoral researchers interested in:
- Optimization, constraint satisfaction and AI search, including planning algorithms, SAT and Satisfiability Modulo Theories
- Artificial intelligence techniques in general, and their innovative applications on the desktop, on devices and on the Web
- Software verification and program synthesis
- Parallel processing, high-performance computing and parallelization of existing algorithms
The goal of these internships is to conduct fundamental research driven by long term Microsoft applications. The internship programme offers a highly competitive salary, an exciting work environment and great opportunities to develop connections with other interns from the best universities worldwide! More information here: http://research.microsoft.com/en-us/jobs/intern/about_uk.aspx.
Interested applicants should register here, https://research.microsoft.com/apps/tools/jobs/intern.aspx, and may, additionally, contact us directly by e-mail.
Work location: Cambridge, United Kingdom.
Duration: 12 weeks.
Required availability: from April 2011
Contact: {youssefh, cwinter, lucasb} at Micro (no space) soft dot com
