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
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
Artificial Intelligence • Information Technology • Machine Learning • Software • Virtual Reality • Analytics
Nagarro seeks an Associate Principal Engineer with extensive IT experience in Python to drive strategic value and innovation in product engineering.
Top Skills:
Python
What you need to know about the Austin Tech Scene
Austin has a diverse and thriving tech ecosystem thanks to home-grown companies like Dell and major campuses for IBM, AMD and Apple. The state’s flagship university, the University of Texas at Austin, is known for its engineering school, and the city is known for its annual South by Southwest tech and media conference. Austin’s tech scene spans many verticals, but it’s particularly known for hardware, including semiconductors, as well as AI, biotechnology and cloud computing. And its food and music scene, low taxes and favorable climate has made the city a destination for tech workers from across the country.
Key Facts About Austin Tech
- Number of Tech Workers: 180,500; 13.7% of overall workforce (2024 CompTIA survey)
- Major Tech Employers: Dell, IBM, AMD, Apple, Alphabet
- Key Industries: Artificial intelligence, hardware, cloud computing, software, healthtech
- Funding Landscape: $4.5 billion in VC funding in 2024 (Pitchbook)
- Notable Investors: Live Oak Ventures, Austin Ventures, Hinge Capital, Gigafund, KdT Ventures, Next Coast Ventures, Silverton Partners
- Research Centers and Universities: University of Texas, Southwestern University, Texas State University, Center for Complex Quantum Systems, Oden Institute for Computational Engineering and Sciences, Texas Advanced Computing Center

