[pl-seminar] [Fwd: NEC Summer 2008 Internships]

[Thomas Reps <reps@xxxxxxxxxxx>]

Recent graduate Gogul Balakrishnan sent me this about
summer internships at NEC Labs in Princeton, NJ:

-----------
Summer 2008 Internship Positions

Summer internship positions are available for graduate students in the
System 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 hardware and software systems. The
ongoing projects include:
- F-Soft: a software verification platform for C programs, which
utilizes precise modeling of program behavior for static analyses and
model checking.
- VeriSol: a symbolic model checking platform, based on SAT solvers,
BDDs, and SMT solvers.
- ConSave: a new project on concurrent program analysis and system-level
verification.
- Neat: a new project on analyzing models and programs of embedded
systems.

The current activities in these projects offer a broad range of exciting
topics for research -- software modeling, static program analysis, model
checking, constraint solvers, semi-formal methods, machine learning/
statistical inference techniques for verification and code
understanding, security analysis, real-time and embedded system
analysis. Students are encouraged to work closely with group members on
existing or new research problems, with potential for publications in
premier conferences.

More information about the System Analysis and Verification group can be
found on http://www.nec-labs.com/~fsoft. Interested students should send
their resume and a short description of research interests 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)

On sabbatical leave, Aug. 2007 - Aug. 2008:

Office address:
Thomas Reps
Laboratoire LIAFA
Universite' Paris Diderot - Paris 7
175 rue du Chevaleret
Office 6A15
75013 Paris
France
E-mail: reps@xxxxxxxxxxx
Telephone: +33 (0)1.44.27.28.40 (Do not dial the (0) if you are outside France) 
Fax: +33 (0)1.44.27.68.49       (Do not dial the (0) if you are outside France) 

Mailing address: 
Thomas Reps
Laboratoire LIAFA
Universite' Paris Diderot - Paris 7
Case 7014
75205 Paris Cedex 13
France