Skip to main content

Internship opportunity in Paris on analysis of Linux kernel source code

By
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
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).
409 comments
Read more

AI, Internet of Things, Cybersecurity Online Conference - October 14 & 15, 2017

By
The world’s largest online conference kicks off this fall stronger than ever by assembling the best  industry leaders, disruptive minds, and visionaries. You’ve read their books and applied their work - now  it’s time to ask them questions, talk to them individually, accept their challenges, and get their feedback!  300 speakers interact with you through live talks, Q&A’s, forum and 1-to-1 video calls. Topics range from  ML to cyber intelligence to industrial IoT. Confirmed speakers for October 14&15th: Ian Goodfellow - Research Scientist, Google Brain Hugo Larochelle - Research Scientist, Google Sandy Carter - VP, Amazon Web Services Louis Monier - Head of AI, AirBnB Tim Abels - Director of Server Architecture, Intel Ashok Banerjee - CTO and VP Engineering, Symantec Andreas Mueller - Lecturer in Data Science, Columbia University Roman Yampolskiy - Assistant Professor, University of Louisville Patrick McDaniel - Distinguished Professor, Penn State ...
33 comments
Read more

Positiond available at Heali AI

By Jessica
A bout Heali AI : The team consists of two serial entrepreneurs, two PhD engineers, two registered dietitian nutritionists, two ivy league masters and alumni from Google, Amazon and Snapchat. They're looking for additional engineering expertise as they look to build a suite of new unique tools. Heali’s mission is to make personalized dieting simple. They’re using a suite of technologies including Optical Character Recognition (OCR), Augmented Reality (AR) and Machine Learning AI to power a unique set of tools for consumers. More can be shared on an individual basis. Heali AI is currently have Internships / Consultancy Openings: Full Stack Engineer, Machine Learning Scientist (Fall Only), and Optical Character Recognition And Tracking Scientist. Full Stack Engineer Hard Requirements: College completion in Computer Science (minimum BS) Must knows: C++ , Python, Javascript Required experience with: Node.js, React, Amazon Web Services (AWS) Excellent written and verbal communi...
31 comments
Read more