EAPLS » Jobs » Job Vacancies » Fully funded PhD position at The Australian National University in concurrency verification
Fully funded PhD position at The Australian National University in concurrency verification by Nisansala Yatapanage, Feb. 28, 2025
A PhD scholarship is available for a student in the area of concurrency verification at ANU in Canberra, Australia.
I have a PhD scholarship for a student in the area of concurrency verification, using methods such as rely/guarantee reasoning and separation logic. The exact topic is flexible and can be negotiated with the student based on their interests and background. Example topics include:
Verification of non-blocking algorithms Exploring the relationships between different verification approaches Improving counterexample understanding in model checking Topics related to temporal logic, bisimulation, and hyperproperties Please send me your C.V., a cover letter, and academic transcripts by email to. Applications will be considered as soon as they are received.
#J-18808-Ljbffr