coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] Researcher position on Verified Confidentiality for Weak Memory Concurrency, Melbourne
Chronological Thread
- From: Toby Murray <toby.murray AT unimelb.edu.au>
- To: "coq-club AT inria.fr" <coq-club AT inria.fr>
- Subject: [Coq-Club] Researcher position on Verified Confidentiality for Weak Memory Concurrency, Melbourne
- Date: Fri, 7 Dec 2018 00:10:43 +0000
- Accept-language: en-AU, en-US
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=Neutral smtp.pra=toby.murray AT unimelb.edu.au; spf=Pass smtp.mailfrom=toby.murray AT unimelb.edu.au; spf=None smtp.helo=postmaster AT au-smtp-delivery-203.mimecast.com
- Ironport-phdr: 9a23:pjkEChSuHEwkvyJSX78GCMDyKdpsv+yvbD5Q0YIujvd0So/mwa6zZxSN2/xhgRfzUJnB7Loc0qyK6/CmATRIyK3CmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+KPjrFY7OlcS30P2594HObwlSizexfbB/IA+qoQnNq8IbnZZsJqEtxxXTv3BGYf5WxWRmJVKSmxbz+MK994N9/ipTpvws6ddOXb31cKokQ7NYCi8mM30u683wqRbDVwqP6WACXWgQjxFFHhLK7BD+Xpf2ryv6qu9w0zSUMMHqUbw5Xymp4qF2QxHqlSgHLSY0/mHJhMJtkKJVrhGvpx1wzIHIb4+YL+Z+frrBcd8GWWZNQsZcWipcCY28dYsPCO8BMP5GoYn6vFQPrQa1Cw6xBOP10D9HnH/31rA93uQ9FgHJxwwhE8gLsHTJttX1Lr0dUOCuwanVyzXDbvZW1in56IfTaBwuv+yDXa9qfcXL1EkiDgXIhUiep4ziOjOazOUNs26D4uplSOKvkXQnpBtxoziywMcsi4zJiZwRyl/f7yl23ps6JcCgRE5mZ96kEZ5QuD+eN4RtWM8tXXxnuDsgxrIcpJ62ejUBxpc/xxPHdvCKcJSE7gj+WOuSJTp0nmxpdbGlixqs7UStxPXwWtSq3FtJtCZJjNnBumwX2xDP8MSLV+dx80O51TaByQ/e6f1ILEUxmKXFKJMsxqI8m58NvUTNHyL7mED7gayKeUgl4Oel7vrrbaj8qZKTMYJ/lxvwPb40msOlBOQ1KggOUHaf+eS7zLDs51D5TKxRjv0zjqnZqInWKtkFqa69Ag9VzJgs6wy/Dju/ztgUgXcKIEhAeBKGiojmJU3BL+rjDfejmVijjDBrx/XeMr3gBJXCMGTDna/8cbt+90JQ0hc/wNNb6p5OFL0MI+j/VlHtuNHWFhM5Nha7w+fjCNVzzIMeXmePD7eFMKPVqlCJ5vgjI+yRZI8PojbyMfgk6uXzjX8/mF8deLem3Z8MZ3yiAPtpPliZbWD2jdccCWsKpBYxTPT2iF2eVj5ef2q9X6Ul5j0iFI2mCZrDSZu2jbya3Ca7G4VWaXpcBlCNF3fobYSEVO0WZCKcOM8y2gADAPKqTJZk3hWzvif7zaBmJ6za4GdQ4ZnkzZ1+4/DZvRA07z19ScqHhTKjVWZxy18PTS5++b1lu0VsggOf1qJpxflFD8Za9ttUVAY/OJrWieF2Fpb7R1SSLZ+yVF+6T4D+UnkKRdUrzopWOhcvK5CZlhnGmhGSLfoQnr2PCoYz9/uCjWX3JsNwz3yA2aU8yVA7EJIWaT+Ww5Vn/g2WPLbn1l2Dnv/0J7ka3SvA8G3FwGaT+khFAlQpDPf1GEsHb06TluzXo0PPS7j1VOYuL05azNKab6dHbtz3gE9XAa27Y5LbYme8kG6rGVCDwbbeNIc=
- Spamdiagnosticmetadata: NSPM
- Spamdiagnosticoutput: 1:99
Dear coq-club, [apologies for cross-posting]
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:
- program verification / formal methods,
- information flow security,
- concurrency,
- the Isabelle theorem prover.
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 AT unimelb.edu.au)
in the first instance.
--
Toby Murray, DPhil (University of Oxford)
Senior Lecturer, School of Computing and Information Systems
University of Melbourne
http://people.eng.unimelb.edu.au/tobym/
toby.murray AT unimelb.edu.au
- [Coq-Club] Researcher position on Verified Confidentiality for Weak Memory Concurrency, Melbourne, Toby Murray, 12/07/2018
Archive powered by MHonArc 2.6.18.