[isabelle] Formal methods positions

I am looking both a postdoc and a research scientist to work on:

- hardware verification using a combination of theorem proving and decision procedures.
- automation of component-based systems using verification technology.

For full details, follow the links below.


Best regards,

Pete Manolios
Northeastern University
+1 617 373 3694

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