[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