PhD and Postdoc positions
Open PHD positions in Programming Languages at ANU
I am looking for PhD students for fully funded research positions at the Australian National University. The research topic is flexible, so long as I can reasonably advise it. You can see the kind of work I am interested in in my publications; you may also look at my ideas for future work in my Research Statement. The ANU Computing Foundations Cluster has a large number of people with overlapping interests and who we could collaborate with; there is a particularly close match with Alex Potanin, who is also looking for students and postdocs - if you send any one of us an e-mail, you might just want to send it to both of us at once.
In order to start a PhD, you will need to have sufficient knowledge of programming language theory and/or implementation techniques to write a reasonable resarch proposal. For self-assessment purposes, this means that you know how to do proofs of progress and preservation for a given language definition, and how to write a basic compiler or a least interpreter. You should also have working knowledge of topics covered in typical higher-level undergraduate algorithms and systems courses.
I am generally happy to schedule zoom meetings to talk about potentially working together. Just send me an e-mail to [firstname].[lastname][preposition]anu.edu.au to set it up. Please include some basic information about yourself (attaching a CV or Resume works well) and an indication of what kind of project you would be interested to work on - a sentence or two is completely sufficient, but you can also provide more details if you'd like.
For PhD student positions, if you are already applying at US-style institutions, you can also just send me your application materials (including the contact for at least one reference) without further comment, and I will contact you if I think it makes sense for us to talk further.