Skip to main content

NEC Research Staff Member

By

Education Requirement: 

Ph.D. in Computer Science, or equivalent.


Description:


The Systems Analysis and Verification (SAV) Group invites applications from highly motivated and qualified researchers to fill an RSM position in NEC Labs America, Princeton, New Jersey.

The SAV group engages in foundational as well as applied research in analysis of software systems, bringing together the domains of system modeling, formal verification, program analysis, automatic decision procedures, and software testing. Our past research efforts have been incorporated in internal products within NEC that have been deployed for verification of software programs. Going forward, we are interested in testing and verification techniques targeting large distributed systems and applications, such as in data centers or cloud operations. Our projects actively pursue research contributions with publications in leading conferences, as well as technology transfer to collaborators in NEC Japan. More details of past projects are available on the group website http://www.nec-labs.com/research/system/systems_SAV-website.

 We are currently looking for highly qualified individuals with an interest in large distributed systems and service applications, and in utilizing testing and verification techniques for their development and operation. Applicants must have a Ph.D. in Computer Science or equivalent, and have a strong publication record in one or more of the above topics. Applicants should have a keen interest in driving innovative technologies into real industry practice.

Requirements:

·       Strong technical background in distributed systems and services
·       Solid understanding of operating systems and networks
·       Experience or familiarity with testing and verification techniques

Bonus skills:

·       Experience with Hadoop, OpenStack, OpenFlow, or similar platforms
·       Experience in systems programming (Linux/Unix, Windows)

 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 business. It supports an extensive summer internship program and promotes successful collaborations with academic institutions. It is a part of NEC's global research infrastructure, which includes laboratories in Japan, the United States, Europe, and China. More information can be found on http://www.nec-labs.com.

 Interested candidates can apply at http://www.nec-labs.com/careers/index.php (for the Systems Analysis and Verification posting). Along with a current CV, please provide a short statement of research interests and career goals.  
Labels:

Comments

Post a Comment

Popular posts from this blog

CS/Data Science/Digital Hardware option transfers NOW OPEN

By
The CS Undergraduate Advising Office has opened applications for CS transfers for Fall 2017. The online application is available at  https://oat.uwaterloo.ca/forms   and will be open from Tuesday, December 5 until  Sunday, December 31, 2017, at 11.59 p.m. We're accepting applications for: Transfer from Math to CS - at a minimum, must have taken CS 136 or be taking it in Fall 2017. Transfer from CS to BCS (Data Science) - must have taken STAT 231 or be taking it in Fall 2017. Transfer from CS to CS/Digital Hardware Adding a Joint CS to an out-of-faculty plan Transfer from outside of Math to CS (pending approval from Math) Answers to common questions about the transfer process can be found in the CS FAQs  (particularly #2 and #151).
401 comments
Read more

Grad students needed to mark reports for PD2

By
WatPD is currently seeking graduate students to mark reports for PD2: Critical Reflection and Report Writing from late-March to early-April. Students in this course must write a 16-20 page report which is worth 50% of their final grade. With over 1500 reports expected to be submitted, we need your help! Strong candidates for this position will have: ·          a desire to support students in an online learning environment ·          previous marking and/or teaching experience (preferably post-secondary) ·          strong written communication skills ·          an ability to correct quality of writing errors ·          a good understanding of English grammar and syntax To be eligible for this position, you must be available for training sessions in March that are held on campus at the University of Waterloo. Those who demonstrate a high level of competence will be offered additional marking opportunities. Successful candidates will be given about 20-30 hours ov
11 comments
Read more

Radix Trading - opportunities

By Jessica
RADIX TRADING - QUANTITATIVE TECHNOLOGIST WaterlooWorks ID: 78067 Deadline 11PM FRIDAY, SEPT 21 http://radix-trading.com/ Radix Trading is a research-­driven, proprietary trading startup (~50 people) in Chicago and Amsterdam led by Michael Rauchman and Ben Blander.  -------------------------- Michael Rauchman - formerly GETCO's CTO, head of Americas equities, and global head of ForEx. As a hands-on leader, Michael was instrumental in the development of many trading strategies as well as the underlying architecture and code. Ben Blander - former head of Citadel’s high frequency group and a key contributor in growing their P&L from $75 million in 2005 to $1.15 billion in 2008 (Source: http://www.cnbc.com/id/39099331 )  Previously Ben earned a PhD in Math from the University of Chicago. Our culture of openness (you'd have complete access to our code, data, and strategies) enables fast turnaround from idea inception to execution, and continuous enhancem
6 comments
Read more