Email Gateway (Sep 24 2021 at 03:54): Email Gateway (Sep 24 2021 at 03:54):From: Ian Hayes <Ian.Hayes@uq.edu.au>
We have a two-year post-doctoral research position at the University of
Queensland (Brisbane) in Verifying Concurrent Data Structures for
Trustworthy Systems
The Post-doctoral Research Fellow/Research Fellow will be a key member
of a new project to research and develop frameworks for specifying and
verifying concurrent systems, with a particular focus on concurrent data
structures running on hardware with weak memory. The project is in
collaboration with the Australian Government Defence Science and
Technology Group (DST) and the School of Computing at the Australian
National University (ANU). The fellow will be responsible for innovating
verification approaches for concurrent systems, including tool support,
such as Isabelle/HOL.
Ian
Last updated: Jan 04 2025 at 20:18 UTC