Senior Expert - Formal Modeling/Verification - Grenbole
Location
Grenoble, Auverge-Rhône-Alpes
Job Type
Permanent
Category
Computer Occupations
Posted
May 31, 2026
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 re...
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 re...