Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] postdoc in logic in computer science, proof th...

Email Gateway (Aug 18 2022 at 15:17):

From: Jeremy Dawson <jeremy@rsise.anu.edu.au>
The Logic and Computation Group at the Australian National University in
Canberra is currently advertising a three-year fixed term post-doc.
Applications close on June 6th 2010. We are looking for people whose
research interests are in logic in computer science, automated
reasoning, non-classical logics or proof theory.

See: http://jobs.anu.edu.au/PositionDetail.aspx?p=1243

Our web page: http://lc.cecs.anu.edu.au/

Please forward this email to anyone who you think may be interested in
applying for this position.

Jeremy

Last updated: Nov 21 2024 at 12:39 UTC