Email Gateway (Aug 18 2022 at 12:54): Email Gateway (Aug 18 2022 at 12:54):From: Panagiotis Manolios <pete@ccs.neu.edu>
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
Last updated: May 03 2024 at 12:27 UTC