Jobs

Interviews
Job Alerts
Tools

Upskill and Grow with AI

Mock Interview Practice interviews in realistic simulations

Coding Practice Improve your coding skills with challenges

Certification Earn certifications to validate your skills

AI Learning Get trained with AI expert sessions

Career Path AI insights for smarter career decisions

AI Job Match Score AI-Powered Job Match Against Your Resume and Optimize Your Resume

Career Tools and Resources

Resume Builder Build Professional Resume with Ease

ATS Friendliness Check Check Resume Friendliness for Applicant Tracking Systems

Auto Apply Apply to hundreds of jobs on any platform effortlessly

Co-Pilot (Chrome Extension) Your AI Assistant for Seamless Browsing Efficiency

Interview Questions Streamline interviews with ready-to-use questions

Salaries Discover market-driven salary insights across skillsets and geographies

Companies Explore leading companies actively hiring talent
For Employers

Home
>
Jobs in bengaluru
>
Accenture
>
Formal Verification Engineer

Formal Verification Engineer

Accenture

12 - 15 years

14 - 17 Lacs

bengaluru

Posted:Just now| Platform:

Apply

Skills Required

formal verification model checking soc design hardware description languages verilog

Work Mode

Work from Office

Job Type

Full Time

Job Description

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 12 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, ultimately improving quality and reducing verification time.
Roles & Responsibilities:

Expected to be an SME.

Collaborate and manage the team to perform.

Responsible for team decisions.

Engage with multiple teams and contribute on key decisions.

Expected to provide solutions to problems that apply across multiple teams.

Facilitate knowledge sharing sessions to enhance team capabilities.

Mentor junior professionals to foster their growth and development.
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 design specifications and identify potential issues.
Additional Information:

The candidate should have minimum 12 years of experience in SoC Verification.

This position is based at our Bengaluru office.

A 15 years full time education is required.
Qualification15 years full time education

More Jobs at Accenture

GN - SONG - Service - Genesys Analyst

Chennai, Mumbai, Bengaluru

2 - 7 yrs

INR 4 - 9 Lacs

GN - SONG - Service - Genesys Analyst

Pune, Hyderabad, Gurgaon

2 - 7 yrs

INR 4 - 9 Lacs

S&C Global Network - AI - Supply Chain Analytics - Consultant

Mumbai

3 - 7 yrs

INR 22 - 27 Lacs

GN - SONG - Service - Genesys Senior Manager

Chennai, Mumbai, Bengaluru

12 - 15 yrs

INR 50 - 55 Lacs

GN - SONG - Service - Amazon Connect Functional Consultant

Delhi, Mumbai, Bengaluru

4 - 8 yrs

INR 5 - 8 Lacs

Mock Interview

Practice Video Interview with JobPe AI

Start Job-Specific Interview

Start Your Job Search Today

Browse through a variety of job opportunities tailored to your skills and preferences. Filter by location, experience, salary, and more to find your perfect fit.

Job Application AI Bot

Apply to 20+ Portals in one click

Download Now

Download the Mobile App

Instantly access job listings, apply easily, and track applications.

Enhance Your Skills

Practice coding challenges to boost your skills

Start Practicing Now

Accenture

Professional Services

Dublin

Login to

Please Verify Your Phone or Email

Confirm Action

Formal Verification Engineer