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

2 - 5 years

5 - 9 Lacs

bengaluru

Posted:1 day ago| 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 2 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 tools and methodologies to enhance the verification process.
Professional & Technical Skills:

Must To Have
Skills:

Proficiency in SoC Verification.

Strong understanding of formal verification techniques and methodologies.

Experience with model checking and equivalence checking tools.

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 2 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