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