Email Gateway (Aug 22 2022 at 19:23): Email Gateway (Aug 22 2022 at 19:23):From: Jeremy Dawson <Jeremy.Dawson@anu.edu.au>
The Logic and Computation Group at the Research School of Computer
Science, The Australian National University in Canberra has a number of
PhD scholarships available for bright, enthusiastic doctoral students in
the following areas:
Logic in Computer Science (Ranald Clouston, Rajeev Gore, Dirk
Pattinson, Alwen Tiu)
Non-Classical Logics (Ranald Clouston, Rajeev Gore, Dirk Pattinson,
John Slaney)
Proof Theory (Rajeev Gore, Dirk Pattinson, Alwen Tiu)
Computer Aided Verification (Sergiy Bogomolov, Michael Norrish, Dirk
Pattinson)
Interactive Theorem Proving (Michael Norrish, Dirk Pattinson)
Semantics Of Programming Languages (Ranald Clouston, Michael Norrish,
Dirk Pattinson)
Type Theory (Ranald Clouston)
Potential applicants are encouraged to consult the group’s web pages
at https://cecs.anu.edu.au/research/theory/logic/ and make direct
contact with potential supervisors.
Students will be based at the Research School of Computer Science within
the Australian National University, Canberra. The studentship is a
tax-free allowance of A$ 27,082 (2018 rate) per year, tenable for a
maximum of 3.5 years.
Applications should be submitted electronically at
http://applyonline.anu.edu.au/ before the closing date, April 30,
2019. Further information about graduate research within Computer
Science at ANU, please see
https://cs.anu.edu.au/study/graduate-research .
The scholarships are open to individuals of any nationality. We are
based in Canberra, Australia, the top-ranking region of the 2014 OECD
quality of life survey
(http://www.canberra.com.au/canberra-the-worlds-most-liveable-city/).
The ANU actively seeks to promote diversity in the workplace.
Last updated: Nov 21 2024 at 12:39 UTC