Senior Expert

il y a 2 semaines

Grenoble, France microTECH Global Ltd Temps plein

We are a dynamic and innovative team dedicated to advancing the field of formal modeling and model verification. Our team is passionate about pushing the boundaries of formal methods and making significant contributions to the industry. We are seeking an experienced Expert to join our team and contribute to our research and development efforts. 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. Key Responsibilities: • Expertise in formal modeling and model verification techniques such as model checking, theorem proving, and SAT/SMT solvers. • Proficient in formal modeling tools and languages, such as TLA+, Alloy, or Event-B. • Strong understanding of mathematical logic, automata theory, and formal reasoning techniques. • Conduct research in the field of formal modeling and model verification, focusing on developing innovative methodologies and techniques. • Collaborate with cross-functional teams to integrate formal methods into the development process and ensure the reliability and correctness of products. • Stay up-to-date with the latest advancements in formal methods and model verification, and apply relevant techniques to solve complex problems. • Publish research findings in reputable conferences and journals to enhance our team's academic influence. • Mentor and guide junior team members, sharing your expertise and helping them grow their skills in formal modeling and model verification. • 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. • 8 years of 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. • Proven ability to work effectively in a team environment, collaborating with researchers, engineers, and other stakeholders. • Business acumen and the ability to align research goals with business objectives.

  • Auditeur Senior

    il y a 2 semaines

    Grenoble, France Peakh Temps plein

    Notre client est un cabinet d’expertise comptable et de Commissariat aux Comptes à Grenoble. Il possède de beaux mandats et il est proche à la fois de ses clients et de ses collaborateurs. Dans le cadre de sa croissance, il recherche un auditeur senior. Rattaché à l’Expert-Comptable ou à un Chef de mission, vous intervenez sur des mandats variés...

  • Conseiller Expert en Assurance

    il y a 2 jours

    Grenoble, France Assentis Temps plein

    Conseiller-Expert indépendant, affilié au réseau de courtage ASSENTIS, votre mission consiste à - dispenser du conseil et à équiper vos futurs clients en matière d’assurances: - Assurance de personnes : emprunteur, prévoyance (TNS et particulier), santé (TNS, particulier senior) - Assurances de biens : Auro, moto, bateau, MRH, MRI, - Assurances...

  • Senior Design Verification Engineer

    il y a 4 jours

    Grenoble, France IC Resources Temps plein

    Principal Recruitment Consultant at IC Resources - Semiconductor Engineering division Are you looking for the next step in your career in UVM Verification? Would you like to learn from skilled experts in a friendly and growing environment with exciting projects? If the answer is yes, then this may be the perfect opportunity for you! I have a key requirement...

  • Senior UVM Verification Engineer

    il y a 2 semaines

    Grenoble, France ic resources Temps plein

    Are you looking for the next step in your career in UVM Verification? Would you like to learn from skilled experts in a friendly and growing environment with exciting projects? If the answer is yes, then this may be the perfect opportunity for you! I have a key requirement for an experienced/senior Verification Engineer - to work for an established company...

  • Auditeur Senior

    il y a 2 semaines

    Grenoble, France Peakh Temps plein

    Descriptif du poste Notre client est un cabinet d’expertise comptable et de Commissariat aux Comptes à Grenoble. Il possède de beaux mandats et il est proche à la fois de ses clients et de ses collaborateurs. Dans le cadre de sa croissance, il recherche un auditeur senior. Rattaché à l’Expert-Comptable ou à un Chef de mission, vous intervenez sur...

  • Senior Web Engineer

    il y a 4 jours

    Grenoble, France Canonical Temps plein

    Join or sign in to find your next jobJoin to apply for the Senior Web Engineer role at Canonical3 days ago Be among the first 25 applicantsJoin to apply for the Senior Web Engineer role at CanonicalCanonical is a leading provider of open-source software and operating systems to the global enterprise and technology markets. Our platform, Ubuntu, is very...

  • Senior Software Engineer

    il y a 4 jours

    Grenoble, France Canonical Temps plein

    Senior Software Engineer - Digital WorkplaceJoin or sign in to find your next jobJoin to apply for the Senior Software Engineer - Digital Workplace role at CanonicalSenior Software Engineer - Digital Workplace3 days ago Be among the first 25 applicantsJoin to apply for the Senior Software Engineer - Digital Workplace role at CanonicalCanonical is a leading...

  • Senior/Staff/Principal Engineer

    il y a 4 jours

    Grenoble, France Canonical Temps plein

    Join or sign in to find your next jobJoin to apply for the Senior/Staff/Principal Engineer role at Canonical3 days ago Be among the first 25 applicantsJoin to apply for the Senior/Staff/Principal Engineer role at CanonicalCanonical is a leading provider of open source software and operating systems to the global enterprise and technology markets. Our...

  • Conseiller(ère) Senior en Voyage Sur Mesure

    il y a 2 semaines

    Grenoble, France ESPRIT LIBRE VOYAGES SUR MESURE Temps plein

    **Votre mission** En tant que **conseiller(ère) senior**, vous serez un pilier de notre équipe, garant(e) de la satisfaction de nos clients et de la qualité de chaque voyage conçu. Vos missions principales: - Accueillir, écouter et comprendre les attentes des clients (en agence, par téléphone ou par mail) - Créer des itinéraires hautement...

  • Analytics and pricing expert

    il y a 5 jours

    Grenoble, France Alan Temps plein

    OverviewAnalytics and pricing expert - Insurance at Alan. Join or sign in to apply for the Analytics and pricing expert - Insurance role at Alan.Your rolePartner with sales teams to price and develop compelling proposals for very large corporate clients and public institutionsServe as a trusted technical advisor in client meetings, delivering expert insights...