The full version of this announcement is available.
Reference Number: 54595
The Software Verification Research Centre is a Special Research Centre of the Australian Research Council. Its mission is to create improved methods and tools, of industrial significance, for developing verified software.
Research positions are available for the following projects (one position per project), starting from January 1996:
See the full version of this announcement for a description of the aims of each project and of the successful applicants' profiles.
General Information
For each position, the ideal candidate enjoys working in groups and is able to progress towards stated goals with minimal supervision. Unless stated otherwise, appointment will be for one year in the first instance.
For further information on any of these positions, phone (07)365 1003, fax (07)365 1533, or email: svrc@cs.uq.oz.au
Applications, quoting Reference Number 54595, should nominate three referees with their address, email address, fax and telephone numbers and be sent to: The Director, Software Verification Research Centre, Department of Computer Science, The University of Queensland, QLD 4072, or emailed to svrc@cs.uq.oz.au
The closing date for applications is Friday 17 November 1995. The level of appointment will be in accordance with qualifications and experience. Salary ranges: see the full version of this announcement.