En un coup d'œil
- Missions: Contribuer au développement de la plateforme Mopsa et participer à des projets de recherche passionnants.
- Entreprise: Mopsa, une plateforme de recherche innovante soutenue par Inria Lille et LIP6, Sorbonne Université.
- Avantages: Opportunités de développement professionnel et travail collaboratif dans un environnement dynamique.
- Autres infos: Ambiance collaborative avec des possibilités de croissance de carrière.
- Pourquoi ce job: Rejoignez une équipe qui façonne l'avenir de l'analyse statique et partagez vos idées.
- Qualifications: Expérience en analyse statique, programmation OCaml et compétences en travail d'équipe.
Le salaire estimé est compris entre 41850 - 51150 € par an.
Mopsa est une plateforme orientée recherche pour le développement d'analyses statiques de son. Son objectif est d'encourager et de promouvoir la recherche et l'éducation en interprétation abstraite à travers une plateforme open-source. Ce poste est financé par l'ANR JCJC RAISIN. Mopsa est développé conjointement à Inria Lille et au LIP6, Sorbonne Université.
Le but de ce poste d'ingénieur de recherche est de renforcer et d'étendre Mopsa. Selon les intérêts du candidat, les tâches suivantes peuvent être envisagées :
- Participer à des projets de recherche autour de l'ANR RAISIN et de Mopsa, à travers des contributions conceptuelles et basées sur le logiciel.
- Rendre la plateforme plus accessible, à travers de nouvelles interfaces, du matériel d'intégration supplémentaire, la création de tutoriels, l'extension de la documentation.
- Contribuer à la maintenance de la plateforme d'analyse statique Mopsa (problèmes, CI, gestion des demandes de fusion, ...).
Activités principales :
- Contribuer au développement logiciel de la plateforme d'analyse statique Mopsa (à la fois pour des fins de recherche et de maintenance).
- Aider les nouveaux utilisateurs à utiliser Mopsa et à le rendre plus accessible.
- Participer à des projets de recherche pertinents autour de l'analyse statique avec Mopsa (par exemple, l'événement AnalyzeThat).
- Interaction avec le reste de l'équipe Mopsa (à la fois Inria Lille et LIP6, Sorbonne Université).
Compétences :
- Compétences techniques et niveau requis :
- Formation en analyse statique et/ou interprétation abstraite.
- Expérience en programmation OCaml.
- Curiosité et intérêt pour l'analyse de programmes et le processus de recherche.
- Connaissance des processus CI/CD de Gitlab et des conteneurs Docker est un plus.
Langues : Français et/ou Anglais.
Compétences relationnelles :
- Travail en équipe.
- Présentation de travaux techniques à différents publics.
Des expériences/contributions soulignant ces compétences sont un plus.
Research Engineer Contributing to the Mopsaz S employeur : Inria Villeneuve d'Ascq
En tant qu'employeur, notre entreprise se distingue par son engagement envers l'innovation et la recherche de pointe dans le domaine de l'optimisation combinatoire. Nous offrons un environnement de travail collaboratif où les chercheurs peuvent développer leurs compétences tout en contribuant à des projets significatifs sur des plateformes de calcul haute performance. De plus, notre culture d'entreprise valorise la croissance personnelle et professionnelle, avec des opportunités de publication et de collaboration internationale.
Coordonnées :
Équipe de recrutement de Inria Villeneuve d'Ascq
Conseils d'expert StudySmarter🤫
Voici comment nous pensons que tu pourrais décrocher Research Engineer Contributing to the Mopsaz S
✨Connecte-toi avec des chercheurs et des professionnels
Les réseaux sociaux académiques comme ResearchGate ou Academia.edu sont parfaits pour établir des connexions. N'hésite pas à interagir avec des publications de chercheurs qui t'inspirent, ça pourrait mener à des opportunités au sein d'équipes de recherche comme celles de Inria Villeneuve d'Ascq.
✨Participe à des conférences et des séminaires
Les événements académiques sont des occasions en or pour rencontrer des experts du domaine. Si tu as l'occasion de présenter ton travail, fais-le ! C'est une superbe façon de te faire remarquer et d’augmenter ta visibilité auprès de potentiels employeurs, notamment dans le secteur de la recherche scientifique.
✨Reste informé sur les nouvelles publications
Abonne-toi à des revues scientifiques qui publient des études dans ton domaine d'intérêt. La connaissance des dernières avancées te permettra non seulement de briller lors des entretiens, mais aussi de discuter des tendances qui intéressent Inria Villeneuve d'Ascq.
✨Postule directement sur notre site web
N'oublie pas de consulter notre site pour les offres d'emploi chez Inria Villeneuve d'Ascq. Souvent, des postes intéressants ne sont pas publiés ailleurs. Être proactif et t'inscrire dès que quelque chose d'intéressant apparaît peut vraiment faire la différence dans ta recherche.
Nous pensons qu'il te faut ces compétences pour exceller en tant que Research Engineer Contributing to the Mopsaz S
Quelques conseils pour ta candidature 🫡
Mets en avant tes compétences techniques:Dans le domaine de la recherche scientifique, on adore voir des compétences techniques précises. N’hésite pas à détailler tes expériences en laboratoire, les méthodologies que tu maîtrises et les outils analytiques que tu utilises. Des compétences en informatique comme la gestion de données ou la modélisation peuvent aussi faire la différence !
Valorise tes publications:Si tu as déjà publié des articles ou présenté des travaux lors de conférences, assure-toi de les mettre en avant ! Inclure des liens vers tes publications ou ton portfolio scientifique dans ton CV peut vraiment t'aider à te démarquer auprès de Inria Villeneuve d'Ascq.
Sois clair sur tes motivations:Étant donné que c'est un poste à temps plein, explique pourquoi tu souhaites rejoindre Inria Villeneuve d'Ascq en particulier et comment cela s'inscrit dans ton parcours. Montre que tu es passionné par la recherche et que tu as des idées sur comment contribuer aux projets en cours !
Format professionnel mais accessible:Dans ta candidature, utilise un format clair et accessible. Évite le jargon trop complexe mais n'hésite pas à montrer ta rigueur scientifique. Un bon équilibre entre professionnalisme et une approche compréhensible peut faire toute la différence pour Inria Villeneuve d'Ascq.
Comment te préparer à un entretien d'embauche chez Inria Villeneuve d'Ascq
✨Prépare ta littérature scientifique !
On doit être au top sur les dernières avancées dans ton domaine. Assure-toi de bien comprendre les articles récents publiés et sois prêt à discuter de leur impact lors de l'entretien, surtout ceux qui concernent Inria Villeneuve d'Ascq.
✨Pratique les questions techniques
Les entretiens dans la recherche scientifique peuvent inclure des questions techniques et méthodologiques. Prépare-toi à expliquer tes méthodes de recherche précédentes et à discuter des outils que tu sais utiliser, comme les logiciels de modélisation ou d'analyse de données.
✨Mets en avant tes projets de recherche
Comme on cherche à savoir comment tu te démarques, prépare un portfolio qui présente tes projets scientifiques. Ça peut inclure des publications, des présentations à des conférences ou même des posters. Ça montre ta capacité à contribuer à Inria Villeneuve d'Ascq dès le départ !
✨Montre ta passion pour l'innovation
Dans le monde de la recherche scientifique, l'innovation est essentielle. Prépare des exemples concrets où tu as eu des idées originales dans tes travaux. Parles-en avec enthousiasme pour vraiment convaincre les recruteurs que tu es la personne qu'il leur faut.
