[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


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,


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