[pl-seminar] Fwd: NECLA summer Internships

[Thomas Reps <reps@xxxxxxxxxxx>]

FYI -- additional internship possibilities.

Tom

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

Subject:	NECLA summer Internships
Date:	Mon, 06 Dec 2010 16:14:12 -0500
From:	Gogul Balakrishnan <bgogul@xxxxxxxxxxxx>
To:	Thomas Reps <reps@xxxxxxxxxxx>

Dear Tom,

Our group at NEC Labs is looking for summer interns this year. Can you 
forward it to the interested students? Details of the projects in our 
group is included below.  Please ask interested candidates to apply here:

  http://www.nec-labs.com/careers/index.php

Thanks,
Gogul

-------------------------------------------------------------------------
Summer 2011 Internship Positions

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 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
- Tessa: techniques for embedded system and software assurance

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 publication in premier conferences. Exact 
internship dates are flexible.

For past work and publications on these projects, please check the group 
website on

   http://www.nec-labs.com/research/system/systems_SAV-website .

If interested, please apply at http://www.nec-labs.com/careers/index.php

-------------------------------------------------------------------------