Graduate - Modeling/Simulation Researchers - Grenoble/Remote
As an Expert in Formal Modeling and Model Verification, you will play a key role in our team's research and development initiatives.
You will contribute to cutting-edge projects, collaborate with cross-functional teams, and help shape the direction of our research efforts.
Apply formal verification techniques in automotive, EDA, and industrial software domains, leveraging your expertise and experience in these areas.
Qualifications :
- Ph.D. degree in Computer Science, Electrical Engineering, or a related field, with a focus on formal methods, model checking, or verification.
- relevant work experience in formal modeling and model verification.
- Strong academic background with publications in reputable conferences and journals.
- Solid understanding of formal modeling languages, tools, and verification techniques.
- Proficiency in programming languages such as C, C++, or Python.
- Strong analytical and problem-solving skills, with the ability to think critically and propose innovative solutions.
- Excellent communication skills, both written and verbal, with the ability to convey complex technical concepts to both technical and non-technical stakeholders.
Graduate - Modeling/Simulation Researchers - Grenoble/Remote
As an Expert in Formal Modeling and Model Verification, you will play a key role in our team's research and development initiatives. Solid understanding of formal modeling languages, tools, and verification techniques. ...
Modélisation des transistors MOS FDSOI à température cryogénique jusqu'à 4K et en-deçà // Modeling of FDSOI MOS transistors at cryogenic temperature down to 4K and below
Currently, no satisfactory compact modeling solution is proposed in the literature, particularly for FD-SOI. Service : Service Caractérisation, Conception et Simulation. Laboratoire : Laboratoire de Simulation et Modélisation. ...
Principal SW Modeling/Simulation - Grenoble/Remote
As the Leading Expert - Formal Modeling and Model Verification, you will be responsible for providing strategic leadership and technical guidance to our team. Provide strategic leadership and technical guidance to the team, driving research and development initiatives in formal modeling and model ve...
Mandataire Immobilier (H/F) - Voiron, FR
En tant que Consultant megAgence, vous accompagnez vos clients dans la réalisation de leurs projets immobiliers.De la détection d'affaires à la signature chez le notaire vous serez leur interlocuteur unique et privilégié.Votre relationnel sera votre principal atout, car dans l'immobilier, l'humain e...
Matelot cuisinier H/F
En tant que matelot cuisinier vous participez, en mer ou à terre, à un service quotidien indispensable au bon moral de l’équipage : la préparation des repas.Le métier de matelot cuisinier est accessible dès le niveau 3ème après une formation complète et rémunérée à l’Ecole des matelots.Présentation ...
Agent Commercial Immobilier (H/F)
Qui n’a jamais rêvé de changer de vie ? De définir ses propres objectifs et son propre équilibre ? C’est possible avec iad !.Avec iad, quel que soit votre parcours, votre expérience ou votre profil, tout le monde démarre au même niveau ...
Atomicien de propulsion navale H/F
En tant qu’atomicien de propulsion navale, vous êtes expert de la conduite de réacteur nucléaire et des installations techniques associées de propulsion et de distribution d’énergie d’un navire à propulsion nucléaire (sur sous-marins ou porte-avions).Vous menez ou supervisez les opérations de mainte...
Favoriser l'accès aux dispositifs de santé et bien-être.
La mission consiste à proposer des activités culturelles et/ou de loisirs répondant aux besoins des bénéficiaires.Votre mission de Service Civique.L'objectif citoyen est de permettre aux résidents de conserver une certaine autonomie et une place dans la communauté.D'aller à la rencontre des habitant...
Agent Commercial Immobilier Indépendant (H/F)
Qui n’a jamais rêvé de changer de vie ? De définir ses propres objectifs et son propre équilibre ? C’est possible avec iad !.Avec iad, quel que soit votre parcours, votre expérience ou votre profil, tout le monde démarre au même niveau ...
Accompagner l'insertion socioprofessionnelle d'un public ...
Votre mission de Service Civique.Animer des séances d'accompagnement individuelles:apprentissage du français;savoirs de base: outils numériques, calcul, repérages dans l'espaces et le temps,mobilité,.Mettre en place et animer des ateliers collectifs:activités culturelles;préparation à l'emploi et dé...