*CLOSING SOON 19th January* Two PhD Scholarships in Formal Methods at ANU

by Nisansala Yatapanage, Dec. 22, 2023

Two PhD scholarships are available at the School of Computing, The Australian National University, in the areas of Verification of Non-blocking Concurrent Algorithms and Verification of Safety-critical Systems using Rely/Guarantee.

I have two PhD scholarships available for the areas:

Verification of Non-blocking Concurrent Algorithms (see the full project details)


Verification of Safety-Critical Systems using Rely/Guarantee (see the full project details).

Both topics are quite flexible and interested applicants are welcome to discuss their own project ideas in similar areas. 

Suitable applicants should have a background in Computer Science, Software Engineering, Mathematics or similar fields. Familiarity with formal methods, logic, verification, model checking, program reasoning, etc. is a benefit but is not essential.

Contact Dr. Nisansala Yatapanage ([email protected]) to apply or for informal enquiries. Applications will be accepted until the positions are filled, but apply before 19th January for full consideration.