Research positions in Constraint Programming


Subject: Research positions in Constraint Programming
From: Peter Stuckey (pjs@cs.mu.OZ.AU)
Date: Thu Mar 02 2000 - 05:07:20 MET


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

SCHOOL OF COMPUTER SCIENCE AND SOFTWARE ENGINEERING
MONASH UNIVERSITY
Melbourne, Australia

Two Research Fellowships --- available immediately for a period of two years.

The Optimisation and Constraint Solving research group at Monash University
offers two research positions within the HAL project. HAL is a strongly
typed, weakly moded, constraint logic/functional language designed to
support the construction, extension, and use of existing constraints
solvers and new ones being developed jointly at the University of Melbourne
and Monash University. The positions will involve the design and
implementation of new constraint solvers for HAL and the design and
implementation of analysis and optimization phases of the compiler.

The positions are funded by a large ARC grant awarded to the HAL
project. The research fellows will work closely with the principal
investigators of the HAL project, Dr Maria Garcia de la Banda, A/Prof Kim
Marriott and A/Prof Peter Stuckey, as well as other members of the HAL
team. The positions are available immediately and they are initially for
two years, although further financial support is likely to extend the
positions for at least a further year.
                                      
Applicants must hold a relevant degree and should preferably have a PhD in
Computer Science, although a PhD project is also conceivable. An ideal
applicant would have both a sound knowledge of logic programming and of
constraint solving techniques, although knowledge of one area is
sufficient. However, highly motivated and academically strong applicants
from both maths and computer science who are interested in getting into
constraint programming are also encouraged to apply. Familiarity with
constraint programming and mathematical techniques such as abstract
interpretation would also be advantageous (though not necessary). Research
fellows will be expected to contribute to all parts of the project
including the preparation of research papers for refereed publications;
presentation of research ideas and results both informally within the group
and more formally at conferences and meetings.

The salary for an applicant without PhD will be Research Fellow Level A
steps 6 to 4 within the range $37,750 -- $41,832 AUD per annum according to
qualifications and relevant experience. The salary for an applicant with a
PhD will be Research Fellow Level A steps 3 to 1, or Level B steps 6 to 4
within the range $42,832 - $52,027 AUD per annum according to
qualifications and relevant experience.

Candidates should send by 31st of March a curriculum vitae, a list of
publications, names of three referees, and a statement of research
interests to:
   
        Dr. Maria Garcia de la Banda phone: (+61 3) 9905 5777
        Monash University fax: (+61 3) 9905 5146
        Clayton 3168 email: mbanda@csse.monash.edu.au
        Australia

by either e-mail or post.

More information about the HAL project can be found at
http://www.csse.monash.edu.au/~mbanda/hal/
                                      
============================================================================

############################################################################
This message was posted through the fuzzy mailing list.
(1) To subscribe to this mailing list, send a message body of
"SUB FUZZY-MAIL myFirstName mySurname" to listproc@dbai.tuwien.ac.at
(2) To unsubscribe from this mailing list, send a message body of
"UNSUB FUZZY-MAIL" or "UNSUB FUZZY-MAIL yoursubscription@email.address.com"
to listproc@dbai.tuwien.ac.at
(3) To reach the human who maintains the list, send mail to
fuzzy-owner@dbai.tuwien.ac.at
(4) WWW access and other information on Fuzzy Sets and Logic see
http://www.dbai.tuwien.ac.at/ftp/mlowner/fuzzy-mail.info
(5) WWW archive: http://www.dbai.tuwien.ac.at/marchives/fuzzy-mail/index.html



This archive was generated by hypermail 2b25 : Thu Apr 06 2000 - 15:59:47 MET DST