We are looking for an experienced software engineer to help us build a new generation of code translation tools enabled by AI and modern verification techniques.
Requirements
- Define Software Architecture for Agentic AI pipelines
- Architect and implement complex workflows involving state machines, message queues, and distributed processing
- Build well tested extensible code foundations for code translation products
- Collaborate with domain specialists to incorporate formal verification and static analysis methods into code generation pipeline
- Design language-agnostic code translation architecture patterns from practical examples
- Design, build and deploy multi-language code and library analysis tools at scale
- Work with cloud services and distributed architectures to ensure high availability
Benefits
- Generous Paid Time Off
- 401k Matching
- Retirement Plan
- Visa Sponsorship
- Four Day Work Week
- Generous Parental Leave
- Tuition Reimbursement
- Relocation Assistance