🛠 Tech Stack

💼 About This Role

You'll join a deeply technical team building a platform that enables engineering teams to identify and resolve bugs through deterministic simulation. Your work will directly impact software reliability for modern engineering teams. You'll build across the full stack and tackle complex problems in autonomous testing.

🎯 What You'll Do

• Develop and maintain systems in Nix, Rust, C/C++, and TypeScript
• Build a functional reactive notebook for debugging
• Create a streaming analytic database
• Contribute to a custom high-performance hypervisor

📋 Requirements

• Strong generalist engineering skills across multiple domains
• Experience with Nix for builds and infrastructure
• Proficiency in Rust and TypeScript for systems and frontend work

✨ Nice to Have

• Experience with formal verification or deterministic simulation
• Familiarity with high-performance hypervisors or database internals

🎁 Benefits & Perks

• 🏢 In-person collaboration in Vienna, VA office
• 🧠 Deep technical challenges in autonomous testing
• 📚 Continuous learning across diverse domains

📨 Hiring Process

Drop us a note with your background and interest.

🚩 Heads Up

• 5 days a week mandatory in-office requirement