Formal Verification Engineer, Senior Staff - Greece jobs in United States
cer-icon
Apply on Employer Site
company-logo

Qualcomm · 1 week ago

Formal Verification Engineer, Senior Staff - Greece

positionGreece, NY
timeFull-time
remoteOnsite
senioritySenior Level, Lead/Staff
date4+ years exp

Qualcomm is a leading technology innovator that enables next-generation experiences and drives digital transformation. The role involves architecting, designing, implementing, verifying, and optimizing the performance and power of GPU cores, while collaborating with cross-functional teams to meet customer needs.

Artificial Intelligence (AI)Generative AISoftwareTelecommunicationsWireless
check
Comp. & Benefits
check
H1B Sponsor Likelynote

Responsibilities

Deploying Industry-Leading Verification Methodologies
Test plan development based on Design documents and interaction with design/systems engineers
Writing and debugging SystemVerilog assertions
Analyzing coverage data and working with Design teams to address coverage holes
Develop/augment framework for running regressions
Running/Debugging Power aware simulations
Debugging regression failures with design/Systems teams
Support integration of design in higher-level subsystem including test planning, test vector delivery, and debug of test vectors at the integration level
Python/Perl automation for improving workflows and team efficiency
Participate in project reviews

Qualification

Formal verificationSystem Verilog/SVAVerification toolsDesign knowledge of CPU/GPUPython/Perl automationDeep bug huntingDesign debugScripting skillsAbstractions

Required

Verification skills: Formal verification (Static) and Dynamic (simulations)
Formal tools – Jasper, VC-formal, OneSpin, QuestaFormal
System Verilog/SVA, Verilog or VHDL, Scripting skills
Bachelor's degree in Science, Engineering, or related field and 6+ years of ASIC design, verification, validation, integration, or related work experience
OR Master's degree in Science, Engineering, or related field and 5+ years of ASIC design, verification, validation, integration, or related work experience
OR PhD 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

Preferred

Knowledge of abstractions, constraints, equivalence checking etc
Apps in formal tools (Low power, X-prop, Connectivity checking etc)
Design debug, Deep bug hunting
Design knowledge of CPU, GPU, Bus/Noc/Interconnect, Memory Controllers, Caches

Company

Qualcomm

twittertwittertwitter
Glassdoor4.0
company-logo
Qualcomm designs wireless technologies and semiconductors that power connectivity, communication, and smart devices.
dateFounded in 1985
location
San Diego, California, USA
people-size10001+ employees
web-link
http://www.qualcomm.com

H1B Sponsorship

Qualcomm has a track record of offering H1B sponsorships. Please note that this does not guarantee sponsorship for this specific role. Below presents additional info for your reference. (Data Powered by US Department of Labor)
Distribution of Different Job Fields Receiving Sponsorship
Represents job field similar to this job
Trends of Total Sponsorships
2025 (2013)
2024 (1910)
2023 (3216)
2022 (2885)
2021 (2104)
2020 (1181)

Funding

Current Stage
Public Company
Total Funding
$3.5M
1991-12-20IPO
1988-01-01Undisclosed· $3.5M

Leadership Team

leader-logo
Cristiano Amon
President and Chief Executive Officer
linkedin
I
Isaac Eteminan
CEO
linkedin

Recent News

PYMNTS.com
Edge AI Is Gaining on the Cloud
2026-01-08
thefly.com
Qualcomm, Samsung discuss contract for manufacturing chips, Reuters says
2026-01-08
thefly.com
Qualcomm, Hyundai Mobis sign deal to collaborate on SDV architecture for ADAS
2026-01-08
Company data provided by crunchbase