Contexte et atouts du poste
Dans le cadre d’un partenariat avec l'Université Northwestern de Chicago.
L’objectif est de construire un environnement de développement pour le langage réactive synchrone HipHOp. En particulier, il s'agira d'adapter des techniques du « modèle checking » pour réaliser un debuggeur prédictif.
Des déplacements occasionnels seront à prévoir pour participer à des évènements scientifiques.
Mission confiée
Missions :
Avec l'aide de Manuel Serrano et Robby Findler, la personne recrutée aura pour mission la conception et le développement du debuggeur prédictif.
Pour une meilleure connaissance du sujet de recherche proposé :
Un état de l'art, une bibliographie, des références scientifiques sont disponibles à l'URL suivante, n'hésitez à pas à vous y connecter :
Principales activités
Principales activés :
1. Mise à niveau sur les techniques de model checking
2. Participation au développement du compilateur Hiphop
3. Mise en place des briques logicielles pour l'environnement de programmation
4. Développement du debuggeur
Compétences
Langues : Anglais
Avantages
5. Restauration subventionnée
6. Transports publics remboursés partiellement
7. 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)
8. Possibilité de télétravail (après 6 mois d'ancienneté) et aménagement du temps de travail
9. Équipements professionnels à disposition (visioconférence, prêts de matériels informatiques, etc.)
10. Prestations sociales, culturelles et sportives (Association de gestion des œuvres sociales d'Inria)
11. Accès à la formation professionnelle
12. Sécurité sociale
Rémunération
Salaire : 2788 € brut mensuel
En cliquant sur "JE DÉPOSE MON CV", vous acceptez nos CGU et déclarez avoir pris connaissance de la politique de protection des données du site jobijoba.com.