Resume and JobRESUME AND JOB
Qualcomm logo

Formal Verification Engineer, Senior Staff - Greece

Qualcomm

Engineering Jobs

Formal Verification Engineer, Senior Staff - Greece

full-timePosted: Jun 3, 2025

Job Description

Company:Qualcomm Europe, Inc., Greek Branch OfficeJob Area:Engineering Group, Engineering Group > ASICS EngineeringGeneral Summary:Job DescriptionAs a leading technology innovator, Qualcomm pushes the boundaries of what's possible to enable next-generation experiences and drives digital transformation to help create a smarter, connected future for all. As a Qualcomm GPU ASIC Engineer, you may architect, design, implement, verify, and/or optimize the performance and power of GPU cores. Qualcomm Engineers collaborate with cross-functional teams to meet and exceed customer needs.Minimum QualificationsVerification skills: Formal verification (Static) and Dynamic (simulations)Formal tools – Jasper, VC-formal, OneSpin, QuestaFormalSystem Verilog/SVA, Verilog or VHDL, Scripting skillsPreferred Qualifications:Knowledge of abstractions, constraints, equivalence checking etcApps in formal tools (Low power, X-prop, Conectivity checking etc)Design debug, Deep bug huntingDesign knowledge of CPU, GPU, Bus/Noc/Interconnect, Memory Controllers, CachesPrincipal Duties and Responsibilities: Deploying Industry-Leading Verification MethodologiesTest plan development based on Design documents and interaction with design/systems engineersWriting and debugging SystemVerilog assertionsAnalyzing coverage data and working with Design teams to address coverage holesDevelop/augment framework for running regressionsRunning/Debugging Power aware simulationsDebugging regression failures with design/Systems teamsSupport integration of design in higher-level subsystem including test planning, test vector delivery, and debug of test vectors at the integration levelPython/Perl automation for improving workflows and team efficiencyParticipate in project reviewsLevel of Responsibility:Provides supervision/guidance to other team members.Decision-making is significant in nature and affects work beyond immediate work group.Tasks do not have defined steps; planning, problem-solving, and prioritization must occur to complete the tasks effectively.Requires verbal and written communication skills to convey complex information.Has influence over key organizational decisions (e.g., is consulted by senior leadership to make key decisions).Minimum Qualifications:• Bachelor's degree in Science, Engineering, or related field and 6+ years of ASIC design, verification, validation, integration, or related work experience. ORMaster's degree in Science, Engineering, or related field and 5+ years of ASIC design, verification, validation, integration, or related work experience. ORPhD in Science, Engineering, or related field and 4+ years of ASIC design, verification, validation, integration, or related work experience.*References to a particular number of years experience are for indicative purposes only. Applications from candidates with equivalent experience will be considered, provided that the candidate can demonstrate an ability to fulfill the principal duties of the role and possesses the required competencies.Qualcomm is an equal opportunity employer. If you are an individual with a disability and need an accommodation during the application/hiring process, rest assured that Qualcomm is committed to providing an accessible process. You may e-mail disability-accomodations@qualcomm.com or call Qualcomm's toll-free number found here. Upon request, Qualcomm will provide reasonable accommodations to support individuals with disabilities to be able participate in the hiring process. Qualcomm is also committed to making our workplace accessible for individuals with disabilities. (Keep in mind that this email address is used to provide reasonable accommodations for individuals with disabilities. We will not respond here to requests for updates on applications or resume inquiries).Qualcomm expects its employees to abide by all applicable policies and procedures, including but not limited to security and other requirements regarding protection of Company confidential information and other confidential and/or proprietary information, to the extent those requirements are permissible under applicable law.To all Staffing and Recruiting Agencies: Our Careers Site is only for individuals seeking a job at Qualcomm. Staffing and recruiting agencies and individuals being represented by an agency are not authorized to use this site or to submit profiles, applications or resumes, and any such submissions will be considered unsolicited. Qualcomm does not accept unsolicited resumes or applications from agencies. Please do not forward resumes to our jobs alias, Qualcomm employees or any other company location. Qualcomm is not responsible for any fees related to unsolicited resumes/applications.If you would like more information about this role, please contact Qualcomm Careers.

Locations

  • Chalandri, Greece
  • Athens, Greece
  • Patra, Greece
  • (Remote)

Salary

Estimated Salary Rangemedium confidence

45,000,000 - 90,000,000 INR / yearly

Source: ai estimated

* This is an estimated range based on market data and may vary based on experience and qualifications.

Skills Required

  • Formal Verification (Static)intermediate
  • Dynamic Verification (Simulations)intermediate
  • Jasperintermediate
  • VC-formalintermediate
  • OneSpinintermediate
  • Questaintermediate
  • SystemVerilogintermediate
  • SVAintermediate
  • Verilogintermediate
  • VHDLintermediate
  • Scriptingintermediate
  • Abstractionsintermediate
  • Constraintsintermediate
  • Equivalence Checkingintermediate
  • Low Power Verificationintermediate
  • X-propintermediate
  • Connectivity Checkingintermediate
  • Design Debugintermediate
  • Bug Huntingintermediate
  • CPU Design Knowledgeintermediate
  • GPU Design Knowledgeintermediate
  • Bus/NoC/Interconnect Designintermediate
  • Memory Controllers Designintermediate
  • Caches Designintermediate
  • Test Plan Developmentintermediate
  • SystemVerilog Assertionsintermediate
  • Coverage Analysisintermediate
  • Regression Framework Developmentintermediate
  • Power Aware Simulationsintermediate
  • Regression Debuggingintermediate
  • Test Vector Deliveryintermediate
  • Pythonintermediate
  • Perlintermediate
  • Automationintermediate
  • Project Reviewsintermediate
  • Supervisionintermediate
  • Guidanceintermediate
  • Problem-Solvingintermediate
  • Prioritizationintermediate

Target Your Resume for "Formal Verification Engineer, Senior Staff - Greece" , Qualcomm

Get personalized recommendations to optimize your resume specifically for Formal Verification Engineer, Senior Staff - Greece. Takes only 15 seconds!

AI-powered keyword optimization
Skills matching & gap analysis
Experience alignment suggestions

Check Your ATS Score for "Formal Verification Engineer, Senior Staff - Greece" , Qualcomm

Find out how well your resume matches this job's requirements. Get comprehensive analysis including ATS compatibility, keyword matching, skill gaps, and personalized recommendations.

ATS compatibility check
Keyword optimization analysis
Skill matching & gap identification
Format & readability score

Tags & Categories

ASICS Engineering30398 QCT Graphics GDEV DV GreeceASICS Engineering

Answer 10 quick questions to check your fit for Formal Verification Engineer, Senior Staff - Greece @ Qualcomm.

Quiz Challenge
10 Questions
~2 Minutes
Instant Score

Related Books and Jobs

No related jobs found at the moment.

Qualcomm logo

Formal Verification Engineer, Senior Staff - Greece

Qualcomm

Engineering Jobs

Formal Verification Engineer, Senior Staff - Greece

full-timePosted: Jun 3, 2025

Job Description

Company:Qualcomm Europe, Inc., Greek Branch OfficeJob Area:Engineering Group, Engineering Group > ASICS EngineeringGeneral Summary:Job DescriptionAs a leading technology innovator, Qualcomm pushes the boundaries of what's possible to enable next-generation experiences and drives digital transformation to help create a smarter, connected future for all. As a Qualcomm GPU ASIC Engineer, you may architect, design, implement, verify, and/or optimize the performance and power of GPU cores. Qualcomm Engineers collaborate with cross-functional teams to meet and exceed customer needs.Minimum QualificationsVerification skills: Formal verification (Static) and Dynamic (simulations)Formal tools – Jasper, VC-formal, OneSpin, QuestaFormalSystem Verilog/SVA, Verilog or VHDL, Scripting skillsPreferred Qualifications:Knowledge of abstractions, constraints, equivalence checking etcApps in formal tools (Low power, X-prop, Conectivity checking etc)Design debug, Deep bug huntingDesign knowledge of CPU, GPU, Bus/Noc/Interconnect, Memory Controllers, CachesPrincipal Duties and Responsibilities: Deploying Industry-Leading Verification MethodologiesTest plan development based on Design documents and interaction with design/systems engineersWriting and debugging SystemVerilog assertionsAnalyzing coverage data and working with Design teams to address coverage holesDevelop/augment framework for running regressionsRunning/Debugging Power aware simulationsDebugging regression failures with design/Systems teamsSupport integration of design in higher-level subsystem including test planning, test vector delivery, and debug of test vectors at the integration levelPython/Perl automation for improving workflows and team efficiencyParticipate in project reviewsLevel of Responsibility:Provides supervision/guidance to other team members.Decision-making is significant in nature and affects work beyond immediate work group.Tasks do not have defined steps; planning, problem-solving, and prioritization must occur to complete the tasks effectively.Requires verbal and written communication skills to convey complex information.Has influence over key organizational decisions (e.g., is consulted by senior leadership to make key decisions).Minimum Qualifications:• Bachelor's degree in Science, Engineering, or related field and 6+ years of ASIC design, verification, validation, integration, or related work experience. ORMaster's degree in Science, Engineering, or related field and 5+ years of ASIC design, verification, validation, integration, or related work experience. ORPhD in Science, Engineering, or related field and 4+ years of ASIC design, verification, validation, integration, or related work experience.*References to a particular number of years experience are for indicative purposes only. Applications from candidates with equivalent experience will be considered, provided that the candidate can demonstrate an ability to fulfill the principal duties of the role and possesses the required competencies.Qualcomm is an equal opportunity employer. If you are an individual with a disability and need an accommodation during the application/hiring process, rest assured that Qualcomm is committed to providing an accessible process. You may e-mail disability-accomodations@qualcomm.com or call Qualcomm's toll-free number found here. Upon request, Qualcomm will provide reasonable accommodations to support individuals with disabilities to be able participate in the hiring process. Qualcomm is also committed to making our workplace accessible for individuals with disabilities. (Keep in mind that this email address is used to provide reasonable accommodations for individuals with disabilities. We will not respond here to requests for updates on applications or resume inquiries).Qualcomm expects its employees to abide by all applicable policies and procedures, including but not limited to security and other requirements regarding protection of Company confidential information and other confidential and/or proprietary information, to the extent those requirements are permissible under applicable law.To all Staffing and Recruiting Agencies: Our Careers Site is only for individuals seeking a job at Qualcomm. Staffing and recruiting agencies and individuals being represented by an agency are not authorized to use this site or to submit profiles, applications or resumes, and any such submissions will be considered unsolicited. Qualcomm does not accept unsolicited resumes or applications from agencies. Please do not forward resumes to our jobs alias, Qualcomm employees or any other company location. Qualcomm is not responsible for any fees related to unsolicited resumes/applications.If you would like more information about this role, please contact Qualcomm Careers.

Locations

  • Chalandri, Greece
  • Athens, Greece
  • Patra, Greece
  • (Remote)

Salary

Estimated Salary Rangemedium confidence

45,000,000 - 90,000,000 INR / yearly

Source: ai estimated

* This is an estimated range based on market data and may vary based on experience and qualifications.

Skills Required

  • Formal Verification (Static)intermediate
  • Dynamic Verification (Simulations)intermediate
  • Jasperintermediate
  • VC-formalintermediate
  • OneSpinintermediate
  • Questaintermediate
  • SystemVerilogintermediate
  • SVAintermediate
  • Verilogintermediate
  • VHDLintermediate
  • Scriptingintermediate
  • Abstractionsintermediate
  • Constraintsintermediate
  • Equivalence Checkingintermediate
  • Low Power Verificationintermediate
  • X-propintermediate
  • Connectivity Checkingintermediate
  • Design Debugintermediate
  • Bug Huntingintermediate
  • CPU Design Knowledgeintermediate
  • GPU Design Knowledgeintermediate
  • Bus/NoC/Interconnect Designintermediate
  • Memory Controllers Designintermediate
  • Caches Designintermediate
  • Test Plan Developmentintermediate
  • SystemVerilog Assertionsintermediate
  • Coverage Analysisintermediate
  • Regression Framework Developmentintermediate
  • Power Aware Simulationsintermediate
  • Regression Debuggingintermediate
  • Test Vector Deliveryintermediate
  • Pythonintermediate
  • Perlintermediate
  • Automationintermediate
  • Project Reviewsintermediate
  • Supervisionintermediate
  • Guidanceintermediate
  • Problem-Solvingintermediate
  • Prioritizationintermediate

Target Your Resume for "Formal Verification Engineer, Senior Staff - Greece" , Qualcomm

Get personalized recommendations to optimize your resume specifically for Formal Verification Engineer, Senior Staff - Greece. Takes only 15 seconds!

AI-powered keyword optimization
Skills matching & gap analysis
Experience alignment suggestions

Check Your ATS Score for "Formal Verification Engineer, Senior Staff - Greece" , Qualcomm

Find out how well your resume matches this job's requirements. Get comprehensive analysis including ATS compatibility, keyword matching, skill gaps, and personalized recommendations.

ATS compatibility check
Keyword optimization analysis
Skill matching & gap identification
Format & readability score

Tags & Categories

ASICS Engineering30398 QCT Graphics GDEV DV GreeceASICS Engineering

Answer 10 quick questions to check your fit for Formal Verification Engineer, Senior Staff - Greece @ Qualcomm.

Quiz Challenge
10 Questions
~2 Minutes
Instant Score

Related Books and Jobs

No related jobs found at the moment.