Job description

About SiFive As the pioneers who introduced RISC-V to the world, SiFive is transforming the future of compute by bringing the limitless potential of RISC-V to the highest performance and most data-intensive applications in the world. SiFive’s unrivaled compute platforms are continuing to enable leading technology companies around the world to innovate, optimize and deliver the most advanced solutions of tomorrow across every market segment of chip design, including artificial intelligence, machine learning, automotive, data center, mobile, and consumer. With SiFive, the future of RISC-V has no limits. At SiFive, we are always excited to connect with talented individuals, who are just as passionate about driving innovation and changing the world as we are. Our constant innovation and ongoing success is down to our amazing teams of incredibly talented people, who collaborate and support each other to come up with truly groundbreaking ideas and solutions. Solutions that will have a huge impact on people s lives; making the world a better place, one processor at a time. Are you ready? To learn more about SiFive’s phenomenal success and to see why we have won the GSA’s prestigious Most Respected Private Company Award (for the fourth time!), check out our website and Glassdoor pages. Job Description: The Role: Distinguished Formal Verification Architect with expertise in defining end-to-end verification strategies for complex SoC and IP subsystems. Responsibilities Deep expertise in complexity management, abstraction techniques and exhaustive verification. Expert in identifying high-risk architectural corners and developing formal methodology. Adept at proof convergence and thinking in terms of correct-by construction, working not just with individual designs but classes of design. As the Architect, it is important to go beyond application of formal techniques to understand the design and find ways to improve the quality of verification by reshaping the implementation. Requirements Multiple years of experience with formal verification of cutting edge HW designs. Experience with model checkers such as VCFormal, Jasper Gold. Proficient in working with large designs and standard practices for abstractions, etc. for dealing with large systems Excellent understanding of HW design and idioms, e.g. CPU microarchitecture, communications fabrics, protocols, etc, and how to map them to formal verification needs Strong logical thinking Strategic thinking and ownership to close verification with formal methods or formal/simulation co-verification Nice to Have Functional programming in languages such as Scala, OCaml, Haskell Experience / understanding of SAT, SMT, Model Checkers will be a plus Familiarity with theorem provers Pay & Benefits Consistent with SiFive values and applicable law, we provide the following information to promote pay transparency and equity. We have a market-based pay structure which varies by location. Please note that the base pay range is a guideline, and our compensation range reflects the cost of labor in the U.S. geographic market based on the location of the role. Pay within these ranges varies and depends on job-related knowledge, skills, and relevant work experience. For candidates who receive and offer, the starting salary will vary based on various factors including, but not limited to, such qualifications as, skill level, competencies, and work location. The range provided may represent a candidate range and may not reflect the full range for an individual tenured employee. Base Pay Range $279,504.00-$341,616.00 In addition to base pay, this role may be eligible for variable/ incentive compensation and/ or equity. In addition, this role is eligible for a comprehensive, competitive benefits package which may include healthcare and retirement plans, paid time off, and more! Additional Information: This position requires a successful background and reference checks and satisfactory proof of your right to work in United States of America Any offer of employment for this position is also contingent on the Company verifying that you are a authorized for access to export-controlled technology under applicable export control laws or, if you are not already authorized, our ability to successfully obtain any necessary export license(s) or other approvals. SiFive is an equal opportunity employer. We celebrate diversity and are committed to creating an inclusive environment for all employees. As an E-Verify employer, we use this system to confirm the employment eligibility of all new hires in accordance with federal law. All applicants will be required to complete a Form I-9, Employment Eligibility Verification, upon hire. We do not use E-Verify to pre-screen job candidates and will comply with all E-Verify regulations. California residents: please see our job candidate notice for more information on how we handle your personal information and your privacy rights: Privacy Policy Document .

Requirements

Must-haves

Distinguished Formal Verification Architect with expertise in defining end-to-end verification strategies for complex SoC and IP subsystems.
Deep expertise in complexity management, abstraction techniques and exhaustive verification.
Expert in identifying high-risk architectural corners and developing formal methodology.
Adept at proof convergence and thinking in terms of correct-by construction, working not just with individual designs but classes of design.
As the Architect, it is important to go beyond application of formal techniques to understand the design and find ways to improve the quality of verification by reshaping the implementation.
Multiple years of experience with formal verification of cutting edge HW designs.
Experience with model checkers such as VCFormal, Jasper Gold.
Proficient in working with large designs and standard practices for abstractions, etc. for dealing with large systems
Excellent understanding of HW design and idioms, e.g. CPU microarchitecture, communications fabrics, protocols, etc, and how to map them to formal verification needs
Strong logical thinking
Strategic thinking and ownership to close verification with formal methods or formal/simulation co-verification
This position requires a successful background and reference checks and satisfactory proof of your right to work in
United States of America
SiFive is an equal opportunity employer. We celebrate diversity and are committed to creating an inclusive environment for all employees.
California residents: please see our job candidate notice for more information on how we handle your personal information and your privacy rights: Privacy Policy Document .

Nice-to-haves

Functional programming in languages such as Scala, OCaml, Haskell
Experience / understanding of SAT, SMT, Model Checkers will be a plus
Familiarity with theorem provers
Pay & Benefits
$279,504.00-$341,616.00

Application prep

Use the role’s language and application details while tailoring your materials.

Keywords to mirror

machine learninggo

Platform: workday
Effort: long

Benefits

Benefits detected in the listing.

Paid Time Off