The Formal Engineering research group at the School of Computer Science, the University of Auckland, New Zealand is seeking excellent candidates for its growing PhD programme.
Founded in 1883, the University of Auckland (UoA) is the country's largest university with a student population of 40,000 includes 7,000 international students representing over 120 different countries. UoA is the highest ranked New Zealand university in the main world university rankings systems, e.g., 81st in the Quacquarelli Symonds (QS) World University Rankings in 2020. In the QS World University Rankings by Subject, its Computer Science and Information Systems ranked 51-100 among other top universities around the world.
The university is located in the harbour city of Auckland, New Zealand's economic and cultural hub, with easy access to stunning beaches and rainforests. Auckland was ranked third out of 230 cities in the 2015 Mercer Quality of Living Survey, as well as one of the QS Best Student Cities in 2015.
The Formal Engineering group has a broad range research interests in Software Engineering (SE) related sub-disciplines, including, but not limited to: Requirement Engineering, Formal Methods, Software Testing, Quality Assurance, Software Tools & Techniques, Runtime Verification & Monitoring, Software Automation, Semantic Web, Ontological Reasoning, Machine Learning, etc. For interested candidates, please refer to the information page on Doctor of Philosophy, which specifies the admission requirements, application procedures and other related matters.
A New Zealand government funding scheme enables the University of Auckland to offer PhD study to international students for the same tuition fees as New Zealand PhD students. The 2020 PhD tuition fee is NZ$7250.40 per annum (approximately US$4357.74* per annum).
*Exchange rate at 16 April 2020: NZ$1.00 = US$0.60
In addition, the UoA offers a wide range of benefits for international PhD students.
If you are a top student, the university offers a range of Doctoral Scholarships to support our PhD candidates throughout the programme, e.g.,
Please note that the selections of above scholarships are primarily based on academic merits, which could be very competitive.
For further information on the PhD study, such as research topics and supervision, please contact Associate Professor Jing Sun for more details.