[isabelle] Post-doctoral Research Position in Concurrent Software Verification
*Post-doctoral Research Position in Concurrent Software Verification*
We are seeking an exceptional researcher for a project on the design and
verification of correct, efficient and secure concurrent systems. The
position is for 3 years and is based at the University of Queensland
(UQ), Brisbane, Australia and funded by an Australian Research Council
(ARC) Discovery Grant.
The aim of this project is to provide design and verification methods
for correct, efficient and secure concurrent computer software, in a
manner that supports both modular design and compositional reasoning,
and that has mechanised support using modern theorem provers to help
eliminate human error and automate the verification task.
The position is part of an ARC Discovery Project under the supervision
of Prof. Ian Hayes and Dr Larissa Meinicke (UQ) and in collaboration
with Dr Brijesh Dongol (Surrey University, UK), Dr Peter Höfner (Data61,
Sydney) and Prof. Cliff Jones (Newcastle University, UK).
Applicants should possess a PhD in Computer Science or Software Engineering.
You should have demonstrated expert knowledge formal methods of software
development, experience in using an interactive theorem prover such as
Isabelle/HOL, demonstrated high-level written and oral communication
skills, publication of research findings in peer reviewed
journals/conferences and experience in student project supervision
Experience with formal methods for concurrent systems such as the
rely/guarantee approach or concurrent separation logic is highly desirable.
This is a full-time, fixed term appointment for 3 years at level A/B.
The remuneration package for Academic Level A will be in the range $81,
827 - $90,982 p.a., plus employer superannuation contributions of up to
17% (total package will be in the range $95,738 - $106,449p.a.), where
the salaries are in Australian dollars.
The remuneration package for Academic Level B will be in the range
$95,771 - $113,728p.a., plus employer superannuation contributions of up
to 17% (total package will be in the range $112,052 - $133,061p.a.).
Informal enquires can be directed to Ian.Hayes at uq.edu.au but
applications should be submitted via the link above. Applications close
on 12 May at 11:55pm E. Australian Standard Time (13:55 GMT).
Professor Ian Hayes
Mail: School of Information Technology and Electrical Engineering,
University of Queensland, Brisbane, Queensland 4072, Australia
CRICOS Provider No: 00025B
E-mail:Ian.Hayes at uq.edu.au
This archive was generated by a fusion of
Pipermail (Mailman edition) and