Are you interested in getting a PhD in Programming Languages, particularly in both practical and theoretical aspects of gradual typing? Consider working with me at the Australian National University.
PhDs in Australia take 3-4 years and come with a tax-free stipend. See users.cecs.anu.edu.au/~fabian.muehlboeck/phd.html for more details.
I am at POPL this week, so if you are there, feel free to find me or coordinate to meet with me via e-mail.
Fabian Muehlboeck
@fabianm@mastodon.acm.org
