[isabelle] PhD scholarships and post-doctoral opportunities at Programming Language Systems, ANU

The Programming Language Systems Group in the Research School of Computer Science, The Australian National University has several PhD scholarships and post-doctoral fellowship opportunities available for bright, enthusiastic researchers in the following fields:

- Memory Management (Steve Blackburn, Tony Hosking, Michael Norrish)
- Language Runtime Systems (Steve Blackburn, Tony Hosking, Michael Norrish)
- Programming Language Semantics (Michael Norrish)
- Language Implementation Verification (Michael Norrish, Tony Hosking)
- Hardware Support for Programming Languages (Steve Blackburn, Tony Hosking)
- Transactional Memory (Steve Blackburn, Tony Hosking)
- Software Security (Steve Blackburn, Tony Hosking, Michael Norrish)
- Vulnerability Detection and Mitigation (Tony Hosking, Michael Norrish)
- System Evaluation Methodology (Steve Blackburn, Tony Hosking)
- Concurrency and Parallelism in Languages and Runtimes (Steve Blackburn, Tony Hosking)

Potential applicants are encouraged to consult the group’s web pages at https://cecs.anu.edu.au/research/systems/programming-language-systems and make direct contact with potential supervisors.
Students and research fellows will be based at the Research School of Computer Science         within the Australian National University. Studentships are a tax-free allowance of A$27,082 (2018 rate) per year, tenable for a maximum of 3.5 years.
PhD applications are to be submitted electronically at http://applyonline.anu.edu.au/ before the closing date, April 16, 2019. For 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 (https://www.canberratimes.com.au/national/act/canberra-named-the-best-place-in-the-world-again-20141007-10r5sp.html).
Expressions of interest regarding post-doctoral research fellowships should be made via e-mail to Steve Blackburn <steve.blackburn at anu.edu.au> or Tony Hosking <antony.hosking at anu.edu.au>.

The ANU actively seeks to promote diversity in the workplace.

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.