Last chance to apply
Concurrency Verification (Formal Methods) - Students with a background in logic wanted
Australian National University
College of Engineering and Computer Science
Applications are invited for a funded PhD project on using formal methods for the verification of concurrent programs. Concurrent programs are notoriously challenging to verify. Read more
Supervisor: Dr N.P. Yatapanage
27 March 2025
PhD Research Project
Funded PhD Project (Students Worldwide)