microTECH Global Ltd
- Location:
- (G1) France
- Salary:
- market rate
- Type:
- Permanent
- Main Industry:
- Search Engineering Jobs
- Advertiser:
- microTECH Global Ltd
- Job ID:
- 130396160
- Posted On:
- 30 April 2024
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.
To help us track our recruitment effort, please indicate in your email/cover letter where (vacanciesin.eu) you saw this job posting.