Skip to main content

Internship opportunity in Paris on analysis of Linux kernel source code

Mitacs Globalink is an internship program that provides funding for Canadian students to do 3-6 month internships in France (and a few other countries).  Both undergraduate and graduate students are eligible; undergraduates must have at least a B average and must have completed their second year of studies prior to the start of the internship.

The Inria Whisper team would like to offer an internship in the area of software engineering, targeting the Linux kernel.  The Inria Whisper team develops the Coccinelle program matching and transformation tool for C code that has been extensively used for finding bugs and performing evolutions on the Linux kernel.  Over 3000 patches in the Linux kernel mention Coccinelle.  The project would depend on the interests and background of the intern, but would be in the general area of using or extending Coccinelle to better understand properties of Linux kernel code, and to improve the Linux kernel's development.

Interns should have good programming skills, and should be familiar with C code (or a related language such as C++).

Mitacs Globalink: http://www.mitacs.ca/en/programs/globalink
Coccinelle: http://coccinelle.lip6.fr/

Contact: Julia.Lawall@lip6.fr

Deadline: November 20

Comments

Popular posts from this blog

Enrollment caps have been restored for CS courses

As per the course selection policy, enrollment caps for all CS courses have been returned to their actual class size. If the class or section is full then it means that you will need to wait for another student to drop it. You have until 11.59 p.m. on Monday May 14 to add courses.

The following courses still have waiting lists and department consent applied so you will NOT be able to add these courses.

CS 454CS 458CS 486CS 488CS 492

Course enrollment for Spring 2018

Appointments for course enrollment began on Monday 26 March and open enrollment begins on Wednesday 28 March.

For students trying to add CS courses, we encourage you to review the course selection page.

COURSE ENROLLMENT
In Computer Science,  we drop the enrolment caps by approximately 15% of the total enrolment number for the course to give advisors room to handle special cases. We will return the enrolment caps to their actual size in the second week of classes after we have had time to deal with the special cases. This will occur on Friday, May 4, 2018, (we don't know the precise time) and remaining space will be available on a first-come-first-served basis only if the section isn't already at its enrolment total. WHAT IS A SPECIAL CASE?
1. Students who selected courses but something went wrong because of: enrollment capacity in a course **a time conflict **an academic enrolment block was applied after course selectiondropping or failing a course after course selection** Please re…

CS/Data Science/Digital Hardware option transfers NOW OPEN

The CS Undergraduate Advising Office has opened applications for CS transfers for Fall 2017. The online application is available at https://oat.uwaterloo.ca/formsand 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 HardwareAdding a Joint CS to an out-of-faculty planTransfer 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).