As a formal verification technical lead you'll work to identify targets and complete formal verification for single or multiple design blocks and IP’s (CPU, Cellular and Connectivity IP, Audio and Image Processing IP, Neural Networks IP, Memory/DMA Controller, Security IP, Peripheral IP, Interconnects, Power management subsystems, etc.), you will be responsible for: - Formalizing the refinement from architecture to micro-architecture.- Developing comprehensive formal verification test plan. - Crafting novel and creative solutions for verifying complex design micro-architectures. - Developing and implementing re-usable and optimized formal models and verification code base. - Architecting correct-by-construction design methodologies for improved formal verification efficiency and productivity.