As the Leading Expert - Formal Modeling and Model Verification, you will be responsible for providing strategic leadership and technical guidance to our team. You will shape the direction of our research and development efforts, drive innovation, and lead collaborations with external partners and research communities.

Key Responsibilities:
Provide strategic leadership and technical guidance to the team, driving research and development initiatives in formal modeling and model verification.
Lead and contribute to cutting-edge research projects, pushing the boundaries of formal methods and making significant advancements in the field.
Foster a culture of excellence, collaboration, and continuous learning within the team, mentoring and guiding researchers and engineers.
Drive collaborations with academic institutions, industry partners, and research communities to stay at the forefront of advancements in formal methods and model verification.
Stay abrea...