http://www.nec-labs.com/careers/careers-p40.php
Postdoctoral Researcher - Systems Analysis and Verification
The Systems Analysis and Verification Group invites applications from
highly motivated and qualified researchers to fill a Post-Doctoral
position at NEC Labs America, Princeton, New Jersey.
The group engages in foundational as well as applied research in the
areas of verification and analysis of software and embedded systems.
The ongoing projects include - F-Soft, a software verification p