The Logic and Computation Group at the Research School of Computer Science, The Australian National University in Canberra has a number of PhD scholarship 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) - Automated Reasoning (Rajeev Gore) - Probabilistic temporal logic and applications (Peter Baumgartner) - Computer Aided Verification (Sergiy Bogomolov, Michael Norrish, Dirk Pattinson) - Interactive Theorem Proving (Michael Norrish, Dirk Pattinson) - Computer Security Foundations (Alwen Tiu) - Concurrency Theory (Alwen Tiu) - Electronic Voting and Social Choice Theory (Rajeev Gore, 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. ++++++++++++++++++++++++++++++++++++++++++++++++++++++ _______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info