[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
- automation of component-based systems using verification technology.
For full details, follow the links below.
+1 617 373 3694
This archive was generated by a fusion of
Pipermail (Mailman edition) and