Summer internship positions are available for graduate students in the Systems Analysis and Verification Group at NEC Laboratories America, Princeton, New Jersey.
The SAV group engages in foundational as well as applied research in the areas of verification, testing and analysis of software and systems. The current projects include:
- Testing and dynamic analysis of distributed services and systems
- Automatic unit test generation for software programs
These projects offer a broad range of exciting topics for research – dynamic analysis, symbolic execution, program analysis, automatic test generation, and testing of distributed systems and applications. Students with experience in systems programming (Linux/Unix, Windows) or platforms (like Hadoop, HDFS, Openflow) are especially welcome.
Students are encouraged to work closely with group members on new research problems, with potential for publication in premier conferences. Exact internship dates are flexible.
For past work and publications, please check the group website
For more information on NEC Labs, please check http://www.nec-labs.com.
If interested, please apply at http://www.nec-labs.com/careers/internship.php (for the Systems Analysis and Verification posting).