[pl-seminar] FW: Positions at NEC Labs

["Thomas Reps" <reps@xxxxxxxxxxx>]

Title: Message

FYI

-----Original Message-----
From: Aarti Gupta [mailto:agupta@xxxxxxxxxxxx]
Sent: Friday, January 26, 2007 4:37 PM
To: reps@xxxxxxxxxxx
Subject: Positions at NEC Labs

Dear Tom,

 

I would greatly appreciate your help in circulating the following announcements

regarding internship and full-time positions in the System Analysis and Verification

Group at NEC Labs America.

 

Thanks in advance,

Aarti.

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

Aarti Gupta                               

NEC Labs America                                Email: agupta@xxxxxxxxxxxx

4 Independence Way, Suite 200              Phone: +1 609 951-2966

Princeton, NJ 08540                               Fax: +1 609 951-2483

 

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

Summer 2007 Internship Positions

 

Summer internship positions are available for graduate students in the System

Analysis and Verification Group at NEC Laboratories America, Princeton, NJ.

 

Our group engages in foundational as well as applied research in the areas

of verification and analysis of hardware and software systems. Our ongoing

projects include a software verification platform called F-Soft, which utilizes

precise modeling of program behavior for static analyses and model checking;

and VeriSol, which comprises many symbolic model checking techniques based

on efficient engines such as SAT solvers, BDDs, and SMT solvers. VeriSol has

also been successfully used by our collaborators in NEC Japan for verification

of large hardware designs. More recently, we have started new projects focusing

on concurrent program analysis and system-level verification.

 

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, security analysis, real-time and

embedded system analysis. Students are encouraged to work closely with

group members on existing or new research problems, frequently leading to

publications in premier conferences.

 

More information about the System Analysis and Verification group, and

NEC Labs America can be found on http://www.nec-labs.com.

 

Interested students can send their resume and a short description of

research interests to internship@xxxxxxxxxxxx with "Verification" in the

subject line. For any questions or more information, please contact

Aarti Gupta (agupta@xxxxxxxxxxxx).

 

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

Full-time Positions:

            Research Staff Member (RSM)

            Post-Doctoral Fellow

           

Education Requirement:

            Ph.D. in Computer Science, or equivalent

 

Description:

The System Analysis and Verification Group invites applications from highly

motivated and qualified researchers for open Research Staff Member (RSM) and

Post-Doctoral Fellow positions in NEC Labs America, Princeton, NJ.

 

Our group engages in foundational as well as applied research in the areas

of verification and analysis of hardware and software systems. Our ongoing

projects include a software verification platform called F-Soft, which utilizes

precise modeling of program behavior for static analyses and model checking;

and VeriSol, which comprises many symbolic model checking techniques based

on efficient engines such as SAT solvers, BDDs, and SMT solvers. Both of these

projects have resulted in active publications in leading conferences, as well

as technology transfer to our collaborators in NEC Japan (more details

available on our project web pages). In addition, our new projects focus on

exciting research in concurrent program analysis and system-level verification.

 

Applicants should have a strong technical background in one or more of these

areas, with preference given to those familiar with program analysis, compiler,

or software testing techniques. Applicants should also have a keen interest in

driving innovative technologies into real industry practice.

 

NEC Laboratories America Inc. conducts research in support of NEC’s US and

global businesses, with a research program that covers many areas, reflecting

the breadth of NEC's businesses. It supports an extensive summer internship

program and promotes successful collaborations with academic institutions.

NEC Labs is a part of NEC's global research infrastructure, which includes

laboratories in Japan, the United States, Europe, and China.

More information about the Labs and the Verification Group can be found

on http://www.nec-labs.com.

 

Interested candidates can send their resume and a description of research

interests to recruit@xxxxxxxxxxxx with "Verification" in the subject line.

For any questions or more information, please contact Aarti Gupta

(agupta@xxxxxxxxxxxx).