Antithesis
Technology & SoftwareDirect Ashby career site

Senior Software Engineer, Full Stack

Location
Vienna, VA · On-site
Job type
Full-time
Level
Senior
Listed
23 days ago

Skills & highlights for this role

  • TypeScript
  • Rust
  • data structures and algorithms
  • Property Based Testing
  • web browsers and internet protocols

Also useful

  • Nix
  • AI tooling

About the Role

Antithesis is looking for a Full Stack Engineer to join our engineering team. This role primarily focuses on the Notebook - the reactive computing platform that all Antithesis UX is built on top of. As a Notebook Engineer, you will do a mix of deeply technical and heavily product-focused work.

What You’ll Do

  • Make improvements to a reactive engine for executing Javascript (imagine Jupyter where everything auto recalcs).
  • Own a new feature, from the front end to the data layer. This includes adding features as needed to our custom database (or proxy, or API server) to get the feature done.
  • Create Property Based Tests and Antithesis workloads to test the things you create.
  • Work with our product managers to design and scope features.
  • Develop build and deployment logic in Nix.

What We’re Looking for

  • Experience working with complex customer facing-products.
  • Be very comfortable with Typescript, and ready to pick up a bit of Rust work.
  • Have strong technical skills and a solid programming background in algorithms and data structures.
  • Experience building static and dynamic websites
  • Understanding of how the internet and browsers work
  • (bonus) experience with Nix
  • (bonus) have ideas about leveraging AI effectively
  • (bonus) a prior history with PBT

About Antithesis

We've been quietly reinventing how the world thinks about software reliability, and we're just getting started! At Antithesis, we start at the foundations - we run entire software systems inside a deterministic simulation and break them in every way imaginable. Every issue then comes with a perfect reproduction, so you can identify root causes fast instead of spending days trying to recreate what went wrong.

The rise of AI-generated code has made this work more urgent than ever. Agents can write code faster than any human, but speed doesn't matter much when the output is buggy, stuck in review, or slipping through undetected. The verification bottleneck is real, it's growing, and solving it is one of the most consequential problems in software right now. That's what you'd be working on.

We're well-funded and deeply technical, the kind of place where the hardest problems get the most attention and the best ideas win regardless of who has them. If you want to do work that actually moves the needle on how reliable software can be, keep reading.

Read the original posting

From Antithesis's careers page, first listed on Rolev.ai on October 17, 2026. Rolev.ai is not the employer.

How Rolev.ai helps with this application

Rolev.ai is a job search and application tool for US job seekers. For this Senior Software Engineer, Full Stack role at Antithesis, it shows how your resume fits, tailors your resume to the posting, and prepares the application for you to review.

  • See how you fit

    Openings from employer career sites are ranked against your whole resume—and searchable inside Claude, ChatGPT, and Cursor via Rolev.ai MCP.

  • Tailor without inventing

    Every change to your resume is checked against your original. New experience goes in only with your yes—zero fabricated claims.

  • Draft the full kit

    Tailored and Full Match resumes, role-specific cover letters, and answers to employer screening questions are prepared in seconds.

  • 1-Click Extension Autofill

    The Chrome extension fills the employer's Greenhouse, Workday, Lever, or Ashby form in 1 click. You review it and press Submit.

Common questions

Where is the Senior Software Engineer, Full Stack job at Antithesis located?

This Senior Software Engineer, Full Stack position at Antithesis is located in Vienna, VA (On-site). Always check Antithesis's application page for specific state eligibility or relocation policies.

What qualifications are required for Senior Software Engineer, Full Stack at Antithesis?

For the Senior Software Engineer, Full Stack role, Antithesis highlights experience with TypeScript, Rust, data structures and algorithms, Property Based Testing, web browsers and internet protocols. Rolev.ai can score your existing resume against these requirements and show any skill gaps before you apply.

How do I apply for the Senior Software Engineer, Full Stack position at Antithesis?

This listing links directly to Antithesis's Ashby application page. You can apply directly on Antithesis's site, or use Rolev.ai to check your resume fit, generate a zero-hallucination tailored resume and cover letter for this posting, and autofill the Ashby application form in 1 click with the Rolev.ai Chrome extension. You always review the form and press Submit yourself.