Cadence Design Systems Logo

Cadence Design Systems

Principal Jasper Formal Verification AE

Reposted 4 Days Ago
Be an Early Applicant
In-Office
Austin, TX, USA
133K-247K Annually
Senior level
In-Office
Austin, TX, USA
133K-247K Annually
Senior level
As a Senior Principal Application Engineer, you provide technical support for Cadence's Jasper Formal Verification solutions, mentor juniors, and build client relationships while driving innovative formal flows.
The summary above was generated by AI
At Cadence, we hire and develop leaders and innovators who want to make an impact on the world of technology.

As a valued member of the North American Field Applications Engineering (AE) team, you will collaborate with prominent semiconductor and system companies to implement Cadence’s Jasper Formal Verification solutions. This dynamic, customer-facing position requires you to provide hands-on technical support throughout both the pre-sale and post-sale stages. By working closely with account teams and product developers, you will help address and resolve complex verification challenges for customers. 

 

Your primary responsibilities include: 

  •  Establishing technical credibility and building strong relationships with clients, who may range from newcomers to seasoned experts in formal verification.  

  • Your role involves delivering exceptional reactive support, proactive training, and expert consultation to ensure users derive maximum benefit from our products. 

  • Additionally, you’ll partner with R&D teams to introduce innovative formal flows and applications to customers, advocate for their needs, and assist in the development of competitive and inventive solutions. 

  • To maintain Cadence’s edge in the industry, you are expected to stay informed about the competitive landscape and continually seek ways to distinguish our offerings.  

  • Mentoring junior AE team members and fostering a collaborative, team-oriented environment is integral to this role.  

  • Representing Cadence at technical conferences and trade shows provides you an opportunity to showcase our expertise and connect with industry peers. 

 

Success in this position requires: 

  • US Citizens preferred 

  • 7+ years experience applying formal property-checking tools to various functional verification scenarios.

  • Experience with simulation-based verification concepts such as transactors, scoreboards, and functional coverage models.  

  • A comprehensive understanding of RTL design, particularly the advanced features of System Verilog.

  • Proficiency in UNIX, scripting languages like TCL, grid computing dispatchers, and EDA tool administration is also necessary.  

  • The ideal candidate is self-driven, capable of working independently with minimal supervision, and has strong communication and interpersonal skills are essential, as is relevant industry experience.  

  • An advanced degree in a related field is highly desirable. 

The annual salary range for Massachusetts is $133,000 to $247,000. You may also be eligible to receive incentive compensation: bonus, equity, and benefits. Sales positions generally offer a competitive On Target Earnings (OTE) incentive compensation structure. Please note that the salary range is a guideline and compensation may vary based on factors such as qualifications, skill level, competencies and work location. Our benefits programs include: paid vacation and paid holidays, 401(k) plan with employer match, employee stock purchase plan, a variety of medical, dental and vision plan options, and more.

We’re doing work that matters. Help us solve what others can’t.

Cadence Design Systems Austin, Texas, USA Office

Austin, United States

Similar Jobs

19 Minutes Ago
Hybrid
Austin, TX, USA
150K-254K Annually
Expert/Leader
150K-254K Annually
Expert/Leader
Aerospace • Hardware • Information Technology • Security • Software • Cybersecurity • Defense
Lead and manage a team of hardware engineers while also contributing technically to programs across the product lifecycle (design, reviews, verification, integration, proposals). Recruit, mentor, assign staff, enforce hardware development processes, and support Electronic Warfare system development for DoD programs. Role is a player-coach combining people management with hands-on hardware engineering work onsite.
Top Skills: Dod SystemsElectrical EngineeringElectronic WarfareEo/Ir EngineeringHardware Development ProcessMechanical EngineeringRf EngineeringSystems Engineering
22 Minutes Ago
Hybrid
Austin, TX, USA
220K-303K Annually
Expert/Leader
220K-303K Annually
Expert/Leader
Cloud • Information Technology • Security • Software • Cybersecurity
Lead architecture and evolution of the Workers control plane, re-engineer core services for scale, own system stability and efficiency, define benchmarks, participate in on-call, mentor senior engineers, represent the team in design forums, and evaluate/apply emerging technologies including AI to improve the developer platform.
Top Skills: AIC++Cloudflare WorkersGoGrafanaGraphQLJavaScriptKubernetesPagesPrometheusR2ReactRestful ApisRpcRustTypescript
22 Minutes Ago
Hybrid
Austin, TX, USA
Mid level
Mid level
Cloud • Information Technology • Security • Software • Cybersecurity
Build and extend high-scale egress-path systems running on Linux kernel and network dataplanes. Work on kernel network stack (eBPF), routing (BGP), and distributed systems to optimize packet flow, reliability, and performance. Collaborate across teams and participate in on-call rotation.
Top Skills: BgpBgp-LsCC++DpdkEbpfGoLinuxPacket-Processing SoftwarePcePythonRustSflowSr-MplsTcVendor Switching SdksXdp

What you need to know about the Austin Tech Scene

Austin has a diverse and thriving tech ecosystem thanks to home-grown companies like Dell and major campuses for IBM, AMD and Apple. The state’s flagship university, the University of Texas at Austin, is known for its engineering school, and the city is known for its annual South by Southwest tech and media conference. Austin’s tech scene spans many verticals, but it’s particularly known for hardware, including semiconductors, as well as AI, biotechnology and cloud computing. And its food and music scene, low taxes and favorable climate has made the city a destination for tech workers from across the country.

Key Facts About Austin Tech

  • Number of Tech Workers: 180,500; 13.7% of overall workforce (2024 CompTIA survey)
  • Major Tech Employers: Dell, IBM, AMD, Apple, Alphabet
  • Key Industries: Artificial intelligence, hardware, cloud computing, software, healthtech
  • Funding Landscape: $4.5 billion in VC funding in 2024 (Pitchbook)
  • Notable Investors: Live Oak Ventures, Austin Ventures, Hinge Capital, Gigafund, KdT Ventures, Next Coast Ventures, Silverton Partners
  • Research Centers and Universities: University of Texas, Southwestern University, Texas State University, Center for Complex Quantum Systems, Oden Institute for Computational Engineering and Sciences, Texas Advanced Computing Center

Sign up now Access later

Create Free Account

Please log in or sign up to report this job.

Create Free Account