System Analysis and Verification

Summer internship positions are available for graduate students in the Systems Analysis and Verification Group. Our 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 platform for C and C++ programs
  
• ConSave: verification and testing of concurrent programs and large software systems
  
• Tessa: techniques for embedded system and software assurance
  

The current activities in these projects offer a broad range of exciting topics for research -- modeling concurrency, dynamic verification, automatic test generation, model checking, run-time failure analysis, security analysis. Students are encouraged to work closely with group members on new research problems, with potential for publications in premier conferences.

For past work and publications on these projects, please check the SAV website. For more information on NEC Labs, check out our website.

Interested students can send their resume to internship@nec-labs.com and reference "SAV" in the subject line.