Email Gateway (Aug 22 2022 at 18:50): Email Gateway (Aug 22 2022 at 18:50):From: Toby Murray <toby.murray@unimelb.edu.au>
Dear isabelle-users,
I am seeking an exceptional researcher (Research Assistant or
postdoctoral Research Fellow) to research methods for verifying
information flow security for shared-memory concurrent programs
executing on weak memory consistency models.
The position is for one year in the first instance, to begin in the
first quarter of 2019, based at the University of Melbourne under
Dr Toby Murray (https://people.eng.unimelb.edu.au/tobym/). This project
will provide the opportunity to collaborate with researchers at
Australian National University (ANU), Canberra; Data61's Trustworthy
Systems Group (the "seL4 team"), Sydney; and Australia's Defence
Science and Technology (DST) Group, Brisbane.
Research Assistants (respectively postdoctoral Research Fellows) would
have a degree (respectively PhD) in Computer Science or a closely
related field.
Candidates should have experience in at least one of the following:
The following are indicative, entry-level salary figures:
Research Assistant: $65,029 (AUD)
Postdoctoral Research Fellow: $90,037 (AUD)
Besides salary, total remuneration also includes 9.5% employer
superannuation contribution.
Interested candidates should contact Toby Murray
(toby.murray@unimelb.edu.au) in the first instance.
Last updated: Apr 25 2024 at 20:15 UTC