Graduate - Modeling/Simulation Researchers - Grenoble/Remote

TN France; Grenoble; Hybride; EUR 60 000 - 100 000; Plein temps

Résumé du poste

Join a forward-thinking company as a Graduate Modeling/Simulation Researcher in Grenoble or remotely. You will be at the forefront of research and development, applying formal verification techniques in automotive and industrial software domains. Collaborate with cross-functional teams and shape the future of our innovative projects. This role offers the opportunity to leverage your expertise in formal modeling and model verification while contributing to cutting-edge advancements. Ideal for those with a Ph.D. and a passion for solving complex problems in a dynamic environment.

Qualifications

• Ph.D. in Computer Science or related field focused on formal methods.
• Experience in formal modeling and verification with publications.

Responsabilités

• Contribute to research and development in formal modeling.
• Apply formal verification techniques in automotive and industrial software.

Connaissances

Formal Verification Techniques

Analytical Skills

Problem-Solving Skills

Communication Skills

Programming (C, C++, Python)

Formation

Ph.D. in Computer Science

Ph.D. in Electrical Engineering

Outils

Model Checking Tools

Formal Modeling Languages

Description du poste

Social network you want to login/join with:

Graduate - Modeling/Simulation Researchers - Grenoble/Remote, Grenoble

Client: microTECH Global Ltd

Location: Grenoble, France

Job Category: Customer Service

-

EU work permit required:

Yes

Job Reference: b0ba7d2dfcc6

Job Views: 4

Posted: 29.04.2025

Expiry Date: 13.06.2025

Job Description:

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.