Internato a Microsoft Research, Constraint Reasoning Group

The Constraint Reasoning Group is opening a three months internship position to work on innovative Parallel and Distributed SAT algorithms. The candidates should be PhD students, post-doctoral researchers or strong Masters students interested in Parallel SAT Solving.

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.

Interested applicants should register here.