PhD position in Constraint Programming

Uppsala University hereby declares the following positions should be open for application: PhD position in Constraint Programming at the Department of Information Technology, Department of Computer Science Research Group ASTRA (http://www.it.uu.se/research/group/ astra) in Uppsala Concerning both theory and practice of programming obstacle.

On the theoretical side, we are currently addressing issues of scientific research in the field of modelling, the symmetry detection and removal, local search and tractability. On the practical side, we apply technology in an increasing range of deterrent in the real world applications such as air traffic management, computational biology, computational finance, lists, scheduling, and time of submission. In the real world limitations and data sets, often make it necessary to develop new methods for solving obstacle.

The position is not tied to any on an ongoing project, so the actual doctoral research topic will be determined during the first year on the basis of the group currently priorities and students skills and preferences. Meanwhile, above, are indicative.

Applicants must have experience in the field of solid algorithms, data structures, artificial intelligence, and discrete mathematics, especially combinatorics, graph theory and logic. The applicant must have at least degree. Claimants who will be completed during the extent of their Spring / Summer 2008, is also welcome to apply for participation. Good communication skills in oral and written English are required.

PhD position is for a term not exceeding five years and includes departmental duties at the level of not more than 20% (typically course).

Uppsala University is seeking to achieve a more equal between women and men and women candidates, especially invited to apply for participation.

Proposals should include a brief description of scientific interests and past experience, resume, copy, where appropriate, the degree diplomas and certificates class graduation copy of the draft (or draft regulation) and other relevant documents. Applicants must provide contact information, at least three judges.

Deadline: May 12, 2008