[TYPES/announce] Multiple PhD positions at The Australian National University

Dr. Nisansala Yatapanage Lecturer, School of Computing, The Australian National University https://urldefense.com/v3/__https://cecs.anu.edu.au/people/nisansala-yatapanage__;!!IBzWLUs!Q_9-PJDcOsWa1GKulle-UAPdDXYZD4Z3WfcIYQIPto6S5hmCvZBBY-Kfb

[TYPES/announce] 2nd call for PhD positions at ANU

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Computing Foundations cluster at the School of Computing, The Australian National University, have multiple PhD scholarships available in areas relevant to the types community, including

[TYPES/announce] Multiple PhD positions at The Australian National University

Dr. Nisansala Yatapanage Lecturer, School of Computing, The Australian National University https://urldefense.com/v3/__https://cecs.anu.edu.au/people/nisansala-yatapanage__;!!IBzWLUs!ScjvejH1wWSAb5G1tGUoqkk

[TYPES/announce] Two PhD scholarships in formal methods at ANU

del checking, program reasoning, etc. is a benefit but is not essential. Contact Dr. Nisansala Yatapanage (nisansala.yatapan...@anu.edu.au) to apply or for informal enquiries. Applications will be accepted until the positions are filled, but applicants are encouraged to apply as soon as possible.