Software Engineers | All Levels
Core
Build a platform enabling engineering teams to identify and resolve bugs missed by traditional testing via deterministic system simulation and root cause analysis.
Role type
Senior/Staff/Principal Software Engineer (Systems/Infrastructure)
Builds
A functional reactive notebook, a streaming analytic database, formally proven infrastructure, and a custom high-performance hypervisor.
Domain
Software Engineering / Systems Programming / Infrastructure
Deliverable
production ML models | product features | infrastructure
Required skills
Systems programming, Rust, C/C++, Nix, TypeScript, JavaScript, formal methods, hypervisor development, reactive systems, streaming analytics
Preferred skills
Generalist mindset, ability to learn new technologies quickly, experience with AI-generated code verification
Technologies
Nix, Rust, C, C++, TypeScript, JavaScript
Responsibilities
Develop complex software systems across the full stack, build tools for autonomous testing, implement formally proven infrastructure, create high-performance hypervisors
Seniority
Senior, Staff, Principal, hands-on IC
