April 3, 2023
• Design, build, and validate the core transactional, concurrency control, and storage management systems behind Twisp. • Generate confidence in the system via formal verification, automated reasoning, and conformance testing. • Ensure horizontal scalability and dynamic elasticity of computational resources as the architecture evolves and grows. • Contribute to operational excellence through production debugging and support.
• You're a foundational lead engineer willing to learn and own the existing system, iterate, and when appropriate, re-engineer. • You're a driven individual contributor with a mindset of ownership, execution, and delivery. • You have a strong bias toward correctness and verification. • You have experience building and operating large distributed systems. • You have interest in Bazel, Golang, Rust, and infrastructure-as-code.
• Competitive salary and equity compensation • Unlimited paid vacation with mandatory minimums • Top tier health benefits 100% paid for employees • Fully remote team
Apply Now