20 meilleures offres (ingénieur, les ulis, a8) (à pourvoir)

Ingénieur(e) H/F en méthodes formelles (CDD 1 an)
Inria —Orsay (91)
- Travail en journée
- Master
- Niveau Licence
- Prise en charge du transport quotidien
Ingénieur Transformation Digitale (H/F)
KS Services —Les Ulis (91)
- Azure
- Ingénierie
- Master
Postuler rapidement
Ingénieur Méthodes & Amélioration Continue confirmé (H/F)
KS Services —Les Ulis (91)
- Ingénierie
- Master
- Déplacements à prévoir
Postuler rapidement
Ingénieur en Calcul Haute Performance (H/F)
CNRS —Orsay (91)
- 3 505 € par mois
- Anglais
- C++
il y a 8 jours
Ingénieur(e) traitement et analyse d'images satellitaires H/F
CEA —Bruyères-le-Châtel (91)
- Ingénierie
- Master
il y a 8 jours
Ingénieur.e d’études en production, traitement, analyse de données et enquêtes H/F
Université Gustave Eiffel —Gif-sur-Yvette (91)
- De 2 192 € à 2 800 € par mois
- Analyse de données
- Sens de l'organisation
- Python
Postuler rapidement
Ingénieur Logistique H/F
SOFITEC —Buc (78)
- À partir de 37 000 € par an
- Master
- Administration des affaires
- En présentiel
Postuler rapidement
il y a 2 jours
Ingénieur d'études en synthèse organique (H/F)
CNRS —Orsay (91)
- De 2 500 € à 3 000 € par mois
- Anglais
il y a 12 jours
Ingénieur-e Support technique au Flux F-H
Safran —Les Ulis (91)
- Temps plein
- Anglais
- Master
il y a 13 jours
Ingénieur-e d'études en biologie moléculaire et culture in vitro de champignons (H/F)
CNRS —Gif-sur-Yvette (91)
- 2 572 € par mois
- Anglais
- Sens de l'organisation
- Bureautique
il y a 1 jour
Apprentissage : Ingénieur Data Scientist en Détection d'Anomalies F/H
MBDA France —Le Plessis-Robinson (92)
- Anglais
- Python
Postuler rapidement
Alternance Ingénieur Transformation Digitale (H/F)
KS Services —Les Ulis (91)
- Azure
- Ingénierie
- Master
Postuler rapidement
H/F Ingénieur/ Ingénieure de Recherche
CNRS —Gif-sur-Yvette (91)
- De 3 227,95 € à 3 505,53 € par mois
- Niveau Doctorat
- Bureautique
il y a 2 jours
Ingénieur(e) Application et Support V.I.E - Etats-Unis (Boston)
Imagine Optic —Orsay (91)
- 4 160 € par mois
- Temps plein
- Niveau Doctorat
- Vente
- Ingénierie
Postuler rapidement
Ingénieur
INTEC ENERGIES —Le Chesnay (78)
Ingénieur généraliste H/F
Studio Innov —Paris (75)
- De 35 000 € à 45 000 € par an
- Temps plein
- Master
- En présentiel
Postuler rapidement
il y a 8 jours
Ingénieure / Ingénieur de recherche en Météo et Climat F/H
EDF —Palaiseau (91)
- De 42 000 € à 53 000 € par an
- Temps plein
- Ingénierie
- Master
- Esprit d'analyse
Postuler rapidement
il y a 2 jours
Ingénieure / Ingénieur Risques et Opportunités
EDF —Montrouge (92)
- De 45 900 € à 55 600 € par an
- Temps plein
- Master
- Esprit d'analyse
- Gestion de projet
Postuler rapidement
Alternant(e) Ingénieur(e) qualité-gestion des risques (H/F)
Institut Curie —Orsay (91)
- De 933 € à 1 867 € par mois
Postuler rapidement
il y a 12 jours
Ingénieur(e) de Service– Chromatographie Gazeuse (GC/GCMS) – Occitanie Est
Agilent Technologies France SAS —Les Ulis (91)
- Temps plein
- Service client
- Anglais
- Compétences en communication

Je souhaite recevoir la dernière alerte Emploi pour les postes de ce type : ingénieur (les ulis, a8)

En vous connectant à votre compte, vous acceptez les Conditions d'utilisation de SimplyHired et consentez à notre Politique relative aux cookies et Politique de confidentialité.

Ingénieur(e) H/F en méthodes formelles (CDD 1 an)

Inria -
Orsay (91)

Soumettre votre candidature

Détails de l'emploi

Avantages

Prise en charge du transport quotidien
RTT
Programme de formation

Qualifications

Master
Niveau Licence

Description complète du poste

Type de contrat : CDD

Niveau de diplôme exigé : Bac + 5 ou équivalent

Fonction : Ingénieur scientifique contractuel

A propos du centre ou de la direction fonctionnelle

Le centre de recherche Inria de Saclay a été créé en 2008. Sa dynamique s’inscrit dans le développement du plateau de Saclay, en partenariat étroit d’une part avec le pôle de l’Université Paris-Saclay et d’autre part avec le pôle de l’Institut Polytechnique de Paris . Afin de construire une politique de site ambitieuse, le centre Inria de Saclay a signé en 2021 des accords stratégiques avec ces deux partenaires territoriaux privilégiés.

Le centre compte 39 équipes-projets , dont 27 sont communes avec l’Université Paris-Saclay ou l’Institut Polytechnique de Paris. Son action mobilise plus de 600 personnes , scientifiques et personnels d’appui à la recherche et à l’innovation, issues de 54 nationalités.

Le centre accueille également l’Institut DATAIA , dédié aux sciences des données et à leurs

Le centre Inria Saclay - Île-de-France est un acteur essentiel de la recherche en sciences du numérique sur le plateau de Saclay. Il porte les valeurs et les projets qui font l’originalité d’Inria dans le paysage de la recherche : l’excellence scientifique, le transfert technologique, les partenariats pluridisciplinaires avec des établissements aux compétences complémentaires aux nôtres, afin de maximiser l’impact scientifique, économique et sociétal d’Inria.

Contexte et atouts du poste

Ce poste se place dans le cadre du projet LiberAbaci, qui vise à améliorer l'accessibilité du système de preuve interactif Coq pour un public d'étudiants en mathématiques dans les premières années universitaires.
https://liberabaci.gitlabpages.inria.fr/

L'ingénieur(e) travaillera sur la bibliothèque coq-num-analysis
https://lipn.univ-paris13.fr/coq-num-analysis/
pour en améliorer les méthodes de développement et la praticité, notamment en vue de l'usage d'une partie par des étudiants de licence.

L'organisation pressentie :

travail individuel ainsi qu’en équipe au cours de réunions de travail à la journée en Île-de-France,
réunions une à deux fois par semaine avec encadrants et échanges par mattermost
échanges avec des participants du défi Liber Abaci (formalisation des mathématiques (math-comp) / mise au point de systèmes de notation / adaptation de l’environnement de développement). Les frais de déplacements seront pris en charge dans la limite du barème en vigueur.

Mission confiée

Encadrants :

encadrement local : S. Boldo (Saclay, Toccata)
développeurs de la bibliothèques et mathématiciens : F. Clément (Paris, Serena), M. Mayero (USPN-LIPN)

Pour une meilleure connaissance du sujet de recherche proposé, quelques références sont disponibles depuis
https://lipn.univ-paris13.fr/coq-num-analysis/

Principales activités

éventuellement familiarisation avec Coq selon les compétences initiales de l'ingénieur(e)

amélioration de la bibliothèque : renommage de lemmes (pour homogénéité), détection des manques de la bibliothèques et ajout de ces lemmes

création de contenus : fiches d'exercices de niveau licence, dans la lignée de cette fiche sur la divisibilité ou cette fiche sur les coefficients binomiaux.

La thématique souhaitée est la théorie de la mesure et l'intégrale de Lebesgue

éventuellement travail scientifique sur les notations et la lisibilité des théorèmes et éventuellement création de tactiques Coq (programmes permettant de démontrer automatiquement des buts apparaissant régulièrement) et simplification de la bibliothèque grâce au(x) tactique(s)

Compétences

Une connaissance d’un assistant de preuves est souhaitée. A minima, la connaissance d’un langage fonctionnel est requise, ainsi que de l’expérience en génie logiciel pour la gestion et l’amélioration de bibliothèques. Des compétences en analyse réelle (niveau bac+2) ainsi qu’une connaissance de Rocq seraient appréciées.

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

Rémunération

Rémunération selon expérience

Informations générales

Thème/Domaine : Preuves et vérification
Ingénierie logicielle (BAP E)
Ville : Orsay
Centre Inria : Centre Inria de Saclay
Date de prise de fonction souhaitée : 2026-09-01
Durée de contrat : 12 mois
Date limite pour postuler : 2026-07-30

Attention: Les candidatures doivent être déposées en ligne sur le site Inria. Le traitement des candidatures adressées par d'autres canaux n'est pas garanti.

Consignes pour postuler

Sécurité défense :
Ce poste est susceptible d’être affecté dans une zone à régime restrictif (ZRR), telle que définie dans le décret n°2011-1425 relatif à la protection du potentiel scientifique et technique de la nation (PPST). L’autorisation d’accès à une zone est délivrée par le chef d’établissement, après avis ministériel favorable, tel que défini dans l’arrêté du 03 juillet 2012, relatif à la PPST. Un avis ministériel défavorable pour un poste affecté dans une ZRR aurait pour conséquence l’annulation du recrutement.

Politique de recrutement :
Dans le cadre de sa politique diversité, tous les postes Inria sont accessibles aux personnes en situation de handicap.

Contacts

Équipe Inria : TOCCATA
Recruteur :
Boldo Sylvie / [email protected]

A propos d'Inria

Inria est l’institut national de recherche dédié aux sciences et technologies du numérique. Il emploie 2600 personnes. Ses 215 équipes-projets agiles, en général communes avec des partenaires académiques, impliquent plus de 3900 scientifiques pour relever les défis du numérique, souvent à l’interface d’autres disciplines. L’institut fait appel à de nombreux talents dans plus d’une quarantaine de métiers différents. 900 personnels d’appui à la recherche et à l’innovation contribuent à faire émerger et grandir des projets scientifiques ou entrepreneuriaux qui impactent le monde. Inria travaille avec de nombreuses entreprises et a accompagné la création de plus de 200 start-up. L'institut s'eﬀorce ainsi de répondre aux enjeux de la transformation numérique de la science, de la société et de l'économie.

Soumettre votre candidature

Affinez votre recherche

ingénieur emplois - les ulis, a8

Ingénieur(e) H/F en méthodes formelles (CDD 1 an)

Ingénieur Transformation Digitale (H/F)

Ingénieur Méthodes & Amélioration Continue confirmé (H/F)

Ingénieur en Calcul Haute Performance (H/F)

Ingénieur(e) traitement et analyse d'images satellitaires H/F

Ingénieur.e d’études en production, traitement, analyse de données et enquêtes H/F

Ingénieur Logistique H/F

Ingénieur d'études en synthèse organique (H/F)

Ingénieur-e Support technique au Flux F-H

Ingénieur-e d'études en biologie moléculaire et culture in vitro de champignons (H/F)

Apprentissage : Ingénieur Data Scientist en Détection d'Anomalies F/H

Alternance Ingénieur Transformation Digitale (H/F)

H/F Ingénieur/ Ingénieure de Recherche

Ingénieur(e) Application et Support V.I.E - Etats-Unis (Boston)

Ingénieur

Ingénieur généraliste H/F

Ingénieure / Ingénieur de recherche en Météo et Climat F/H

Ingénieure / Ingénieur Risques et Opportunités

Alternant(e) Ingénieur(e) qualité-gestion des risques (H/F)

Ingénieur(e) de Service– Chromatographie Gazeuse (GC/GCMS) – Occitanie Est

Je souhaite recevoir la dernière alerte Emploi pour les postes de ce type : ingénieur (les ulis, a8)

Related Searches

A propos du centre ou de la direction fonctionnelle

Contexte et atouts du poste

Mission confiée

Principales activités

Compétences

Avantages

Rémunération

Informations générales

Consignes pour postuler

Contacts

A propos d'Inria

Outils pour les chercheurs d'emploi

Outils Employeurs

Parcourir

Garder le contact