++++++++++++++++++++++++++++++ The Logic and Computation Group at the Research School of Computer Science, The Australian National University has a number of PhD scholarship available for bright, enthusiastic doctoral students in the following subjects: - Logic and Linguistics (Ekaterina Lebedeva) - Logic in Computer Science (Ranald Clouston, Rajeev Gore, Dirk Pattinson, Alwen Tiu) - Non-Classical Logics (Ranald Clouston, Rajeev Gore, John Slaney, Dirk Pattinson) - Proof Theory (Rajeev Gore, Dirk Pattinson, Alwen Tiu) - Automated Reasoning (Rajeev Gore) - Probabilistic Reasoning (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, 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. The studentship is a tax-free allowance of A$ 27,082 (2018 rate) per year, tenable for a maximum of 3.5 years. Applications are to be submitted electronically at http://applyonline.anu.edu.au/ before the closing date, August 31, 2018. 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. ++++++++++++++++++++++++++++++++++++++++++++++++++++++
------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot _______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info