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 or project listing; 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. Please also include the word "Supercalifragilisticexpialidocious" somewhere in your first message.

ANU students in particular, if you are thinking about getting PhD in my area, talk to me early! I'm happy to chat with you about your options, and we can start working on a research project that will be useful if you want to continue here or elsewhere. Also, consider taking COMP 3160/6361 (Principles of Programming Languages) and COMP 4712/8712 (Compiler Construction). I further recommend COMP 4011/8011 (Methods & Programming Languages) and COMP 3630/6363 (Theory of Computation).

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.

Funding includes a tax-free stipend for up to four years (3 years plus a default 6 month extension plus up to 6 more months if you do an industry internship in the middle - which I highly recommend). Typically, you will also be eligible for a tuition waiver, though technically speaking, that is not up to me.

Open one-year postdoc position in Programming Languages at ANU

I am looking for a postdoc to collaborate with at ANU for one year. The precise research topic is flexible, so long as it falls within an area of common interest and expertise. Please contact me to schedule a zoom call about the details.