PhD Research in SSRG

SSRG is currently looking for new PhD students. We do not provide a topic list, as PhD topics require more planning and discussion, in order to match the student's interest and background to the supervisor's interests and our strategic directions. However, the SSRG Research page should give you a good idea where our interests lie.

Operating Systems and/or Formal Methods

We expect you to come with a very strong OS or formal methods background, depending on the area in which you wish to work. For UNSW graduates this means do not bother asking if you haven't impressed us already. Non-UNSW applicants are expected to otherwise demonstrate strong insights into operating systems or formal methods issues. Having done well in an operating systems or formal methods course is not sufficient. PhD students need to enrol at the University of New South Wales. See there for the admission requirements. This page should give you a good idea where our OS and FM interests lie. Please check out Kevin Elphinstone's page which explains PhD-student funding.

Software Engineering

We expect you to come with a strong programming background. Please visit our expertise areas and projects for our research interests. PhD students need to enrol at the University of New South Wales (UNSW). See there for the admission requirements.

Business Process Management

Please visit here for our research interests.

Verification Tools and Automation

At the Canberra Research Lab we are developing and applying inference methods for automated and interactive reasoning for verifying software systems. See here for a general overview.
Topics will have a strong focus around formal methods, such as mathematical logic, model checking, automated theorem proving, SMT-solving, modelling languages, automata theory, runtime verification, etc. We solicit enquiries from students with a background in one or more of these areas.

If you are interested in a research thesis with us, and think you have the right prerequisites, you should contact the SSRG group leaders by sending your undergraduate details and CV.