Cork Constraint Computation Centre: Research Staff and Student Openings
A Cork Constraint Computation Centre (4C) is being established at University
College Cork (UCC), with initial funding from a Science Foundation Ireland
Principal Investigator award to Eugene Freuder of 5 million Irish pounds
(close to 6.5 million Euros). Dr. Freuder will be moving to Cork to become
Science Foundation Ireland Research Professor.
4C will have multiple openings for research staff and Ph.D. students,
starting as early as October of this year.
Interested parties should contact e.freuder@cs.ucc.ie.
In addition to Professor Freuder and the 4C research staff, UCC will have
four academic staff in the Computer Science Department in constraints, and
UCC is committed to hiring at least two additional academic staff in this
field. These positions will be advertised formally in due course, but
informal expressions of interest can be directed now to e.freuder@cs.ucc.ie.
The University is located in Cork, the second largest city of the Republic
of Ireland. Cork is a port city, built on islands in the valley of the River
Lee, with coastline, hills and sandy beaches within easy reach. The city has
an International Airport and also has car-ferry connections to the United
Kingdom and France.
Companies interested in working with the new Centre to leverage Ireland's
considerable new investment in this technology are also invited to contact
e.freuder@cs.ucc.ie.
============
Cork Constraint Computation Centre
A Cork Constraint Computation Centre will be established for the study of
constraint-based reasoning and programming. Constraint satisfaction or
optimization problems are ubiquitous. A familiar example: scheduling a
meeting involves satisfying temporal constraints on the availability of the
participants.
The initial focus of the Centre will be on making constraint technology
more accessible and transparent.
Specifically, the Centre will seek advances in:
· Automation: The process of modeling domain knowledge, tailoring
heuristics, and exploring alternatives must become more automated. Specific
topics include acquisition, validation, optimization, learning, and
explanation. Progress can be made here by abstracting our experience with
specific applications.
· Application: Applications will motivate and validate advances in
automation. Application domains may include bioinformatics, configuration,
computer and telecommunications networks, design, electronic commerce,
planning and scheduling.
The work will be centered in the field of artificial intelligence, but
embedded in the broader constraint programming community. Constraint
computation has seen fundamental scientific advances, e.g. in understanding
the relationship between problem structure and problem complexity.
Constraint technology has demonstrated its commercial value. The Centre
will conduct basic research in areas vital to the next generation of
constraint technology.
This archive was generated by hypermail 2b30 : Wed Aug 15 2001 - 01:40:28 MET DST