internships at Microsoft Research, Cambridge UK

[Youssef Hamadi]

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
Thanks for forwarding to interested parties

__.

 

--

Youssef Hamadi | PhD | Constraint Reasoning Group | Microsoft Research | Roger Needham Building, Cambridge CB3 0FB | Direct Tel: +44 (0)1223 479744 | Mobile: +44 (0)7813 015320 | Fax: +44 (0)1223 479999 | http://www.polytechnique.fr/osd-chair/ | http://www.msr-inria.inria.fr/