Lead architect and implement code translation tools using AI and verification techniques, focusing on multi-language frameworks and cloud services.
Overview
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 that promises to bridge the gap between algorithm development and deployment to embedded systems.
In this role you will play a lead role in architecting and implementing a common platform for novel code translation pipelines that use a mix of Generative AI, Static Analysis and Formal Verification methods to translate code written in one language to another. You will also design, build and deploy multi-language code analysis/retrieval tools at scale.
Responsibilities- 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.
Must Have
- Seven or more years of experience with collaborative enterprise-level software development in Python to deliver products to a large customer base
- Demonstrated experience gathering requirements from stakeholders and distilling them into software designs
- Demonstrated experience planning and executing on large projects in a team-based setting
- Demonstrated history of building and delivering robust software by employing best practices throughout the SDLC process, including Code review, Testing, Continuous integration, Release management and Build systems
- Familiarity with Machine Learning Tools and Frameworks
- Expertise in building scalable APIs (REST, GraphQL, gRPC).
- Hands-on experience with Docker and containerized application development.
Great to Have
- Familiarity with agentic AI frameworks and solutions
- Familiarity with code analysis / static analysis.
- Experience working with cloud-based distributed systems (AWS, GCP, Azure).
Top Skills
AWS
Azure
Docker
Formal Verification
GCP
Generative Ai
GraphQL
Grpc
Python
Rest
Static Analysis
Similar Jobs
Healthtech • Telehealth
The Principal Software Engineer will lead technical direction, mentor engineers, and oversee project execution while implementing backend services in Python and React frontends. Responsibilities include driving innovation, shaping architecture, maintaining high engineering standards, and contributing to the operational lifecycle of features.
Top Skills:
AzureCi/CdDjangoFastapiFlaskPythonReact
Software • Business Intelligence
The Principal Python Engineer will design scalable architecture for data analytics, enhance team efficiency, choose new technologies, and solve complex data issues.
Top Skills:
ClickhouseCloud InfrastructureDockerFastapiPostgresPythonRedis
Software • Business Intelligence
The Principal Python Engineer will architect scalable data systems, improve engineer efficiency, manage analytics solutions, and choose technology stacks while ensuring high performance under growth.
Top Skills:
ClickhouseCloud InfrastructureDockerFastapiPostgresPythonRedis
What you need to know about the San Francisco Tech Scene
San Francisco and the surrounding Bay Area attracts more startup funding than any other region in the world. Home to Stanford University and UC Berkeley, leading VC firms and several of the world’s most valuable companies, the Bay Area is the place to go for anyone looking to make it big in the tech industry. That said, San Francisco has a lot to offer beyond technology thanks to a thriving art and music scene, excellent food and a short drive to several of the country’s most beautiful recreational areas.
Key Facts About San Francisco Tech
- Number of Tech Workers: 365,500; 13.9% of overall workforce (2024 CompTIA survey)
- Major Tech Employers: Google, Apple, Salesforce, Meta
- Key Industries: Artificial intelligence, cloud computing, fintech, consumer technology, software
- Funding Landscape: $50.5 billion in venture capital funding in 2024 (Pitchbook)
- Notable Investors: Sequoia Capital, Andreessen Horowitz, Bessemer Venture Partners, Greylock Partners, Khosla Ventures, Kleiner Perkins
- Research Centers and Universities: Stanford University; University of California, Berkeley; University of San Francisco; Santa Clara University; Ames Research Center; Center for AI Safety; California Institute for Regenerative Medicine

