{"id":25155,"date":"2025-05-23T06:35:08","date_gmt":"2025-05-23T06:35:08","guid":{"rendered":"https:\/\/puranigaadi.com\/jobs\/?p=25155"},"modified":"2025-05-23T06:35:08","modified_gmt":"2025-05-23T06:35:08","slug":"gpu-formal-verification-engineer-id-1439","status":"publish","type":"post","link":"https:\/\/puranigaadi.com\/jobs\/gpu-formal-verification-engineer-id-1439\/","title":{"rendered":"GPU Formal Verification Engineer -id-1439"},"content":{"rendered":"<p>Are you a highly skilled engineer with a passion for formal verification? Do you have experience in GPU architecture and a strong understanding of computer architecture and design? If so, we have an exciting opportunity for you to join our team at Qualcomm as a GPU Formal Verification Engineer. In this role, you will have the opportunity to work on cutting-edge GPU designs and utilize your expertise in formal verification to help ensure the quality and reliability of our products. We are seeking a driven and detail-oriented individual who can thrive in a fast-paced environment and contribute to the advancement of our GPU technology. If this sounds like you, we encourage you to apply for this role and be a part of our dynamic team.<\/p>\n<p>&nbsp;<\/p>\n<p>Conduct formal verification of GPU designs to ensure quality and reliability of products.<\/p>\n<p>Utilize expertise in formal verification to identify and resolve potential design flaws and issues.<\/p>\n<p>Collaborate with GPU architects and designers to understand design specifications and requirements.<\/p>\n<p>Develop and maintain verification plans, test benches, and coverage models.<\/p>\n<p>Run and debug formal verification tests and analyze results to ensure design compliance.<\/p>\n<p>Participate in design reviews and provide feedback for improvement.<\/p>\n<p>Stay updated with industry trends and advancements in formal verification techniques.<\/p>\n<p>Communicate effectively with cross-functional teams to provide updates on verification progress and any potential issues.<\/p>\n<p>Maintain accurate documentation of verification processes and results.<\/p>\n<p>Continuously improve verification methodologies and processes to increase efficiency and effectiveness.<\/p>\n<p>Mentor and train junior engineers on formal verification techniques and methodologies.<\/p>\n<p>Adhere to company policies and procedures, including quality standards.<\/p>\n<p>Work in a fast-paced environment and be able to adapt to changing project priorities.<\/p>\n<p>Contribute to the overall advancement of GPU technology at Qualcomm.<\/p>\n<p>Be a proactive problem-solver and take ownership of assigned tasks.<\/p>\n<p>Where is this job?<\/p>\n<p>This job is located at San Diego, CA, USA<\/p>\n<p>&nbsp;<\/p>\n<p>Job Qualifications<\/p>\n<p>Strong Understanding Of Hardware Design And Verification Principles: A Successful Gpu Formal Verification Engineer At Qualcomm Should Possess A Deep Understanding Of Hardware Design And Verification Techniques, Including Knowledge Of Systemverilog, Uvm, And Formal Verification Tools.<\/p>\n<p>&nbsp;<\/p>\n<p>Experience With Gpu Architecture And Microarchitecture: Qualcomm Requires Its Gpu Formal Verification Engineer To Have Experience With Gpu Architecture And Microarchitecture, Including A Thorough Understanding Of Graphics Pipeline Stages, Register Sets, And Memory Subsystems.<\/p>\n<p>&nbsp;<\/p>\n<p>Proficiency In Formal Verification Methodologies: The Ideal Candidate Should Have Hands-On Experience With Formal Verification Methodologies, Such As Property-Based Verification, Model Checking, And Equivalence Checking, To Ensure Comprehensive And Efficient Verification Of Complex Gpu Designs.<\/p>\n<p>&nbsp;<\/p>\n<p>Proficiency In Scripting And Programming Languages: Qualcomm Expects Its Gpu Formal Verification Engineer To Be Proficient In Scripting Languages Like Perl, Python, And Shell Scripts, As Well As Programming Languages Like C++, To Develop Effective And Automated Verification Environments.<\/p>\n<p>&nbsp;<\/p>\n<p>Strong Analytical And Problem-Solving Skills: Gpu Formal Verification Engineers At Qualcomm Must Have Strong Analytical And Problem-Solving Skills To Identify And Resolve Complex Design Issues, As Well As To Develop New Methodologies And Techniques For Efficient And Effective Verification Of Gpu Designs.<\/p>\n<p>&nbsp;<\/p>\n<p>Required Skills<\/p>\n<p>SystemVerilog<\/p>\n<p>&nbsp;<\/p>\n<p>UVM<\/p>\n<p>&nbsp;<\/p>\n<p>Verilog\/VHDL<\/p>\n<p>&nbsp;<\/p>\n<p>FPGA Design<\/p>\n<p>&nbsp;<\/p>\n<p>Debug<\/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>Assertion-Based Verification<\/p>\n<p>&nbsp;<\/p>\n<p>Model Checking<\/p>\n<p>&nbsp;<\/p>\n<p>Coverage-Driven Verification<\/p>\n<p>&nbsp;<\/p>\n<p>Property Checking<\/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>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>Critical Thinking<\/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 highly skilled engineer with a passion for formal verification? Do you have experience in GPU architecture and a strong understanding of computer architecture and design? If so, we have an exciting opportunity for you to join our team at Qualcomm as a GPU Formal Verification Engineer. In this role, you will have &#8230; <a title=\"GPU Formal Verification Engineer -id-1439\" class=\"read-more\" href=\"https:\/\/puranigaadi.com\/jobs\/gpu-formal-verification-engineer-id-1439\/\" aria-label=\"Read more about GPU Formal Verification Engineer -id-1439\">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-25155","post","type-post","status-publish","format-standard","hentry","category-education"],"_links":{"self":[{"href":"https:\/\/puranigaadi.com\/jobs\/wp-json\/wp\/v2\/posts\/25155","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=25155"}],"version-history":[{"count":2,"href":"https:\/\/puranigaadi.com\/jobs\/wp-json\/wp\/v2\/posts\/25155\/revisions"}],"predecessor-version":[{"id":25157,"href":"https:\/\/puranigaadi.com\/jobs\/wp-json\/wp\/v2\/posts\/25155\/revisions\/25157"}],"wp:attachment":[{"href":"https:\/\/puranigaadi.com\/jobs\/wp-json\/wp\/v2\/media?parent=25155"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/puranigaadi.com\/jobs\/wp-json\/wp\/v2\/categories?post=25155"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/puranigaadi.com\/jobs\/wp-json\/wp\/v2\/tags?post=25155"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}