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.