As a Formal Verification Engineer at Condor, you will be responsible for ensuring the correctness and reliability of our world-class processor designs. Your role will involve crafting innovative solutions to verify complex design micro-architectures using cutting-edge technologies. Additionally, you will collaborate closely with design teams to enhance micro-architecture and contribute to the development of reusable and optimized verification models.