Email Gateway (Aug 18 2022 at 18:43): Email Gateway (Aug 18 2022 at 18:43):From: Tobias Nipkow <nipkow@in.tum.de>
Dear Isabelle User,
We have four new RA posts in York to work on the formal semantics and
tools for a new language for modelling and analysing systems of systems.
Experience with interactive theorem proving is considered a plus. Please see
https://jobs.york.ac.uk/wd/plsql/wd_portal.show_job?p_web_site_id=3885&p_web_page_id=139452
and the further particulars available there. I was wondering if you
would have any good students or RAs that might be suitable and
interested? If you could help by advertising the position in your
institution, then I'd be most grateful.
Many thanks in advance,
Jim
Last updated: Nov 21 2024 at 12:39 UTC