[isabelle] Four job opportunities in York



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





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