Formal Verification Engineer
QualitestBucharest, Romania
Posted January 30, 2026
Full Time
About the Company
Qualitest is a global leader in managed services for AI-led quality engineering solutions, helping brands adopt digital technologies like automation, AI, blockchain, and XR. With deep industry-specific expertise across sectors such as technology, finance, and healthcare, Qualitest offers customized solutions that mitigate business risks through end-to-end value demonstration, focusing on customer experience and release velocity. Recognized as a leader in multiple industry reports, the company operates globally with offices in 10 countries and provides services including software testing, QA, test automation, consulting, and outsourcing.
Job Description
We are seeking a highly skilled Formal Verification Engineer to join Google HPC project. In this role, you will be responsible for applying property checking, model checking, and assertion-based verification techniques to ensure the functional correctness and complitness of Chiplet design that contain multi processors and Highspeed I/Os.
Requirements
- Formal Verification & Property Checking
- Collaboration & Methodology
- Tools & Infrastructure
Benefits
- Competitive salary
- Benefits package
- Opportunities for professional growth