Job position | Fellow / Associate Professor, Australian National University, Canberra
Job position | Fellow / Associate Professor, Australian National University, Canberra Job no: 518670 Work type: Fixed Term... more info
Fully funded PhD position at The Australian National University in concurrency verification
Salary:
80.00 - 100.00
Posted:
05-03-2025
Category:
Science, Research and Teaching
Canberra,
Job Description
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
Job Details
Salary: 80.00 - 100.00
Posted: 05-03-2025
Category: Science, Research and Teaching
Canberra,
Related Jobs
Fully Funded Postdoc Position
Fully Funded Postdoc Position Monash University, Melbourne, Australia The post-quantum cryptography research group at Monash... more info
Position | Lecturer / Senior Lecturer, Australian National University
Position | Lecturer / Senior Lecturer, Australian National University Salary package: $115,739 - $154,462 per annum plus... more info
