Drimva

Antithesis

Senior Software Engineer, Full Stack

$160K–$220K

Vienna, VA, USA · On-site · Senior · Full-time · Posted Oct 7, 2026

About the job

Build and improve Antithesis’s reactive Notebook platform, delivering features across its frontend, data layer, and supporting infrastructure.

What you'll do

  • Improve the reactive engine for executing JavaScript.
  • Own features across the frontend and data layer, including changes to the custom database, proxy, or API server.
  • Create property-based tests and Antithesis workloads; develop build and deployment logic in Nix.

What they ask for

  • Experience working with complex customer-facing products.
  • Comfort with TypeScript and willingness to take on some Rust work.
  • Strong programming background in algorithms and data structures.
  • Experience building static and dynamic websites, and understanding of the internet and browsers.

Nice to have

  • Experience with Nix.
  • Ideas about leveraging AI effectively or prior experience with PBT.

Pay

$160K – $220K USD base salary

Tools

JavaScript, Typescript, Rust, Nix

AI focus

The role focuses on software reliability and verification in the context of AI-generated code; leveraging AI effectively is a bonus.

Model-written summary · the original posting is authoritative

First seen Oct 29, 2026 · Last verified Nov 4, 2026 (UTC)