The NVIDIA GPU clocks group is looking for excellent Senior Formal Verification engineers to join the team. The Team is responsible for crafting all aspects of GPU clocking. The team collaborates with the frontend design team to understand the clocking requirements for the chip. We also understand the physical restrictions being placed on the clocks by the backend teams. The GPU clocks group architects, designs and validates the clocks RTL. The complexity of clocks RTL has increased many folds to support our features that power our product lines ranging from consumer graphics to self-driving cars and the growing field of artificial intelligence. What you’ll be doing: Understand key design behaviors from formal verification view to write clear test plans, and implement them using the latest formal techniques, including the development of environment assumptions, assertions and cover properties. Develop abstraction models to overcome complexity challenges and obtain full proofs, or bounded proofs with sufficient coverage. Debug RTL to identify causes of failure scenarios and finish coverage sign-off. Drive tools to realize their best performance. Contribute to flow and script development to improve team efficiency. Work with architects, designers and others to guarantee good deliverable quality. What we need to see: BS / MS in CS/CE/EE/Mathematics and related with 3+ years of ASIC verification experience. Knowledge of formal verification methodologies and techniques, preferable experience with Formal Verification Tools (e.g. Jasper Gold, VC Formal ). Able to implement abstraction techniques for effective verification. Excellent command of scripting using TCL, Perl, and Python. Familiar with verification methodology, tools and flow in Unit/Sub-system/SOC level. Excellent interpersonal skills, able to effectively collaborate and work with members of a distributed team. Ways to stand out from the crowd: Excellent analytical and problem-solving skills, quick understanding to complex design or experience in different verification methodologies is plus. Strong prior knowledge/experience in different protocols/data transmission verification is plus. Fluent English (both written and spoken) and excellent communication skills. Good teamwork spirit, easy to cooperate with team members.
Here's how to pick the right one and stand out in your application.
144.883Jobs
31.687IN
81%EN
That number is real. WorkMundi's database shows 144,883 open engineer roles across the world. India has the most with 31,687 jobs, followed by the United States with 30,084. If you just finished reading one job ad and felt paralyzed by choice, you're not alone—but this scale is actually an advantage. It means you can afford to be selective.
Start by geography and language. The majority of engineer ads—117,837 of them—have the job posting text written in English. Use that as one filter, but remember: the ad text language tells you nothing about whether the role actually requires you to speak English day-to-day. Read the job description carefully. Then check which countries have the volume you're targeting. Singapore, Poland, and Australia round out the top five after India and the US.
Next, learn who's hiring. Accenture has posted 2,801 engineer roles. andurilindustries, speechify, and jobgether are also actively recruiting. If you're applying to one of these names, research their hiring patterns and interview style before you apply. That homework pays off.
When you interview, expect the question every engineer hears: 'Tell me about a time you had to debug a problem that wasn't in your job description.' Have a specific story ready—not a general one. Name the tools, the deadline pressure, and what you learned. Hiring managers listen for whether you see problem-solving as part of the role itself, not a favour.
