VoltaiPalo Alto, CADevelops formal proofs for hardware design correctness using model checking and property verification. Collaborates with RTL and ML teams on hybrid engines for AI-generated hardware, requiring 5+ years in formal tools like JasperGold.
Technical lead on the Deliverability team owning high-volume email infrastructure, ingestion, routing, and outbound delivery systems that process millions of events. Requires 5+ years building scalable distributed backend systems with strong ownership of architecture, reliability, and on-call duties.
Backend Engineer building and optimizing core document workflows (viewing, editing, embeds, exports) and greenfield projects in a Django monolith. Requires 3+ years backend experience, strong Python skills, performance optimization, and automated testing.
Build and operate the enterprise control plane for OpenAI's Codex AI software engineer, focusing on security, governance, identity, access controls, encryption, and policy enforcement systems for large organizations.
Software Engineer III designing, building, and maintaining scalable backend systems with Java, Node.js/NestJS, Kafka, and cloud technologies (AWS/GCP). Requires Master's in CS + 2 years (or Bachelor's + 4 years) backend experience, microservices, databases, and REST APIs.
Software Engineer building scalable backend systems, services, and APIs for Upstart Bank, a modern AI-enabled national bank. Translate regulatory and business requirements into reliable software in a fintech environment; 4+ years backend/full-stack experience required.