Trustworthy Systems

PhD Research in Trustworthy Systems

Trustworthy Systems is always looking for excellent PhD students. We sometimes look for students for specific projects (which would be listed at the end of this page). But generally we are looking for students across our research projects and broader research agenda. We tend to go through a fair amount of planning and discussions to identify a suitable topic that matches a particular student's interest and background to the supervisor's interests and our strategic directions.

Funding

Domestic students

In contrast to many other countries, in Australia domestic PhD students (i.e. students with Australian citizenship or permanent residency) are generally not funded by their supervisors (local term for what the US calls advisors) but by government scholarships, called Research Training Program (RTP) Scholarships. The present (as of Jan'24) RTP rate is $37,684/a tax free. We provide a topup up scholarship, ranging from $10,000/a up to the maximum allowable rate of $28,263/a (to a total of $65,947/a tax free, 2024 rates). This topup is available to strong PhD candidates, holding an RTP, with topics strongly aligned with our research priorities (and, of course, subject to the availability of external project funding).

For details on other domestic research scholarships please check the UNSW domestic research scholarships page.

International students

For international PhD students, UNSW generally provides a tuition fee scholarship (TFS) if the applicant's background is considered equivalent to an Australian First Class Honours degree. There are a very small number of RTP and UIPA scholarships available (which include a research stipend at the same rate as applicable to domestic students). Students who obtain an RTP or UIPA will be eligible for a TS-funded topup under the same conditions as domestic students with an RTP.

International students who obtain a TFS but no RTP or UIPA will be provided by TS with a research stipend at the RTP rate, provided they satisfy strong quality and alignment requirements.

For details on international scholarships please check the UNSW international research scholarships page.

seL4 Software System Scholarship

We presently offer a one-off topup scholarship at the maximum rate, available to both domestic and international students, closing 1 March 2024. Check for details on the seL4 Software System Scholarship page.

Process

If you are interested in a research thesis with us, and think you have the right prerequisites, you should contact the TS group leader or relevant TS academic by sending your transcripts and CV outlining any research experience you have, and how your interests match our research.

Emails that do not show that you have done your homework, can demonstrate an appropriate technical background, and can identify potential matches are likely to be ignored.

Please check the University's key dates for applications.

Operating Systems 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. Candidates who have both are obviously of particular interest to us, but that is not a requirement. For UNSW graduates this means that we should know you already from the courses we teach. 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 on its own.

Specific Topics

The above list is not exclusive, we are willing to consider other topics that are strongly aligned with our research priorities.