[isabelle] Post-doctoral Research Fellow / Research Fellow in Verifying Concurrent Data Structures for Trustworthy Systems

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.


Professor Ian Hayes
Mail: School of Information Technology and Electrical Engineering,
      University of Queensland, Brisbane, Queensland  4072, Australia
CRICOS Provider No: 00025B
Timezone: GMT+10 hours

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.