Principal Modeling/Simulation

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 abreast of industry trends and emerging technologies, providing insights and recommendations for the strategic growth of our research efforts.
• Actively participate in conferences, workshops, and technical forums, representing our team and sharing research findings to enhance our academic influence and industry presence.
• Collaborate closely with cross-functional teams, including product development and engineering, to ensure effective application of formal modeling and model verification techniques in product development processes.
• Utilize your business acumen and commercial experience to drive successful outcomes, align research goals with business objectives, and achieve commercial success.
• Apply formal verification techniques in automotive, EDA, and industrial software domains, leveraging your expertise and experience in these areas.

Qualifications:

Ph.D. in Computer Science, Electrical Engineering, or a related field, with a specialization in formal methods, model checking, or verification.

8 years of relevant work experience in formal modeling and model verification.

Proven business acumen, with the ability to align research goals with business objectives and drive impactful research outcomes.

Extensive research experience and a distinguished track record of contributions to the field, demonstrated through publications in top-tier conferences and journals.

Strong leadership skills with prior experience in leading research teams and driving successful research projects.

In-depth expertise in formal modeling, model verification, and related tools and methodologies.

Excellent problem-solving skills, with the ability to tackle complex research challenges and drive innovative solutions.

Outstanding communication and presentation skills, with the ability to effectively convey technical concepts to diverse audiences.

Demonstrated ability to build and maintain collaborations with academic institutions, industry partners, and research communities.

Business acumen and strategic thinking, with the ability to align research goals with business objectives and drive impactful research outcomes.

Willingness to travel globally to support project collaborations, attend conferences, and engage with partners and customers