Formal Verification Engineer

Posted 2 Days Ago
Be an Early Applicant
Bengaluru, Bengaluru Urban, Karnataka, IND
In-Office
Mid level
Information Technology
The Role
Use mathematical formal verification methods (model checking, equivalence checking) to ensure SoC design correctness. Develop formal models and verification environments, analyze specifications, identify corner-case bugs early, collaborate with cross-functional teams, and contribute solutions as a subject-matter expert to improve design quality and reduce verification time.
Summary Generated by Built In
Project Role : Formal Verification Engineer
Project Role Description : Ensure design correctness using mathematical methods like model checking and equivalence checking, without relying on simulation. Detect corner-case bugs early in the design cycle to improve quality and reduce verification time.
Must have skills : SoC Verification
Good to have skills : NA
Minimum 3 year(s) of experience is required
Educational Qualification : 15 years full time education
Summary:
As a Formal Verification Engineer, you will ensure design correctness using mathematical methods such as model checking and equivalence checking. Your typical day will involve analyzing design specifications, developing formal models, and applying verification techniques to detect corner-case bugs early in the design cycle. This proactive approach will significantly enhance the quality of the designs and reduce the overall verification time, allowing for a more efficient development process.

Roles & Responsibilities:
- Expected to perform independently and become an SME.
- Required active participation/contribution in team discussions.
- Contribute in providing solutions to work related problems.
- Collaborate with cross-functional teams to gather requirements and provide feedback on design specifications.
- Develop and maintain formal verification environments to ensure comprehensive coverage of design scenarios.

Professional & Technical Skills:
- Must To Have Skills: Proficiency in SoC Verification.
- Strong understanding of formal verification techniques and tools.
- Experience with model checking and equivalence checking methodologies.
- Familiarity with hardware description languages such as Verilog or VHDL.
- Ability to analyze complex designs and identify potential verification issues.

Additional Information:
- The candidate should have minimum 3 years of experience in SoC Verification.
- This position is based at our Bengaluru office.
- A 15 years full time education is required.

15 years full time education

About Accenture

Accenture is a leading global professional services company that helps the world’s leading businesses, governments and other organizations build their digital core, optimize their operations, accelerate revenue growth and enhance citizen services—creating tangible value at speed and scale. We are a talent- and innovation-led company with approximately 791,000 people serving clients in more than 120 countries. Technology is at the core of change today, and we are one of the world’s leaders in helping drive that change, with strong ecosystem relationships. We combine our strength in technology and leadership in cloud, data and AI with unmatched industry experience, functional expertise and global delivery capability. Our broad range of services, solutions and assets across Strategy & Consulting, Technology, Operations, Industry X and Song, together with our culture of shared success and commitment to creating 360° value, enable us to help our clients reinvent and build trusted, lasting relationships. We measure our success by the 360° value we create for our clients, each other, our shareholders, partners and communities.

Visit us at www.accenture.com 

Equal Employment Opportunity Statement

We believe that no one should be discriminated against because of their differences. All employment decisions shall be made without regard to age, race, creed, color, religion, sex, national origin, ancestry, disability status, military veteran status, sexual orientation, gender identity or expression, genetic information, marital status, citizenship status or any other basis as protected by applicable law. Our rich diversity makes us more innovative, more competitive, and more creative, which helps us better serve our clients and our communities.

Skills Required

  • SoC Verification experience
  • Strong understanding of formal verification techniques and tools
  • Experience with model checking and equivalence checking methodologies
  • Familiarity with hardware description languages such as Verilog or VHDL
  • Minimum 3 years of experience in SoC Verification
  • 15 years full time education
  • Ability to analyze complex designs and identify verification issues

Accenture Compensation & Benefits Highlights

The following summarizes recurring compensation and benefits themes identified from responses generated by popular LLMs to common candidate questions about Accenture and has not been reviewed or approved by Accenture.

  • Healthcare Strength Pay is considered competitive when paired with robust insurance options and other perks that compare well with large consulting and IT services peers. Multiple national medical plan options plus dental and vision are positioned as a core strength of the overall package.
  • Retirement Support Retirement support is positioned as a standout feature through a 401(k) dollar-for-dollar match up to a set percentage after eligibility. The package is reinforced by additional financial programs such as savings tools and related resources.
  • Parental & Family Support Parental and caregiving supports are presented as a meaningful benefit differentiator through substantial paid parental leave and multiple caregiver-oriented programs. Backup care and fertility/adoption/surrogacy navigation and reimbursements add breadth to family support beyond leave alone.

Accenture Insights

Am I A Good Fit?
beta
Get Personalized Job Insights.
Our AI-powered fit analysis compares your resume with a job listing so you know if your skills & experience align.

The Company
456,553 Employees
Year Founded: 1989

What We Do

Accenture is a global professional services company with leading capabilities in digital, cloud and security. Combining unmatched experience and specialized skills across more than 40 industries, we offer Strategy and Consulting, Interactive, Technology and Operations services—all powered by the world’s largest network of Advanced Technology and Intelligent Operations centers. Our 500,000+ people deliver on the promise of technology and human ingenuity every day, serving clients in more than 120 countries. We embrace the power of change to create value and shared success for our clients, people, shareholders, partners and communities. Visit us at www.accenture.com.

Similar Jobs

In-Office
Bengaluru, Bengaluru Urban, Karnataka, IND
456553 Employees
In-Office
Bengaluru, Bengaluru Urban, Karnataka, IND
552 Employees
In-Office
Bengaluru, Bengaluru Urban, Karnataka, IND
552 Employees
7-7 Annually

NVIDIA Logo NVIDIA

Formal Verification Engineer

Artificial Intelligence • Computer Vision • Hardware • Robotics • Metaverse
In-Office
Bengaluru, Bengaluru Urban, Karnataka, IND
21960 Employees

Similar Companies Hiring

Scrunch  Thumbnail
Artificial Intelligence • Information Technology • Marketing Tech • Software • SEO
Salt Lake City, Utah
Standard Template Labs Thumbnail
Artificial Intelligence • Information Technology • Software
New York, NY
25 Employees
Golden Pet Brands Thumbnail
Digital Media • eCommerce • Information Technology • Marketing Tech • Pet • Retail • Social Media
El Segundo, California
178 Employees

Sign up now Access later

Create Free Account

Please log in or sign up to report this job.

Create Free Account