Skip to main content

Summer 2013 NEC Internship Positions

By

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, testing and analysis of software and systems. The current projects include:
- Testing and dynamic analysis of distributed services and systems
- Automatic unit test generation for software programs

These projects offer a broad range of exciting topics for research – dynamic analysis, symbolic execution, program analysis, automatic test generation, and testing of distributed systems and applications. Students with experience in systems programming (Linux/Unix, Windows) or platforms (like Hadoop, HDFS, Openflow) are especially welcome.

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, please check the group website
http://www.nec-labs.com/research/system/systems_SAV-website.
For more information on NEC Labs, please check http://www.nec-labs.com.

If interested, please apply at http://www.nec-labs.com/careers/internship.php (for the Systems Analysis and Verification posting).
Labels:

Comments

  1. Anonymous22 January 2019 at 22:41

    in this blog we can find out about Individuals who depend without anyone else instinct are extremely best. This blog is all not the same as go to this website however is a valuable and innovative blog. I might simply want to impart it to companions who might indicate enthusiasm for it.

    ReplyDelete
  2. Anonymous23 January 2019 at 05:23

    In this blog we can find out about some new tips about basic techniques to assist individuals with site facilitating. It is on the grounds that web facilitating is additionally best for recommended reading work. that is the main reason I need to think about the web facilitating. This is a decent blog.

    ReplyDelete
  3. Anonymous24 January 2019 at 05:29

    There are numerous individuals who appreciate the field of photography with the goal that individuals should visit this blog. this is the best approach to work best in this http://www.readmissionhelp.com/appeal-letter/ weblink photography work. I simply like this blog such a great amount of on account of the strategy for this blog.

    ReplyDelete
  4. Christopher Blevins21 February 2019 at 06:47

    On this website we could check out several fresh recommendations on simple ways to support people who have web site aiding. It really is around the coffee grounds in which net aiding is likewise finest regarding advised studying perform. this is the main reason I must look at the net aiding. http://www.chemistryassignmenthelp.com/homework-help-chemistry-services/general-chemistry-help-service/ It is a respectable website.

    ReplyDelete
  5. Christopher Blevins22 February 2019 at 23:11

    This is actually the greatest method of function greatest with this check it pictures function. I merely such as this weblog this kind of plenty of due to the actual technique for this web site.

    ReplyDelete

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