University of New South Wales - Human Resources - Events - Research Programmer

24 October 2008

Research Programmer - Formal Verification Tools

Faculty of Engineering

School of Computer Science and Engineering

REF. 5700NET

This is a re-advertised position. Previous applicants do not need to reapply

Salary Level 5/6: A$51,015 - A$63,716 per year (plus up to 17% employer superannuation plus leave loading).

A challenging fixed term position is available for a research programmer on an Australian Research Council funded project that will develop software tools for the formal analysis and verification of distributed and multi-agent systems, and study their application to military search and rescue mission planning.

Applicants should have at least an honours degree in computer science and excellent systems development skills. Required skills are UNIX, C, functional programming (Haskell) and experience with windowing toolkits, knowledge of OHS responsibilities and commitment to attending relevant OHS training. Experience with tools applying logic in computer science, knowledge of probability theory and a high degree of mathematical aptitude are highly desirable.

Applications must address the selection criteria.

For an information pack click HERE

Positions are fixed term within a three-year grant and may be offered on a part-time basis to candidates undertaking a higher degree or as full-time.

Enquiries may be directed to Professor Ron van der Meyden on telephone (61 2) 8306 0480, email: meyden@cse.unsw.edu.au

Visit the webpage: www: http://www.cse.unsw.edu.au/~meyden

Web links to School: www.cse.unsw.edu.au www.eng.unsw.edu.au

Applications close : 07 November 2008

HOW TO APPLY