Rajeev Gore
2018-08-19 14:09:05 UTC
++++++++++++++++++++++++++++++
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.
++++++++++++++++++++++++++++++++++++++++++++++++++++++
--
Rajeev Gore'
Professor, Logic and Computation Group,
Research School of Computer Science
ANU College of Engineering and Computer Science
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.
++++++++++++++++++++++++++++++++++++++++++++++++++++++
--
Rajeev Gore'
Professor, Logic and Computation Group,
Research School of Computer Science
ANU College of Engineering and Computer Science