Ingénieur(e) spécialiste en développement d'IDE
Référence : 2023-1180088
- Fonction publique : Fonction publique de l'État
- Employeur : INRIA Sophia Antipolis
- Localisation : 2004 Route des Lucioles 06902 Valbonne
Partager la page
Veuillez pour partager sur Facebook, Twitter et LinkedIn.
- Nature de l’emploi Emploi ouvert aux titulaires et aux contractuels
- Expérience souhaitée Non renseigné
-
Rémunération (fourchette indicative pour les contractuels) Selon statut € brut/an
- Catégorie Catégorie A (cadre)
- Management Non renseigné
- Télétravail possible Non renseigné
Vos missions en quelques mots
Ce projet vise à concevoir un environnement de développement complet pour
renforcer la cohérence et la diffusion de la pile logicielle (Coq, Easycrypt, Elpi, Jasmin et Mathematical Components) et pour fournir des interfaces homme-machine adaptées aux utilisateurs de nos langages tout en respectant
les standards des environnements de travail et de programmation conventionnels.
Au sein de l’équipe-projet STAMP, la mission de l'ingénieur(e) vise à :
La stratégie de diffusion auprès d’un public non informaticien (défi LiberAbaci)
;
Le consortium Coq (ergonomie et diffusion) et faciliter les actions avec Inria
Academy ;
La thématique prioritaire “langages de programmation et spécification
formelle” et faciliter les collaborations industrielles sur le site.
Profil recherché
Connaissances et expérience en développement logiciel : au moins un
langage de programmation (C++, Java, OCaml, Python, RUST, …), architecture logicielle et paradigmes de programmation, génie logiciel, bonnes pratiques et outils de développement logiciel (versioning, documentation,
compilation, packaging, …),
Connaissances et/ou expérience dans un des domaines scientifiques d’Inria,
notamment en expérimentation scientifique (a minima pour les jeunes
recrues, un potentiel à acquérir cela),
Connaissances et expérience en maquettage, prototypage matériels et/ou
logiciels,
Capacité à conduire la veille technologique au sein de l’institut,
Capacité à rédiger, publier, présenter et diffuser les activités et les résultats
de développement de l’institut, en français et en anglais.
Localisation
Qui sommes-nous ?
Le centre Inria d'Université Côte d'Azur compte 37 équipes de recherche et 8 services d’appui. Le personnel du centre (500 personnes environ) est composé de scientifiques de différentes nationalités, d’ingénieurs, de techniciens et d’administratifs. La majorité des équipes de recherche du centre sont localisées à Sophia Antipolis et cinq d’entre elles sont hébergées dans une antenne Inria à Montpellier. L'antenne Inria à Montpellier est en croissance d'effectifs, conformément à la stratégie décrite dans le Contrat d'Objectifs et de Performance de l'établissement.
À propos de l'offre
-
Vacant à partir du 01/09/2023
-
Chercheuse / Chercheur
