Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Post-doctoral Research Fellow / Research Fello...

view this post on Zulip Email Gateway (Sep 24 2021 at 03:54):

From: Ian Hayes <>
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.


Last updated: Dec 08 2021 at 08:24 UTC