[isabelle] PhD or postdoctoral position: Formalisation of Automata Theory and Model Checking



We are seeking a PhD student or post-doc to work on the CAVA
http://cava.in.tum.de/ project at TUM. The aim of the CAVA project is to
formalise and verify important algorithmic parts of automata theory and model
checking in the theorem prover Isabelle. A recent result is a verified Spin-like
model checker with performance comparable to Spin
http://cava.in.tum.de/publications.

Applicants must have an MSc or PhD in Computer Science or a closely related
field.  A keen interest in theoretical computer science and verification is
essential. The position is for two years with potential renewal contingent on
funding. Starting date is asap but negotiable.

Applications should include:

* a curriculum vitae
* a brief statement of the particular contribution you would like to
   make to the project
* the names and contact details of two referees.

Enquiries and applications should be sent to

Tobias Nipkow




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.