Principal SW Modeling/Simulation

il y a 7 jours

Grenoble, France microTECH Global Ltd Temps plein

As the Leading Expert - Formal Modeling and Model Verification, you will be responsible for providing strategic leadership and technical guidance to our team. You will shape the direction of our research and development efforts, drive innovation, and lead collaborations with external partners and research communities. Key Responsibilities: Provide strategic leadership and technical guidance to the team, driving research and development initiatives in formal modeling and model verification. Lead and contribute to cutting-edge research projects, pushing the boundaries of formal methods and making significant advancements in the field. Foster a culture of excellence, collaboration, and continuous learning within the team, mentoring and guiding researchers and engineers. Drive collaborations with academic institutions, industry partners, and research communities to stay at the forefront of advancements in formal methods and model verification. Stay abreast of industry trends and emerging technologies, providing insights and recommendations for the strategic growth of our research efforts. Actively participate in conferences, workshops, and technical forums, representing our team and sharing research findings to enhance our academic influence and industry presence. Collaborate closely with cross-functional teams, including product development and engineering, to ensure effective application of formal modeling and model verification techniques in product development processes. Utilize your business acumen and commercial experience to drive successful outcomes, align research goals with business objectives, and achieve commercial success. Apply formal verification techniques in automotive, EDA, and industrial software domains, leveraging your expertise and experience in these areas. Qualifications: Ph.D. in Computer Science, Electrical Engineering, or a related field, with a specialization in formal methods, model checking, or verification. 8 years of relevant work experience in formal modeling and model verification. Proven business acumen, with the ability to align research goals with business objectives and drive impactful research outcomes. Extensive research experience and a distinguished track record of contributions to the field, demonstrated through publications in top-tier conferences and journals. Strong leadership skills with prior experience in leading research teams and driving successful research projects. In-depth expertise in formal modeling, model verification, and related tools and methodologies. Excellent problem-solving skills, with the ability to tackle complex research challenges and drive innovative solutions. Outstanding communication and presentation skills, with the ability to effectively convey technical concepts to diverse audiences. Demonstrated ability to build and maintain collaborations with academic institutions, industry partners, and research communities. Business acumen and strategic thinking, with the ability to align research goals with business objectives and drive impactful research outcomes. Willingness to travel globally to support project collaborations, attend conferences, and engage with partners and customers.

  • Mechanical Engineer

    il y a 7 jours

    Grenoble, France ILL Temps plein

    **Mechanical Engineer - Modelling & Simulation** **Context** The Institut Laue-Langevin (ILL), situated in Grenoble, France, and founded by France, Germany and the United Kingdom, is Europe's leading research facility for fundamental research using neutrons. The ILL operates the brightest neutron source in the world, reliably delivering intense neutron...

  • Mechanical Engineer

    il y a 7 jours

    Grenoble, France ILL Temps plein

    **Context** The Institut Laue-Langevin (ILL), situated in Grenoble, France, and founded by France, Germany and the United Kingdom, is Europe's leading research facility for fundamental research using neutrons. The ILL operates the brightest neutron source in the world, reliably delivering intense neutron beams to 43 unique scientific instruments. - As part...

  • Thermal Modelling Engineer

    il y a 1 semaine

    Grenoble, France Verkor Temps plein

    **Responsibilities**: - Develop (electro-)thermal models for Li-ion battery cells, module assemblies, battery packs and their components - Develop computational fluid dynamics (CFD) models for cell/module/pack cooling systems and safety events including thermal runaway and propagation, and couple with thermal electro-thermal models when needed - Run...

  • Aging Modelling Engineer

    il y a 3 jours

    Grenoble, France Verkor Temps plein

    Grenoble, Auvergne-Rhône-Alpes Product Design Engineering CDI / Permanent position **Description of the role**: - Develop physics-based mathematical models for Li-ion battery cell degradation (SEI growth, CEI, particle/electrode cracking,...) - Implement models in COMSOL, 3D Experience and other available tools and perform life estimation studies under...

  • Graduate - Modeling/Simulation Researchers - Grenoble/Remote

    il y a 7 jours

    Grenoble, France microTECH Global Ltd Temps plein

    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...

  • Modélisation et caractérisation des transistors CFET pour l’amélioration des performances électriques

    il y a 7 jours

    Grenoble, France CEA Université Grenoble Alpes Laboratoire de Simulation et Modélisation Temps plein

    Topic description Les transistors CFET (Complementary Field Effect Transistors) représentent une nouvelle génération de dispositifs CMOS empilés verticalement, offrant un fort potentiel pour poursuivre la miniaturisation des circuits intégrés et répondre aux exigences du calcul haute performance. L’objectif de cette thèse est d’étudier et...

  • Amélioration de la compréhension de l'origine du bruit dans les dispositifs quantiques

    il y a 2 semaines

    Grenoble, France CEA Laboratoire de Simulation et Modélisation Temps plein

    Topic description Grâce à de solides collaborations entre les équipes de plusieurs instituts de recherche et les infrastructures de salle blanche du CEA-LETI, Grenoble a été un pionnier dans le développement de dispositifs à qubits de spin en tant que plateforme pour l’informatique quantique. La durée de vie de ces qubits de spin est très sensible...

  • Alternance - Développement de Simulateurs de

    il y a 3 jours

    Grenoble, France CORYS Temps plein

    **CORYS** Filiale simulation du groupe FRAMATOME, **CORYS **est un acteur de référence mondial dans la simulation dynamique pour la formation et l’ingénierie des systèmes complexes sur les marchés de la production d’énergie nucléaire, des industries de procédés et du transport ferroviaire. **CORYS **propose des solutions innovantes et de haute...

  • Principal Engineer – High-Speed SerDes SystemArchitect

    il y a 1 semaine

    Grenoble, France Wibit Temps plein

    We are looking for a Principal Engineer – High-Speed SerDes System Architect to lead next-gen high-speed wireline electrical communication research . Join our High-Speed High-Frequency team within the Board Engineering Lab at our Grenoble Research Center , collaborating closely with HQ technical teams in China to develop 112 Gbit / s+ SerDes systems . 📍...

  • CDD Ingénieur en simulations multiphysiques

    il y a 5 jours

    Grenoble, Auvergne-Rhône-Alpes, France CEA Temps plein

    Informations générales Entité de rattachement Le CEA est un acteur majeur de la recherche, au service des citoyens, de l'économie et de l'Etat.Il apporte des solutions concrètes à leurs besoins dans quatre domaines principaux : transition énergétique, transition numérique, technologies pour la médecine du futur, défense et sécurité sur un...