 |
|
|
|
2 Post-doc positions are open in the Microsoft Research Constraint Reasoning Group.
Context: The goal of the Constraint Reasoning Group is to pursue the long term research necessary to the development of the next generation of optimisation algorithms and tools. Working with long term applicability in mind, the group is taking as an input the important architectural shifts happening in the IT industry. As a result, its actual focus is highly related to the foundational and practical aspects of parallel optimisation.
Job-definition: Selected candidates will conduct fundamental research in optimisation or in related fields such as theorem proving, probabilistic reasoning, knowledge representation, automated planning. Additionally, candidates might be involved in studies related to the development of practical software and tools, e.g., Microsoft Solver Foundation, Z3, etc.
Suitable Profiles:
Post-doc candidates must have submitted their thesis prior to joining Microsoft Research. Ideal profiles should have general knowledge or a specialisation related to the following fields: SAT, SMT, theorem proving, probabilistic reasoning, knowledge representation, or automated planning.
Technical skills: C++, C#.
Duration: 2 years positions.
Location: Cambridge, UK.
Procedure/dates: Suitable candidates have to register here, http://research.microsoft.com/en-us/jobs/fulltime/cambridge/about_postdocs.aspx, before March 1, 2009. They might be selected for an interview process in spring, and have to be available for a start in September 2009.
|
|
|
| |
|
