{"id":1222220,"url":"https://alion.io/job/matx-rust-sw-silicon-co-verification-engineer","title":"Rust SW-Silicon Co-verification Engineer","company":{"id":1776304,"name":"MatX","domain":"matx.com","url":"https://alion.io/company/matx-com","size_band":"51-200","is_staffing_agency":false,"employer_type":"direct","is_intermediary":false,"listed_via":null,"ats_vendor":"Ashby","truth_index":{"grade":"B","score":75,"open_postings":14,"ghost_share":0,"stale_share":1,"repost_share":0,"time_to_fill_p50_days":null,"computed_at":"2026-09-27T05:45:00Z"}},"role":"Backend","role_family":"Backend","seniority":null,"employment_type":"full_time","work_mode":"hybrid","remote_scope":null,"remote_scope_basis":null,"remote_working_hours":null,"hiring_geo_confidence":"structured","locations":["Mountain View, United States"],"countries":["US"],"hiring_countries":[],"hiring_countries_total":0,"salary":{"min":160000,"max":275000,"currency":"USD","period":"year","gross":null,"usd_annual":275000},"salary_estimate":null,"experience_years_min":null,"visa_sponsorship":false,"relocation_package":false,"has_equity":false,"technologies":[{"name":"Rust","optional":false},{"name":"Bluespec","optional":true},{"name":"Wi-Fi","optional":true}],"status":"live","first_seen_at":"2026-04-13T22:55:47Z","employer_posted_date":"2026-04-13","last_verified_at":"2026-09-28T02:48:59Z","board_verified":true,"closed_at":null,"days_open":167,"trust":{"level":"stale","repost_count":0,"flags":["stale"],"days_open":166},"description":"What MatX Is Building\nMatX is seeking engineers with strong Rust skills to join our team as we create best-in-class silicon for high-performance and sustainable GenAI. You will write Rust tests that verify our software models and hardware design behave identically and match the specification.\nYour tests and tooling will exercise the chip's software model and hardware design side by side, catching mismatches before they become silicon bugs. If you've ever wished your knack for writing correct, thorough Rust could be applied to something where correctness has million-dollar consequences, this is the role for you. You do not need prior hardware or verification experience to apply - if you know Rust, we will teach you the hardware side.\nWhat You'll Do Here\nWrite Rust tests that verify our software models and hardware design agree with each other and with the specification\n\nBuild test infrastructure in Rust that makes it easy to add new tests and run them at scale\n\nDevelop and maintain harnesses that connect your tests to our hardware\n\nWrite tests that systematically explore corner cases and rare event sequences - both targeted tests and tests that use randomization to find surprises\n\nWork with architects and design engineers to turn specifications into concrete, testable properties\n\nWho You Are\nProficient in production Rust - you've shipped real systems. You're comfortable with ownership, traits, generics with bounds, and enums as sum types. You understand why Result is better than exceptions and what the borrow checker is actually protecting you from\n\nStrong engineering fundamentals - you write clean, well-tested, well-documented code and are comfortable with build systems, version control, and CI workflows\n\nComfortable with low-level systems concepts: memory layout, concurrency, bit manipulation\n\nGenuinely interested in hardware and willing to ramp quickly on chip verification\n\nThis is a hybrid role that will require you to work from our Mountain View, CA office 3 days a week on Tuesday through Thursday\n\nBonus Points If You Have\nExperience with hardware in any capacity - FPGA projects, embedded systems, robotics, or prior roles touching hardware engineering\n\nExperience with foreign function interfaces - Rust FFI is ideal, but any experience crossing language boundaries is valuable\n\nExperience with Bluespec (BH or BSV)\n\nFormal methods, model checking, or property-based testing (e.g., proptest, Kani)\n\nUnderstanding of computer architecture: pipelines, caches, memory hierarchies, on-chip interconnects\n\nCompensation\nThe 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. Career length is only a guideline for compensation.\nEarly Career - $160,000 - $275,000 + equity\n\nMid Career - $175,000 - $400,000 + equity\n\nSenior Career - $250,000 - $600,000 + equity\n\nWhat We Offer\nTime off: 4 weeks PTO (accrued) + 12 company Holidays + up to 3 weeks remote work\n\nHealth: 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.\n\nFinancial Wellbeing: Choose from Roth IRA or 401K (or both) retirement plans with up to 5% company contribution to 401K (even if you don't contribute). Also, 100% company-paid life insurance (up to $300K) and long-term disability insurances.\n\nProfessional Development: $1500 Professional Development Budget (per year)\n\nTeam Meals: MatX provides onsite team lunch & dinner Monday - Friday, with your choice of ordering via WeBox, Specialty’s or via our reimbursement system\n\nCommute on Us: Commute on our company Uber account, or reimburse your train rides. Either way, we pay 100% for your daily commute.\n\nMatX E[x]tras: $50/mo to use on the perk you value most\n\nCell & Internet Reimbursement: $35/mo for cellular and $40/mo for wifi\n\nRemote Home Setup: Use our Amazon business account for up to $1000 in office setup purchases.\n\nMental Wellbeing: 100% paid mental health benefit via SpringHealth and Guardian EAP.\n\nSupport 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 Benepass reproductive health & parental benefit.\n\nAs 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, sex, gender, gender identity, gender expression, sexual orientation, age, physical or mental disability, medical condition, marital/domestic partner status, military and veteran status, genetic information or any other legally recognized protected basis under federal, state or local laws, regulations or ordinances.\n---------\nThis position requires access to information that is subject to U.S. export controls. This offer of employment is contingent upon the applicant's capacity to perform job functions in compliance with U.S. export control laws without obtaining a license from U.S. export control authorities.\n--------\nMatX does not accept unsolicited resumes from individual recruiters or third-party recruiting agencies in response to job postings. No fee will be paid to third parties who submit unsolicited candidates directly to our hiring managers or People team and any resumes submitted are deemed to be the property of MatX.","description_format":"text","description_chars":5635,"description_truncated":false,"requirements":{"experience_years_min":null,"management_years_min":null,"team_size_min":null,"manages_managers":false,"education":null,"security_clearance":false,"languages":[]},"benefits":["401k plan","Equity","Internet reimbursement","Life insurance","Parental leave","Professional development","Retirement plans","Vision insurance"],"hiring_locations":[{"name":"United States","iso":"US","kind":"country"}],"hiring_excludes":[],"relocation_offered":false,"industries":[],"lifecycle":[{"event":"open","at":"2026-09-25T12:29:18Z"}],"liveness":{"score":4,"band":"cold","label":"Long shot","p_open":1,"p_active":0.16,"p_room":0.28,"age_days":166,"expected_fill_days":40,"reasons":["conf:0","stale_co","velocity","win:tail","crowd:"],"computed_at":"2026-09-27T05:45:00Z"},"pay":{"stated_usd_annual":275000,"is_top_pay":true},"html_url":"https://alion.io/job/matx-rust-sw-silicon-co-verification-engineer","json_url":"https://alion.io/job/matx-rust-sw-silicon-co-verification-engineer.json","meta":{"generated_at":"2026-09-28T03:24:34Z","cache_seconds":300,"methodology":"https://alion.io/methodology","terms":"https://alion.io/terms","contact":"https://alion.io/contact","api":"https://alion.io/developers","usage":{"tier":"crawler","counted_by":"address","units_charged":1,"used_today":2150,"day_limit":5000,"remaining_today":2850,"minute_limit":60,"resets_at":"2026-09-29T00:00:00Z"}}}