[aus.jobs] Research positions in Queensland, Australia

staples@batserver.cs.uq.oz.au (John Staples) (09/28/90)

                         RESEARCH POSITIONS

                SOFTWARE VERIFICATION RESEARCH CENTRE
      A Special Research Centre of the Australian Research Council

                    Department of Computer Science
                       University of Queensland

The Australian Research Council recently awarded a
Special Research Centre to the University of Queensland
for research in Software Verification,
with Professor John Staples as Director and
Professors Gordon Rose and Jim Welsh as the other
principal investigators.

Research Program.
The Centre will research industrially significant methods and tools
for interactive specification and development of verified software.
A particular focus will be the design of a generic environment
for the interactive development of verified software.
By the end of 1991 the Centre will house approximately
20 full-time staff and 15 research students.

Areas of research.
Stronger logical, mathematical and logic programming concepts
for interactive reasoning; interactive reasoning systems;
stronger specification techniques for
integration into a methodology for  developing verified software;
integration of verification techniques and tools into
software development practice;
case studies; industrial applications and training;
human factors and integration of
verification and quality assurance techniques.

The Centre's work will be supported by a new,
well-equipped network of Unix workstations and X terminals.


                   SENIOR RESEARCH POSITIONS

Several senior research staff are sought,
in the ranges Senior Research Officer and Research Fellow to
Professorial Research Fellow,
to provide additional research leadership in the research areas,
mentioned above.
Applicants should have a PhD in a relevant area,
evidence of effective research leadership and
be keen to help make the Centre a success.
In general, appointments will be available from January 1991,
for periods up to three years in the first instance.

However a position is currently available to lead research
on the integration of generic editing tools into
an environment for interactive verification.
This position requires good software design and development skills,
a background in language processing and
a sound appreciation of formal methods.


                      RESEARCH POSITIONS

In addition, research staff are sought to contribute to,
and support, research in the areas mentioned above.
Appointments will be in the ranges Senior Research Assistant
to Research Officer.
Applicants should have an Honours or higher degree
in computer science or mathematics, or equivalent experience;
be able to demonstrate ability in one or more of
the Centre's research areas;
and be committed to the Centre's success.

All positions require an appreciation of the role of
formal methods in software development.
Some also require good software design and development skills,
in logic programming and/or procedural programming.
Other positions are to research interactive specification
and verification methods,
and require the application of mathematical skills.

Appointments will be available from January 1991,
for up to three years in the first instance.

Technology transfer.
Centre staff at all levels will be expected to contribute to the
Centre's technology transfer activities. 
These may include for example consulting, 
teaching or industrial training.


Salary ranges:

Professorial Research Fellow:             $67,812
Principal Research Fellow:                $57,493
Research Fellow/Senior Research Fellow:   $33,163 - $51,015
Research Officer/Senior Research Officer: $28,792 - $46,798
Senior Research Assistant:                $25,948 - $33,204

Closing Date:  October 19, 1990.

For further information contact
Professor John Staples at the Department of Computer Science,
University of Queensland, Queensland 4072, Australia.
Phone +61 7 377 2048;
fax +61 7 371 0783;
email staples@batserver.cs uq.oz.au

Applications should be addressed to 
The Director, Software Verification Research Centre,
Department of Computer Science, University of Queensland,
Queensland 4072, Australia. 
All applications should nominate three referees,
together with their addresses and preferably email addresses,
fax and telephone numbers.
Applications should quote reference number 47290.