FYI
-------- Original Message --------
Dear Tom,
We have internship positions available for this summer. Can you forward
it to the interested students, please? Here is the info:
----------------------------------------------------------------------------
Summer 2010 Internship Positions
Summer internship positions are available for graduate students in the
Systems Analysis and Verification Group at NEC Laboratories America,
Princeton, New Jersey.
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 group
website on http://www.nec-labs.com/research/system/systems_SAV-website .
For more information on NEC Labs, check http://www.nec-labs.com.
If interested, please send your application to Aarti Gupta
(agupta@xxxxxxxxxxxx).
----------------------------------------------------------------------------
Thanks,
Gogul
--
Thomas Reps
Professor
Computer Sciences Department
University of Wisconsin
1210 West Dayton Street
Madison, WI 53706
USA
<http://www.cs.wisc.edu/~reps>
(608) 262-2091 (direct)
(608) 262-6616 (secretary: Cathy Richard)
(608) 262-1204 (department)
(608) 262-9777 (fax)