Job Title

EAPLS Jobs Job Vacancies Fully funded PhD position at The Australian National University in concurrency verificationFully funded PhD position at The Australian National University in concurrency verificationby Nisansala Yatapanage, Feb. 28, 2025A 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 algorithmsExploring the relationships between different verification approachesImproving counterexample understanding in model checkingTopics related to temporal logic, bisimulation, and hyperpropertiesPlease send me your C.V., a cover letter, and academic transcripts by email to nisansala.yatapanage@anu.edu.au. Applications will be considered as soon as they are received. #J-18808-Ljbffr