Email Gateway (Aug 22 2022 at 19:54): Email Gateway (Aug 22 2022 at 19:54):From: Ian Hayes <Ian.Hayes@uq.edu.au>
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@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).
Email Gateway (Aug 22 2022 at 20:32):From: Ian Hayes <Ian.Hayes@uq.edu.au>
Post-doctoral Research Position in Concurrent Software Verification
We are seeking a post-doc researcher for a project on the design and
verification of correct, efficient and secure concurrent systems. The
position is for approximately 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://search.jobs.uq.edu.au/caw/en/job/508332/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 full-time equivalent base salary for Academic Level A will be in the
range $81, 827 - $90,982 p.a., plus super of up to 17%
The full-time equivalent base salary for Academic Level B will be in the
range $95,771 - $113,728p.a., p plus super of up to 17%
Informal enquires can be directed to Ian.Hayes@uq.edu.au but
applications should be submitted via the link above.
Applications close:09 Oct 2019 (10:00 PM)E. Australia Standard Time
Last updated: Apr 19 2024 at 01:05 UTC