Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] PhD scholarships and post-doctoral opportuniti...


view this post on Zulip Email Gateway (Aug 22 2022 at 19:18):

From: Michael.Norrish@data61.csiro.au
++++++++++++++++++++++++++++++

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:

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@anu.edu.au> or Tony Hosking <antony.hosking@anu.edu.au>.

The ANU actively seeks to promote diversity in the workplace.

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


Last updated: Apr 20 2024 at 04:19 UTC