Contexte et atouts du poste
Inria's Lexifi and
Mission confiée
As research engineer, you will contribute to the development of the
Principales activités
Some more specific goals of this position comprise:
Compétences
The candidate will hold a Ph.D. degree in computer science, and will be acquainted with the topic of static program analysis, and abstract interpretation in particular.
Experience with developing applications in OCaml or in another functional language is highly recommended. Intimate knowledge of the OCaml toolchain is obviously a plus but not a requirement.
Avantages
Research engineer / Static analysis of OCaml programs • Rennes, FR
En tant qu'ingénieur ou ingénieure d'Essais en signalisation ferroviaire, vous serez amené à : /strong /pullipPréparer, exécuter et coordonner des essais : /pullipElaborer et réaliser des prestat... Voir plus
Data Trust & AI Governance Manager Le Data Trust & AI Governance Manager garantit la conformité, la fiabilité et la traçabilité des systèmes d'intelligence artificielle déployés chez no... Voir plus
A propos de nousL’Université de Rennes, établissement d’enseignement et de recherche et un des premiers employeurs du bassin rennais, offre un environnement propice à l’épanouissement de ses person... Voir plus
Groupe international d’ingénierie et d'expertise en technologies, fortil repose sur un modèle indépendant et rassemble plus de 2 500 collaborateurs.Avec 30 agences réparties dans 14 pays, fortil cu... Voir plus
E-santé, des médias ou encore dans l’agroalimentaire.Nous partageons tous les mêmes.Le respect de tous, l'écoute des aspirations de chacun.Le partage de notre expertise technique.Eh oui, on vous vo... Voir plus
REJOIGNEZ LA RUCHE ! Un·e Ingénieur·e d’études Génie Électrique, c’est quoi ? C’est la personne qui réalise les études électriques sur toutes les phases d’un projet, de la faisabilité à la réalisat... Voir plus
Rejoignez Natilia, le 1er réseau français de constructeurs de maisons à ossature bois.Entreprenez dans un secteur porteur, engagé dans la transition écologique et tourné vers l'avenir de l'... Voir plus
Recherche d'un ingénieur IAM à Rennes, avec compétences en Active Directory et scripting, et un bon niveau d'anglais. Voir plus
Une société spécialisée en solutions IT recherche un(e) Ingénieur(e) Systèmes Linux pour rejoindre son équipe, avec la possibilité de travailler en full remote.Le candidat idéal possède une formati... Voir plus
Le rôle principal est d'analyser les données, de créer des modèles prédictifs et d'améliorer les processus décisionnels.L'étudiant participera à l'évolution des outils. Voir plus
Qui sommes‑nous ?Notre agence rennaise (La TeamBZH) regroupe 70 consertien.Nes évoluant sur les métiers duDéveloppement, DevOps, Infrastructure / Cloudet de l' Agilitéau sein de start‑ups et de... Voir plus
Astek recrute un ingénieur système N3 pour intervenir sur des incidents critiques et garantir la disponibilité et la sécurité des infrastructures télécoms.Vous participerez aux opérations de build/... Voir plus
Les missions du posteIntégré(e) au sein d’une équipe à taille humaine de plus de 40 consultants, tu seras amené(e), à participer à des projets dans nos locaux modernes et conviviaux ou/et à interve... Voir plus
Filiale française du groupe O-Net Technologies (Group) Limited, 3SP Technologies est une PME en pleine croissance, qui conçoit et fabrique des puces et des modules optoélectroniques pour les réseau... Voir plus
Vous souhaitez vous former au métier de Data Analyst ?Cette alternance vous permettra de développer vos compétences en gestion d’équipe, coordination de projets et optimisation de la performance au... Voir plus
Ingénieur structure confirmé (H/F)* Rennes, 35000* CDI* 20/10/2025* 35000€- 55000€## DescriptionChez SERTCO, filiale de NOVAM Ingénierie, nous croyons que chaque projet est une aventure collective,... Voir plus
Intégrée au pôle Numérique du Groupe E’nergys, notre filiale Agora Calycé est une entreprise qui propose des solutions d’hébergement informatique, d’optimisation des systèmes numériques, de migrati... Voir plus
Software Engineering Manager - Cross-platform C++ - Multipass 2 days ago Be among the first 25 applicants Canonical is a leading provider of open source software and operating systems to the globa... Voir plus
){kind=logo}
