[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.

Full details: <http://jobs.uq.edu.au/caw/en/job/507333/postdoctoral-research-fellowresearch-fellow-in-concurrent-software-verification>

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).

*The person*

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.

*Remuneration*

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 MHonArc.