Inria
Generating code and circuits for embedded control software
Job Location
Paris, France
Job Description
Contexte et atouts du poste
Within the framework of an industrial consortium with financing from the DGAC, the Inria PARKAS team will study the generation of embedded code and circuits for controller code involving many array operations. The PARKAS team is located at the Ecole normale supérieure in Paris. Occasional travel to Toulouse for project meetings and withing Europe for conferences and workshops should be expected.
Mission confiée
In collaboration with other members of the PARKAS team, including permanents, PhD students, and interns, and in concertation with our industrial partners, the new recruit will be responsible for studying the compilation problem, reviewing the state of the art, and proposing technical solutions. These solutions will be implemented and evaluated against case studies both developed internally and made available within the industrial consortium.
Principales activités
Main activities (5 maximum):
Additional activities (3 maximum):
Compétences
This post would suit a recent PhD graduate with expertise in programming language design, formal methods, and compilation. Optionally, experience with FPGAs and their tool chains would be beneficial.
Languages: French and English.
The ability to work as part of a team and to exchange with external partners is essential.
Avantages
Location: Paris, FR
Posted Date: 10/4/2024
Within the framework of an industrial consortium with financing from the DGAC, the Inria PARKAS team will study the generation of embedded code and circuits for controller code involving many array operations. The PARKAS team is located at the Ecole normale supérieure in Paris. Occasional travel to Toulouse for project meetings and withing Europe for conferences and workshops should be expected.
Mission confiée
In collaboration with other members of the PARKAS team, including permanents, PhD students, and interns, and in concertation with our industrial partners, the new recruit will be responsible for studying the compilation problem, reviewing the state of the art, and proposing technical solutions. These solutions will be implemented and evaluated against case studies both developed internally and made available within the industrial consortium.
Principales activités
Main activities (5 maximum):
- Analyzing the requirements of our industrial partners.
- Reading scientific materials to determine the state of the art.
- Devising new type systems and compilation schemes.
- Implementing and evaluating techniques on case studies.
Additional activities (3 maximum):
- Communicating results in articles and presentations.
- Co-supervising interns.
Compétences
This post would suit a recent PhD graduate with expertise in programming language design, formal methods, and compilation. Optionally, experience with FPGAs and their tool chains would be beneficial.
Languages: French and English.
The ability to work as part of a team and to exchange with external partners is essential.
Avantages
- Restauration subventionnée
- Transports publics remboursés partiellement
- Congés: 7 semaines de congés annuels + 10 jours de RTT (base temps plein) + possibilité d'autorisations d'absence exceptionnelle (ex : enfants malades, déménagement)
- Possibilité de télétravail (après 6 mois d'ancienneté) et aménagement du temps de travail
- Équipements professionnels à disposition (visioconférence, prêts de matériels informatiques, etc.)
- Prestations sociales, culturelles et sportives (Association de gestion des œuvres sociales d'Inria)
- Accès à la formation professionnelle
- Sécurité sociale
Location: Paris, FR
Posted Date: 10/4/2024
Contact Information
| Contact | Human Resources Inria |
|---|