[SMT-LIB] job announcement: postdoc at Microsoft Research, Cambridge

[Lucas Bordeaux]

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 

	*	Full CV with pointers to publications
	*	Motivation letter
	*	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