---
title: "Senior CPU Formal… at SiFive – Hyderabad, India +1"
canonical: "https://www.metaintro.com/job/senior-cpu-formal-verification-engineer-at-sifive-41da34eb-e3f0-5c80-a1d3-be4520cc9b2c"
language: "en"
author: "Metaintro"
---

[![SiFive logo](/api/favicon-proxy?url=https%3A%2F%2Fwww.sifive.com%2Ffavicon.ico)](/company/sifive)[SiFive](/company/sifive)
# Senior CPU Formal Verification Engineer at SiFive

**Location**
: Hyderabad, Telangana · Bengaluru, Karnataka

**Type**
: Full-time

**Level**
: senior

**Posted**
: Sep 24, 2026

## Description

SiFive is hiring a Senior Design Formal Verification Engineer to own formal verification strategies for advanced out-of-order CPU cores. The role involves identifying verification targets, creating formal test plans, maintaining Chisel-based formal environments, applying formal techniques, debugging RTL, automating verification, reviewing proofs, and training team members. Candidates need at least five years of formal verification experience, extensive formal abstraction and sign-off experience, familiarity with tools such as VC Formal and JasperGold, and knowledge of VHDL, Verilog, or SystemVerilog.

## Trending job searches

Every query opens live roles, salary samples, and market demand — tap a search to run it instantly.

- [Find Senior CPU Formal Verification Engineer jobs in Hyderabad, Telangana, India](/jobs/search?q=Find+Senior+CPU+Formal+Verification+Engineer+jobs+in+Hyderabad%2C+Telangana%2C+India)
- [Find roles similar to Senior CPU Formal Verification Engineer in Hyderabad, Telangana, India](/jobs/search?q=Find+roles+similar+to+Senior+CPU+Formal+Verification+Engineer+in+Hyderabad%2C+Telangana%2C+India)
- [Find remote Senior CPU Formal Verification Engineer jobs](/jobs/search?q=Find+remote+Senior+CPU+Formal+Verification+Engineer+jobs)
- [Find Senior CPU Formal Verification Engineer jobs with Formal Verification and Chisel](/jobs/search?q=Find+Senior+CPU+Formal+Verification+Engineer+jobs+with+Formal+Verification+and+Chisel)
- [Find jobs similar to Senior CPU Formal Verification Engineer](/jobs/search?q=Find+jobs+similar+to+Senior+CPU+Formal+Verification+Engineer)
- [Find Senior CPU Formal Verification Engineer jobs posted this week](/jobs/search?q=Find+Senior+CPU+Formal+Verification+Engineer+jobs+posted+this+week)
- [Find Science, Technology, Engineering, and Math jobs in Hyderabad, Telangana, India](/jobs/search?q=Find+Science%2C+Technology%2C+Engineering%2C+and+Math+jobs+in+Hyderabad%2C+Telangana%2C+India)
- [Find Science, Technology, Engineering, and Math jobs with Formal Verification and Chisel](/jobs/search?q=Find+Science%2C+Technology%2C+Engineering%2C+and+Math+jobs+with+Formal+Verification+and+Chisel)

## Get More from Metaintro

Unlock powerful job search, personalized recommendations, and deep career insights from comprehensive, market-leading data and live market signals.

- [Browse all jobs](/jobs/search)
- [Access help center](/help)
- [Explore our content](/blog)

![](https://cdn.metaintro.com/rs:fill:1200:800/q:30/plain/images/bridges/bridge-expand.1df895c6bd76d96f.png)

For job seekers

## Ready to find a role that actually fits?

Upload your résumé, start a Job Search Thread, and let Metaintro rank real openings against your experience — then guide you from search to offer.

[Get Started Free](/signup)[Search matching jobs](/jobs/search)

Match

Compare live roles against your current evidence.

Position

Turn proof projects into role-specific applications.

Improve

Use market feedback to keep the skill plan current.

[Return to navigation](#main-navigation)