5-7 years of software engineering experience, particularly in Python and a second language like Rust.
Familiarity with CI systems such as GitHub Actions and build systems like Bazel.
Experience in chip development, having worked alongside silicon teams through at least one tapeout.
Ability to discern effective rules from those that hinder productivity.
Strong written communication skills to explain technical concepts clearly.
Responsibilities
Design and maintain quality and verification tooling for automated engineering checks.
Create dashboards and reports from CI and regression results for signoff evidence.
Develop tooling to manage exceptions and waivers across teams.
Build shared verification infrastructure for RTL, verification, and physical design teams.
Implement standards for AI-generated work and collaborate with AI tooling teams.
Continuously improve processes by analyzing bugs and optimizing checks.
Benefits
4 weeks of accrued PTO plus 12 company holidays and up to 3 weeks of remote work.
Company-subsidized health insurance for employees and dependents, including dental and vision.
5% company contribution to 401K, with options for Roth or pre-tax plans.
$1500 annual budget for professional development.
Onsite team meals provided Monday to Friday.
100% reimbursement for daily commute expenses.
Monthly stipend for personal perks and reimbursements for cell and internet costs.
Up to $1000 for remote home office setup.
Comprehensive mental health benefits fully covered by the company.
Generous parental leave policies and support for family-related expenses.
Full Job Description
What You'll Do Here
Design-quality and verification tooling: Build and maintain the linters, static checks, and schema-driven records that check our engineering rules automatically on every change.
Signoff evidence and reporting: Turn CI, regression, and verification results into dashboards and reports that show how close each block is to signoff, without anyone assembling them by hand.
Exceptions and waivers: Build the tooling that keeps exceptions to our checks owned, justified, and current across many tools and teams.
Shared verification infrastructure: Develop and test libraries and flows that our RTL, verification, and physical design teams share.
Standards for AI-written work: Apply the methodology's review and evidence rules to work that AI agents produce, and work with the AI tooling team on the checks that enforce them.
Continuous improvement: Review escaped bugs and false alarms, measure what each process step costs, and turn what you learn into better checks and fewer steps.
Who You Are
A strong software engineer: You write production Python and are comfortable in a second language such as Rust. You have built tools that other engineers depend on.
CI and build systems: You have worked with GitHub Actions or a similar CI system, and with Bazel or another build system used in a large repository.
Chip development experience: You have worked on or alongside a silicon team through at least one tapeout, as a design, DV, CAD, or methodology engineer. You understand how lint, clock domain crossing checks, coverage, waivers, and ECOs fit into signoff.
Judgment about process: You can tell a rule that catches problems from a rule that only slows people down, and you would rather remove the second than enforce it.
Clear writing: You can explain a rule and the reason for it in a few plain sentences.
Occasional travel: Expect a few trips a year to meet the teams you work with in person.
Bonus Points If You Have
Experience with formal verification, SystemVerilog Assertions, or DV methodology
Experience with commercial lint, clock domain crossing, or formal tools and their report formats
Experience in a process where evidence must be traceable, such as DO-254 or ISO 26262
Experience building dashboards or data pipelines from CI and regression results
Experience building tools for, or with, AI coding agents
Familiarity with Bluespec or another high-level hardware description language
This is not a compliance role that writes documents for others to enforce. It builds the checks that enforce the methodology.
What We Offer
Time off: 4 weeks PTO (accrued) + 12 company Holidays + up to 3 weeks remote work
Health: Company-subsidized Medical (Kaiser or Anthem) for employees & dependents, Guardian Dental and Vision insurances for employee & dependents, and life insurance (employee only), plus HSA and FSA offerings via Lively.
Financial Security: Choose from Roth or pre-tax 401K (or both) with a 5% company contribution (even if you don't contribute), 100% company-paid life insurance (up to $300K), long-term disability and travel insurance.
Professional Development: $1500 per year Professional Development Budget
Team Meals: MatX provides onsite team lunch & dinner Monday - Friday, with your choice of ordering via WeBox, Specialty's or via our reimbursement system
Commute on Us: We pay 100% for your daily commute. Commute via our company rideshare account, reimburse public transportation, or get a Fasttrak card (or all three)
MatX E[x]tras: $50/mo to use on the perk you value most
Cell & Internet Reimbursement: $35/mo for cellular and $40/mo for wifi
Remote Home Setup: Use our Amazon business account for up to $1000 in office setup purchases.
Mental Wellbeing: 100% paid mental health benefit via SpringHealth and Guardian EAP.
Support to Parents: Up to 12 weeks paid parental leave regardless of path to parenthood, 10 weeks pregnancy disability leave, flexible return-to-work hours, and a $6K Family Fund to cover fertility, surrogacy, adoption, menopausal health, preservation, family counseling and more.
