- Accueil France Travail
- Emploi
- Informatique et télécoms
- Expert cybersécurité
- Isère
- Grenoble
- Détail de l'offre 5208789
- Accueil France Travail
- Emploi
- Informatique et télécoms
- Expert cybersécurité
- Isère
- Grenoble
- Détail de l'offre 5208789
Ingénieur Principal / Expert en Méthodes Formelles F/H - Système, réseaux, données (H/F) 38 - GRENOBLE
Offre n° 5208789
Ingénieur Principal / Expert en Méthodes Formelles F/H - Système, réseaux, données (H/F)
38 - GRENOBLE - Localiser avec Mappy
Publié le 03 octobre 2024
Descriptif du poste: Adoc Talent Management recherche 2 Expert.es en Méthodes Formelles pour un grand groupe mondial ayant un fort leadership dans le domaine des télécommunications. Son centre de recherche européen crée de nouveaux blocs technologiques propriétaires intégrés dans les produits TIC de l'entreprise. Vous rejoindrez une équipe de recherche de premier plan axée sur l'avancement des méthodes de vérification formelle tant dans la conception de circuits intégrés que dans la vérification au niveau système. C'est une opportunité unique d'être à la pointe des travaux de recherche en vérification formelle. Poste : Nous recherchons deux ingénieur.es expérimenté.es pour des postes à Paris ou Grenoble. Les candidats idéaux auront une expertise approfondie en méthodes formelles et leur application dans deux domaines clés : (1) la conception et la vérification de circuits intégrés, y compris le développement d'outils EDA, et (2) la conception, la modélisation et la vérification de systèmes. Pour l'équipe de Paris, c'est une opportunité passionnante de jouer un rôle clé dans la création d'une nouvelle équipe, et nous recherchons des candidats avec un bagage particulièrement solide pour relever ce défi. Responsabilités clés : Diriger le développement et l'application de techniques de vérification formelle pour la conception de circuits intégrés et les outils EDA, ainsi que pour la conception et la vérification de systèmes. Collaborer avec des équipes interdisciplinaires pour intégrer les méthodes formelles dans les processus de conception au niveau des circuits et des systèmes. Rechercher et mettre en œuvre des solutions innovantes de vérification formelle pour améliorer l'efficacité, la précision et l'évolutivité. Fournir un leadership technique, encadrer les ingénieurs juniors et piloter le développement stratégique des outils et méthodes de vérification formelle. Pour les postes basés à Paris, jouer un rôle de leader dans l'établissement et la croissance de l'équipe locale. Les postes peuvent être situés à Paris ou à Grenoble, selon les préférences du candidat. Un salaire compétitif est proposé, avec de bonnes perspectives de carrière en France et à l'étranger. Profil recherché: Vous êtes titulaire d'un doctorat en informatique, méthodes formelles ou dans un domaine connexe, avec une expérience en R&D allant de junior à senior. Une expérience industrielle serait un atout important. Vous démontrez une vaste expérience en vérification formelle, avec une expertise pratique en conception et vérification de circuits intégrés (y compris les outils EDA) et en conception, modélisation et vérification de systèmes. Vous avez une maîtrise des langages de description matérielle (HDL), de la modélisation et de la vérification de systèmes, ainsi qu'une connaissance avancée des méthodes formelles, telles que la vérification de modèle, la synthèse logique et l'exécution symbolique. En termes de compétences interpersonnelles, vous possédez d'excellentes compétences en leadership et en résolution de problèmes, avec un esprit collaboratif. Si vous souhaitez travailler sur des projets révolutionnaires ayant un impact à la fois sur la conception de circuits intégrés et sur la vérification de systèmes et collaborer avec des experts de premier plan dans les méthodes et applications de vérification formelle, veuillez envoyer votre candidature (CV, publications et brevets, motivations, attentes salariales) à Adoc Talent Management dès que possible.
- Type de contrat
-
Contrat à durée indéterminée
Contrat travail - Salaire
- Salaire brut : 54 - 97 k€ brut annuel
Profil souhaité
Expérience
- Expérience exigée de 3 An(s)Cette expérience est indispensable
Informations complémentaires
- Qualification : Cadre
- Secteur d'activité : Conseil pour les affaires et autres conseils de gestion
Entreprise
ADOC TALENT MANAGEMENT
Adoc Talent Management recherche 2 Expert.es en Méthodes Formelles pour un grand groupe mondial ayant un fort leadership dans le domaine des télécommunications. Son centre de recherche européen crée de nouveaux blocs technologiques propriétaires intégrés dans les produits TIC de l'entreprise. Vous rejoindrez une équipe de recherche de premier plan axée sur l'avancement des méthodes de vérification formelle tant dans la conception de circuits intégrés que dans la vérification...
D'autres offres peuvent vous intéresser :
- (déjà vu)
(H/F)Ingénieur infrastructure système / Exploitation
LYNX RH SERVICES - 38 - Montbonnot-Saint-Martin
Vos missions: Mise en oeuvre des outils d'exploitations sur les parcs clients Amélioration et évolutions des outils d'exploitations Contrôle de la conformité des opérations Cartographie du SI Gestion...
CDI - Temps plein
Publié hier
CDI
Temps plein - (déjà vu)
Ingénieur V&V F/H - Informatique de gestion (H/F)
Segula Technologies - 38 - GRENOBLE
Descriptif du poste: L'équipe SEGULA Technologies de Meylan recherche un ingénieur système V&V (H/F), vous interviendrez sur le développement et déploiement d'un nouveau logiciel. VOS PRINCIPALES...
CDI - Non renseigné
Publié il y a 15 jours
CDI
Non renseigné - (déjà vu)
Architecte Technique F/H - Système, réseaux, données (H/F)
KODERS - 38 - GRENOBLE
Descriptif du poste: Mots clés: SLD (Single Line Diagrams), VLM (Vision Language Model), XLM, Grenoble. Koders cherche un Architecte Technique (H/F) pour son client dans le domaine...
CDI - Non renseigné
Publié il y a 2 jours
CDI
Non renseigné - (déjà vu)
Ingénieur Système d'Information F/H - Informatique de gestion (H/F)
CA DU PAYS VOIRONNAIS - 38 - VOIRON
Descriptif du poste: Sous l'autorité du directeur d'adjoint, le Chef de projets système d'information sera en charge de développer et de piloter le système d'information de la Direction Cycle de...
CDD - Non renseigné
Publié il y a 16 jours
CDD
Non renseigné - (déjà vu)
Pentester H/F
Expleo - 38 - GRENOBLE
POSTE : Pentester H/F DESCRIPTION : En savoir plus : Soyez vous-même. Devenez qui vous voulez. Acteur mondial de l'ingénierie, de la technologie et du conseil, Expleo accompagne des entreprises...
CDI - Non renseigné
Publié il y a 10 jours
CDI
Non renseigné - (déjà vu)
Ingénieur Système Applicatif Senior H/F
Atos - 38 - GRENOBLE
POSTE : Ingénieur Système Applicatif Senior H/F DESCRIPTION : Qui nous sommes. Nous sommes une équipe d'experts passionnés avec une ambition claire : utiliser le numérique pour faire avancer ce qui...
CDI - Non renseigné
Publié il y a 17 jours
CDI
Non renseigné - (déjà vu)
Chef de projet système et réseaux F/H - Système, réseaux, données (H/F)
Université Grenoble Alpes - 38 - GIERES
Descriptif du poste: Vous travaillerez en binôme sur l'infrastructure réseau au sein du STRESY. Activités * Configurer et diagnostiquer les pannes sur des équipements de réseaux Cisco, Juniper,...
CDD - Non renseigné
Publié il y a 16 jours
CDD
Non renseigné - (déjà vu)
Ingénieur système multiphysique au niveau des cartes/gestion des câbles F/H - Conception, recherche (H/F)
ADOC TALENT MANAGEMENT - 38 - GRENOBLE
Descriptif du poste: En tant qu'Ingénieur système multiphysique au niveau des cartes/gestion des câbles (H/F), vous travaillerez avec une équipe enthousiaste d'ingénieurs matériels pour résoudre des...
CDI - Non renseigné
Publié il y a 10 jours
CDI
Non renseigné - (déjà vu)
Ingénieur IT (H/F)
38 - MEYLAN
Description du poste : CRIT recrute pour un de ses clients basé à Meylan, spécialisé dans le développement des produits et des services novateurs dans les domaines médicaux, un Technicien IT H/F. Les...
Intérim - Non renseigné
Publié hier
Intérim
Non renseigné - (déjà vu)
Cheffe / Chef de Projet Infrastructure - Grenoble F/H - Système, réseaux, données (H/F)
Capgemini Service - 38 - GRENOBLE
Descriptif du poste: Choisir Capgemini, c'est choisir une entreprise où vous serez en mesure de façonner votre carrière selon vos aspirations. Vous serez soutenu et accompagné au sein d'une...
CDI - Non renseigné
Publié il y a 4 jours
CDI
Non renseigné
Découvrez d'autres services web
Réussir son CV et sa lettre de motivation
Suscitez l’intérêt du recruteur et donnez-lui envie de vous rencontrer.
B.A.BA Entretien
Apprenez à préparer votre prochain entretien.
Informations sur le marché du travail
Accédez aux informations et statistiques sur ce métier.
Simulateurs d'aides et allocations en cas de reprise d'emploi
Estimez vos futures ressources financières sur les 6 prochains mois.
- Voir plus de services (Emploi store)