postdoc position at Microsoft Research, Cambridge


Dear All,

This is a job announcement; please feel free to forward it to
interested parties.

The Constraint Reasoning Group at Microsoft Research Cambridge is
opening a new Associate Researcher position (post-doc). The two year
position should start early 2007. We are currently collecting
applications for a selective interview process which will take place
late 2006 / early 2007.

Only recent PhDs in fields related to Combinatorial Optimization in
general (CP, CSP, QBF, SAT/SMT) need to apply. (The PhD will have to be
completed before official start.) Second level knowledge in Machine
Learning and Adaptive System will also be of interest.

Details
· Location: Cambridge (UK)
· Duration: 2 years
· Please send
o Full CV with pointers to publications
o Motivation letter
o At least two referees
· Application: must be sent to 'youssefh at microsoft dot com'
· More information on the position:
http://research.microsoft.com/aboutmsr/jobs/cambridgepostdoc.aspx
· More information on the lab:
http://research.microsoft.com/aboutmsr/labs/cambridge/default.aspx

Bests,
Youssef Hamadi

.