Job Opening at NEC Research Labs, Princeton, NJ (http://www.nec-labs.com/careers/careers-p40.php)# JobHunting - 待字闺中
s*n
1 楼
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
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