This offer is obsolete and is retained for reference only. Current offers are available on this page.

This is offer is for a 6-month internship and is based at our R&D Center in Paris.

Objective

Develop a compiler from Prove & Run’s language to Scala.

Mission

As a Research & Development Engineer, you will join the team in charge of ProvenTools, the complete development toolchain created by Prove & Run. ProvenTools is an Eclipse-based IDE offering support to write models using Prove & Run’s language (Smart) and to compile them. Models written in Smart are compiled to mainstream languages and Scala is a target of choice, as it ultimately allows to compile Smart to Java bytecode; hereby offering various backends.

The project consists in designing and implementing a compiler to Scala integrated within ProvenTools. The project will require you to write an Eclipse plugin that provides the following features:

• Generating a Scala implementation of Smart’s types and functions,
• Generating Scala stubs for Smart’s external types and functions, so that the user can easily integrate handwritten and generated Scala code,
• A generator integrated with ProvenTools’s existing APIs for compiling Smart to garbage-collected languages.

This project will be implemented in Java.

This offer is for a 4 to 6-month internship and is located in our office in Paris.

Profile

You are currently completing a Master’s Degree or an equivalent degree. You have a significant experience of software development and basic notions in compiler development. You are rigorous, independent and have good interpersonal skills.

The following experience is required:

• The Java programming language
• A functional programming language

Previous experience with the following tools will help ensure that you can hit the ground running:

• The Eclipse development environment
• Source code management tools (Git and Mercurial)

A good level of English is required.

Benefits

All interns will receive the following benefits:

• Compensation of €1000-1200/month (gross)
• Daily meal stipends (Tickets Restaurant)

Are you interested in joining Prove & Run and becoming a key part of our team? If so, please check what it means to be an intern at Prove & Run, or apply right away!