Develops 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.
Backend engineer on the Data Platform team building scalable, resilient distributed services for large-scale data integration, event processing, and platform extensions. Requires 3+ years backend experience and expertise with distributed systems, messaging, and NoSQL technologies.
Design and build backend services powering automated verification workflows, financial data integrations, and approval decisioning for lending products. Requires 3+ years building distributed systems in Kotlin or Java.
Design and build cloud backend microservices for reliable robot-to-cloud communication, fleet management, and telemetry. Requires 4+ years experience and proficiency in TypeScript, Java, or Python.
Build and evolve Chime's risk platform and architecture as a backend-focused engineer on the Trust and Safety team. Requires 3+ years of production software experience and Ruby on Rails or comparable frameworks.