[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.

http://www.ccs.neu.edu/home/pete/post-doc.html
http://www.ccs.neu.edu/home/pete/research-scientist.html

Best regards,

Pete Manolios
Northeastern University
http://www.ccs.neu.edu/home/pete
+1 617 373 3694









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