Logic List Mailing Archive

PhD scholarships in Logic and Computation, Canberra (Australia), Deadline: 30 Apr 2019

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.
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam