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…

How about choosing CS 493 during course selection?

Want the chance to invent something and receive course credit? Want to refine your ideas for your start-up before you graduate? Want to win prizes?
CS 493/494 are the courses for you! Beginning in Fall 2018, CS majors will be able to take a two-course sequence that will take you from project ideation and selection to implementation and demonstration, to testing and a final “demo day”. Projects may range from new software systems, to contribute to existing open-source projects, to research projects. This will all be completed with a team of 3-5 members.
The first prize of $15K has been generously donated by CS alumnus, Sam Pasupalak, and the second prize of $10K has been provided by Microsoft. Prizes will be awarded as part of Demo Day at the end of CS 494.
CS 493 Offered for the first time in Fall 2018. You can select it during the Fall course selection period from May 23-28, 2018.Prerequisites: CS 246, CS 341, CS 350The plan is to offer it in every Fall term.CS 494 Offered for the first tim…