[TYPES/announce] PhD Scholarships at Australian National University

[Ranald Clouston]

    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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20180824/91f18aa7/attachment-0001.html>