[pl-seminar] [Fwd: Summer internships at NEC]

[Thomas Reps <reps@xxxxxxxxxxx>]

Sorry for the duplication, for people on pl-reading and pl-chat.

Tom

-------- Original Message --------

Subject:	Summer internships at NEC
Date:	Wed, 28 Jan 2009 12:15:17 -0500
From:	Gogul Balakrishnan <bgogul@xxxxxxxxxxxx>
To:	Thomas Reps <reps@xxxxxxxxxxx>

Dear Tom,

NEC is looking for summer internships this year. Can you forward the 
blurb to anyone who might be interested, please? I have already sent 
this to pl-reading and pl-chat.

Thanks,
Gogul
----------------------------------------------------------------------
Summer 2009 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: a platform for verification and testing of concurrent programs
- 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, model 
checking, static program analysis, automatic decision procedures, 
semi-formal methods, security analysis, real-time and embedded system 
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/index.php.

For more information on NEC Labs, check http://www.nec-labs.com.

If interested, please send your application to Aarti Gupta 
(agupta@xxxxxxxxxxxx).

 Summer 2009 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: a platform for verification and testing of concurrent programs
- 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, model 
checking, static program analysis, automatic decision procedures, 
semi-formal methods, security analysis, real-time and embedded system 
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/index.php.

For more information on NEC Labs, check http://www.nec-labs.com.

If interested, please send your application to Aarti Gupta 
(agupta@xxxxxxxxxxxx).

-- 
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)