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

Nisansala Yatapanage yatapanage at gmail.com
Sat Oct 8 03:06:44 EDT 2022


Dear all,



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 logic, programming
languages, systems, formal methods, theory and software engineering.



If you want to do cutting edge research in any of these fields, or a mix
thereof, visit our page at:

https://urldefense.com/v3/__https://comp.anu.edu.au/join/foundationsPhD/__;!!IBzWLUs!Q_9-PJDcOsWa1GKulle-UAPdDXYZD4Z3WfcIYQIPto6S5hmCvZBBY-Kfb-nfpl_qSr87k3Km9HNTd5eGEZHLU-6xVaGgDIbMPg$  

and get in touch with any of the staff listed. Please also contact Michael
Norrish (cluster lead) for further details.



Cheers,

Nisansala



----------------------------------------------------------------------------------------------------

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-nfpl_qSr87k3Km9HNTd5eGEZHLU-6xVaHOzboY8g$  

-----------------------------------------------------------------------------------------------------
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20221008/57656ef2/attachment.htm>


More information about the Types-announce mailing list