Principal Python Engineer

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