Exciting opportunity here in Melbourne to do a PhD on substructural logic (with applications to resource management in programming languages). If you know of anyone who might be interested in this, please let them know! is super cool! 🤩
Quote Tweet
My colleague and friend @davewripley is advertising two PhD scholarships to work with him in Melbourne.
(If you come to work with Dave, as a bonus, you can become part of @logicmelb, a wonderful logic group with colleagues from around Melbourne, including me.) twitter.com/LOGIC_list/sta…
2
6
18
