{"id":25250,"date":"2025-05-23T08:19:40","date_gmt":"2025-05-23T08:19:40","guid":{"rendered":"https:\/\/puranigaadi.com\/jobs\/?p=25250"},"modified":"2025-05-23T08:19:40","modified_gmt":"2025-05-23T08:19:40","slug":"gpu-formal-verification-engineer-id-1475","status":"publish","type":"post","link":"https:\/\/puranigaadi.com\/jobs\/gpu-formal-verification-engineer-id-1475\/","title":{"rendered":"GPU Formal Verification Engineer -id-1475"},"content":{"rendered":"<p>Are you a talented and driven engineer looking to make a significant impact in the world of hardware design? Are you passionate about ensuring the quality and reliability of cutting-edge technology? If so, Qualcomm has an exciting opportunity for you as a GPU Formal Verification Engineer. In this role, you will play a crucial role in verifying the correctness of complex graphics processing units, ensuring they meet the highest standards of quality and performance. We are seeking a highly skilled and motivated individual with a strong background in formal verification and a passion for pushing the boundaries of what is possible in the world of hardware design. If you are ready to take on new challenges and be a part of a dynamic and innovative team, we encourage you to apply now.<\/p>\n<p>&nbsp;<\/p>\n<p>Conduct formal verification of complex graphics processing units to ensure correctness and compliance with industry standards.<\/p>\n<p>Collaborate with cross-functional teams to define and execute verification strategies.<\/p>\n<p>Develop and maintain formal verification test plans, environments, and methodologies.<\/p>\n<p>Identify and report bugs and work with design teams to resolve them.<\/p>\n<p>Utilize industry standard tools and techniques to ensure the highest quality and reliability of hardware designs.<\/p>\n<p>Stay up-to-date with emerging trends and advancements in formal verification techniques.<\/p>\n<p>Analyze and troubleshoot complex verification issues.<\/p>\n<p>Participate in design reviews and provide input on design improvements.<\/p>\n<p>Communicate effectively with team members and management on project status and progress.<\/p>\n<p>Meet project deadlines and deliver high-quality results.<\/p>\n<p>Continuously assess and improve verification processes and methodologies.<\/p>\n<p>Mentor and provide technical guidance to junior team members.<\/p>\n<p>Contribute to the development and implementation of new verification tools and methodologies.<\/p>\n<p>Ensure compliance with company and industry standards for quality and performance.<\/p>\n<p>Maintain accurate documentation of verification activities and results.<\/p>\n<p>Where is this job?<\/p>\n<p>This job is located at Bengaluru, Karnataka, India<\/p>\n<p>&nbsp;<\/p>\n<p>Job Qualifications<\/p>\n<p>Bachelor&#8217;s Or Master&#8217;s Degree In Electrical Engineering, Computer Science, Or A Related Field.<\/p>\n<p>&nbsp;<\/p>\n<p>Strong Understanding Of Computer Architecture And Microprocessor Design.<\/p>\n<p>&nbsp;<\/p>\n<p>Experience With Formal Verification Tools And Methodologies, Such As Cadence Jaspergold Or Synopsys Vc Formal.<\/p>\n<p>&nbsp;<\/p>\n<p>Knowledge Of Industry Standards And Protocols, Such As Pcie, Opencl, And Opengl.<\/p>\n<p>&nbsp;<\/p>\n<p>Ability To Write Efficient And Maintainable Code In Languages Such As Systemverilog, Verilog, Or C++.<\/p>\n<p>&nbsp;<\/p>\n<p>Required Skills<\/p>\n<p>Low Power Design<\/p>\n<p>&nbsp;<\/p>\n<p>SystemVerilog<\/p>\n<p>&nbsp;<\/p>\n<p>Coverage Analysis<\/p>\n<p>&nbsp;<\/p>\n<p>Logic Design<\/p>\n<p>&nbsp;<\/p>\n<p>Formal Verification<\/p>\n<p>&nbsp;<\/p>\n<p>Rtl Coding<\/p>\n<p>&nbsp;<\/p>\n<p>Assertions<\/p>\n<p>&nbsp;<\/p>\n<p>Uvm Methodology<\/p>\n<p>&nbsp;<\/p>\n<p>Property Checking<\/p>\n<p>&nbsp;<\/p>\n<p>Gate-Level Simulations<\/p>\n<p>&nbsp;<\/p>\n<p>Clock Domain Crossings<\/p>\n<p>&nbsp;<\/p>\n<p>Soft Skills<\/p>\n<p>Communication<\/p>\n<p>&nbsp;<\/p>\n<p>Conflict Resolution<\/p>\n<p>&nbsp;<\/p>\n<p>Customer Service<\/p>\n<p>&nbsp;<\/p>\n<p>Emotional Intelligence<\/p>\n<p>&nbsp;<\/p>\n<p>Leadership<\/p>\n<p>&nbsp;<\/p>\n<p>Time Management<\/p>\n<p>&nbsp;<\/p>\n<p>Creativity<\/p>\n<p>&nbsp;<\/p>\n<p>Teamwork<\/p>\n<p>&nbsp;<\/p>\n<p>Adaptability<\/p>\n<p>&nbsp;<\/p>\n<p>Problem-Solving<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Are you a talented and driven engineer looking to make a significant impact in the world of hardware design? Are you passionate about ensuring the quality and reliability of cutting-edge technology? If so, Qualcomm has an exciting opportunity for you as a GPU Formal Verification Engineer. In this role, you will play a crucial role &#8230; <a title=\"GPU Formal Verification Engineer -id-1475\" class=\"read-more\" href=\"https:\/\/puranigaadi.com\/jobs\/gpu-formal-verification-engineer-id-1475\/\" aria-label=\"Read more about GPU Formal Verification Engineer -id-1475\">Read more<\/a><\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-25250","post","type-post","status-publish","format-standard","hentry","category-education"],"_links":{"self":[{"href":"https:\/\/puranigaadi.com\/jobs\/wp-json\/wp\/v2\/posts\/25250","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/puranigaadi.com\/jobs\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/puranigaadi.com\/jobs\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/puranigaadi.com\/jobs\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/puranigaadi.com\/jobs\/wp-json\/wp\/v2\/comments?post=25250"}],"version-history":[{"count":1,"href":"https:\/\/puranigaadi.com\/jobs\/wp-json\/wp\/v2\/posts\/25250\/revisions"}],"predecessor-version":[{"id":25251,"href":"https:\/\/puranigaadi.com\/jobs\/wp-json\/wp\/v2\/posts\/25250\/revisions\/25251"}],"wp:attachment":[{"href":"https:\/\/puranigaadi.com\/jobs\/wp-json\/wp\/v2\/media?parent=25250"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/puranigaadi.com\/jobs\/wp-json\/wp\/v2\/categories?post=25250"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/puranigaadi.com\/jobs\/wp-json\/wp\/v2\/tags?post=25250"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}