Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] PhD opportunities at the Australian National U...

Email Gateway (Aug 22 2022 at 18:14):

From: Jeremy Dawson <Jeremy.Dawson@anu.edu.au>
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.

++++++++++++++++++++++++++++++++++++++++++++++++++++++

Last updated: Apr 19 2024 at 04:17 UTC