We are looking for an experienced software engineer to help us build a new generation of transpilation tools enabled by AI and modern verification techniques.
Requirements
- Define Software Architecture for Agentic AI pipelines
- Deploy and manage containerized services using Docker
- 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
- Work with cloud services and distributed architectures to ensure high availability
Benefits
- Generous Paid Time Off
- 401k Matching
- Retirement Plan
- Four Day Work Week
- Generous Parental Leave
- Tuition Reimbursement
- Relocation Assistance