Email Gateway (Aug 19 2022 at 11:21): Email Gateway (Aug 19 2022 at 11:21):From: Tobias Nipkow <nipkow@in.tum.de>
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 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
Last updated: Nov 21 2024 at 12:39 UTC