Platform Security Developer

Build the core reasoning engine policy analysis platform. You'll design and work with formal verification systems using SMT solvers and automated reasoning algorithms to model and analyze security policies at scale. This is a full-stack role requiring both algorithmic depth and production engineering skills.

What You'll Build

Core Development

• Design, implement, and/or work with automated reasoning algorithms for policy modeling
• Build SMT solver integrations and symbolic analysis tools for configuration verification
• Develop APIs connecting the reasoning engine to AI-based modules and backend systems
• Own the codebase from design through deployment across dev, staging, and production environments

Testing & Infrastructure

• Write comprehensive unit and integration tests in Python/Java
• Build CI/CD pipelines and automated test workflows
• Deploy and maintain sandbox test environments for complex customer configurations
• Implement automation and performance testing frameworks

Collaboration

• Work directly with product, UX, QA, and backend teams to shape the platform architecture
• Participate in code reviews and security audits
• Gather requirements and translate them into technical specifications
• Identify gaps in the platform and drive improvements

Requirements

Must Have

• 8+ years building production code for cloud or on-prem products
• Strong full-stack development skills (Python/Java/Golang preferred)
• Proven ability to work across the stack - backend, testing, QA, infrastructure
• Experience with Git, GitHub Actions, and CI/CD pipelines

Nice to Have

• Hands-on experience with PostgreSQL, MySQL, or MongoDB
• Comfortable debugging with observability tools (Datadog, Splunk, etc.)
• Familiarity with UI testing frameworks (Jest, Cypress, or similar)
• Experience with formal methods, SMT solvers, or constraint solving

Culture Fit

This is a startup environment - we move fast and work in ambiguity. You should thrive on unblocking yourself, context-switching between stack layers, and shipping quickly. Day-one mindset required.