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

[Nisansala Yatapanage]

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!QSXsvumP7mbbNpxD1dzrMSE6rBVHyyaOkMP5gxLqo3sT7SPUkXWbJXA_sgY-wp4EqckIknRWMSO9bZ1zZKzc4Cyt0l3cUcbnlg$   and get in touch with any of
the staff listed.


My particular areas of interest include formal methods, concurrency
verification, safety-critical systems and security verification. Please
visit my page: https://urldefense.com/v3/__https://users.cecs.anu.edu.au/*Nisansala.Yatapanage/__;fg!!IBzWLUs!QSXsvumP7mbbNpxD1dzrMSE6rBVHyyaOkMP5gxLqo3sT7SPUkXWbJXA_sgY-wp4EqckIknRWMSO9bZ1zZKzc4Cyt0l0n96ne0w$  for
more information.


Cheers,

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