[mercury-users] doctoral and postdoctoral positions in Constraint Handling Rules

[Tom Schrijvers]

DOCTORAL AND POSTDOCTORAL RESEARCH POSITIONS

   Declarative Languages and Artificial Intelligence Group
   Department of Computer Science
   Catholic University of Leuven, Belgium

The Declarative Languages and Artificial Intelligence Group at the
Catholic University of Leuven invites applications for doctoral and
postdoctoral research positions in the area of Constraint Handling
Rules (CHR).

For the postdoctoral position, applicants should have a Ph.D. in
Computer Science and for the doctoral position, a masters degree in
Computer Science. In addition, both a background and interest in one
or more of the following areas are required:

    - language design and implementation
    - logic-based languages
    - rule-based languages
    - program analysis

as well as good implementation skills in various programming paradigms.
The ideal candidate has experience in system building and is already
familiar with the CHR language.

Both positions offer flexibility in the choice of research topics within
the broad context of ongoing projects related to the development of the
CHR language. Further details concerning this project and associated
research may be found at http://www.cs.kuleuven.be/~toms/CHR/ and
http://www.cs.kuleuven.be/~dtai/projects/CHR/.

Appointment to the postdoctoral position will be for the period of one
year.
Appointment to the doctoral position will be for the period of one
year intially with possibility for extension to four years ending in a
Ph.D.
The salary is compatible with the departmental rates for postdoctoral
and doctoral research fellows, and can take experience into
consideration.

Please direct inquiries and applications to:

    Professor Bart Demoen
    Department of Computer Science
    K.U.Leuven
    Celestijnenlaan 200A
    B-3001 Heverlee
    Belgium

    Email: bart.demoen at cs.kuleuven.be
    Phone: +32 16 327547

Applications should be received no later than January 23, 2006 and include
a curriculum vitae and a list of three references. Review of applications
begins as of now. Positions start as soon as possible, and on October 1,
2006 at the latest.

Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm

--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------