Trustworthy Systems is always looking for excellent PhD students. We sometimes look for studends 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.
In contrast to many other contries, in Australia PhD students with citizenship or permanent residency are generally not funded by their supervisors (local term for what the US calls advisors) but by government scholarships, and there are some top-up scholarships in specific fields. For international students, UNSW generally provides a tuition-waiver scholarship if the applicant's background is considered equivalent to an Australian First Class Honours degree. There are a very small number of living-stipend scholarships available for those students from the university, in other cases the supervisor is responsible for providing a living-allowance scholarship from research grants. We have some scholarship funds available.
For details please check the UNSW international research scholarships page.
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 might have, and how your interests match our research. Emails that do not show that you have done your homework and can identify potential matches are likely to be ignored.
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 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.