Subject: Research positions in Constraint Programming
From: Peter Stuckey (email@example.com.OZ.AU)
Date: Thu Mar 02 2000 - 05:07:20 MET
SCHOOL OF COMPUTER SCIENCE AND SOFTWARE ENGINEERING
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
Dr. Maria Garcia de la Banda phone: (+61 3) 9905 5777
Monash University fax: (+61 3) 9905 5146
Clayton 3168 email: firstname.lastname@example.org
by either e-mail or post.
More information about the HAL project can be found at
This archive was generated by hypermail 2b25 : Fri Mar 03 2000 - 16:17:19 MET