Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Four job opportunities in York


view this post on Zulip 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: Mar 28 2024 at 12:29 UTC