Senior Formal Verification Engineer

As an experienced Formal Verification Engineer at NVIDIA's Central Formal team in Bangalore, you will play a crucial role in crafting and optimizing formal verification flows across CPU/GPU projects. Your responsibilities will include resolving tool issues for design teams, verifying micro-architecture using formal verification tools, and employing the latest model checking techniques. You will collaborate with architects, designers, and verification teams to ensure design correctness and obtain full or sufficient bounded proofs of the design. Key Responsibilities: - Specify, implement, and maintain an integrated end-to-end formal verification flow - Develop scripts to automate the verification process - Review formal setups and proofs with design and verification teams - Maintain and extend assertion libraries for simulation and formal verification - Develop verification environment including assumptions, assertions, and cover properties Qualifications: - Minimum 3+ years of industry experience in formal verification techniques - Proficiency in scripting - Bachelor's degree - Strong knowledge of CPU design architectures and digital logic - Hands-on experience with Verilog / System Verilog - Preferable experience with various Formal Verification Tools If additional details of the company are included in the job description, kindly provide them for a more comprehensive job description.,