What MatX Is Building MatX's mission is to make the world's best AI models run as efficiently as allowed by physics, bringing the world years ahead in AI quality and availability. We build the full stack—from silicon and rack design through compilers, kernels, and ML models. We are seeking a Formal Verification Engineer to bring rigorous mathematical guarantees to our hardware and software at every layer of the stack.

What You'Ll Do

Here Apply model checking and formal property verification to RTL blocks, memory subsystems, and interconnects, providing complete coverage wherever possible, using tools such as JasperGold or VC-Formal. g.

Who You Are

Compensation

The US base salary for this full-time position is determined based on a variety of factors including role, experience, location, job-related skills, and relevant education and training.

. Early Career - $120,000 - $212,500 + equity Mid Career - $150,000 - $287,500 + equity Senior Career - $200,000 - $425,000 + equity

mix that fits your needs Health Wellness — Company subsidized health, dental, vision, and life insurance; pre-tax HSA with generous company contribution Time To Recharge — 4 weeks paid time off (accrued), 12 company holidays, and 3 weeks remote/flexible work per year Support to Parents — Up to 12 weeks of paid parental leave, regardless of your path to parenthood Learning Development — $1,500 yearly toward conferences, courses, and other learning opportunities Team Connection — Team lunches, quarterly off-sites, and regular town halls Financial Wellbeing — 401K and/or Roth IRA with 5% company contribution, even if you don't contribute Flexible Spending Accounts — Pre-tax spend accounts for medical, dependent care, parking, and transit Commute On Us — For those commuting up to 1 hour, put your rideshare cost on our company card MatX E[x]tras — $50/month to use on the

What We Offer

A Stake in our success A flexible cash equity

Perks

you care about most Remote

— We work remotely Monday Friday, supported by home-tech setup and remote wifi reimbursement As part of our dedication to the diversity of our team and our focus on creating an inviting and inclusive work experience, MatX is committed to a policy of

Equal Employment Opportunity

and will not discriminate against an applicant or employee on the basis of race, color, religion, creed, national origin or ancestry