Formal Verification Engineer

As a Formal Verification Engineer within the Silicon Technologies group, you will contribute to the design and manufacture of high-performance, power-efficient processors and system-on-chip architectures. You will perform complete formal verification for various design blocks and IPs, including CPU, Cellular, Connectivity, Audio, Image Processing, Neural Networks, Memory/DMA Controllers, Security IP, Interconnects, and Power management subsystems. Your daily responsibilities involve developing micro-architecture specifications with security engineers, creating comprehensive test plans for unique security requirements, proving properties of the design, and finding bugs to improve micro-architecture. You will build reusable formal models, develop verification code bases, and architect correct-by-construction methodologies. The role requires proficiency in scripting languages, debugging skills, and knowledge of hardware specifications while utilizing formal method technologies to model security attacks and ensure the robustness of complex designs.