PhD Opportunities

From: Barbara M Smith (b.m.smith@hud.ac.uk)
Date: Fri May 25 2001 - 15:38:52 MET DST

  • Next message: Juergen Sauer: "Workshop PuK 2001: 2nd Call for Papers"

    (Apologies if you receive this more than once)

    PhD Opportunities at the University of Huddersfield
    ====================================================

    There are two PhD studentships in constraint programming available in the School of Computing & Mathematics at the University of Huddersfield. Both are open to applicants from the EU. I should be grateful if you would draw them to the attention of anyone who might be interested. Further details can be found by following
    the links.

    Thank you

    Barbara Smith

    ===============================================================================

    - Efficient consistency checking for applied planning systems
    (http://scom.hud.ac.uk/staff/scombms/phd/constraint.htm)

    Planning and constraint programming are areas of Artificial Intelligence with practical applications, for example to remote spacecraft control and all kinds of scheduling/timetabling. The project will improve efficiency of a planning system developed at Huddersfield by using constraint programming to check that the proposed plans are achievable. A three year University bursary is available to cover living costs (7500 pounds sterling in 2001-02, increasing thereafter) and tuition fees for a student from the European Union.

    - Constraint Programming, Search and Symmetry
    (http://scom.hud.ac.uk/staff/scombms/phd/symmetry.htm)

    This is part of a joint EPSRC-funded project with the University of St Andrews. Constraint programming is an area of AI with many practical applications. Problems are typically solved by search, and symmetry on the problem can cause wasted search effort, fruitlessly exploring symmetrically-equivalent blind alleys. The research will build on a recent approach to handling symmetry by adding constraints during search. It will explore ways of dealing more intelligently with subsets of the symmetries, by making use of ideas from computer algebra. A three year EPSRC studentship is available to cover living costs (as above) and tuition fees for a student from the European Union.

    For both studentships, contact
    Prof. Barbara Smith,
    School of Computing and Mathematics, University of Huddersfield, HD1 3DH, UK.
    Tel +44 (0)1484 472147
    email: b.m.smith@hud.ac.uk



    This archive was generated by hypermail 2b30 : Fri May 25 2001 - 16:06:02 MET DST