Don't miss our weekly PhD newsletter | Sign up now Don't miss our weekly PhD newsletter | Sign up now

We have 1 Other PhD Projects, Programmes & Scholarships for UK Students in Canberra

Discipline

Discipline

Philosophy

Location

Location

Canberra  Australia

Institution

Institution

All Institutions

PhD Type

PhD Type

All PhD Types

Funding

Funding

I am a UK student


Other PhD Projects, Programmes & Scholarships for UK Students in Canberra

We have 1 Other PhD Projects, Programmes & Scholarships for UK Students in Canberra

More details
Last chance to apply

Concurrency Verification (Formal Methods) - Students with a background in logic wanted

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)
  • 1

Filtering Results