E
Senior Software Engineer - AI-Powered Code Translation Pipelines
Relocation
AI Summary
Design and implement AI-powered code translation pipelines using Python and other languages. Collaborate with domain experts to integrate formal verification and static analysis techniques. Contribute to distributed and cloud-based architectures for reliability and scalability.
Key Highlights
Implement AI-powered code generation pipelines using Generative AI, Static Analysis, and Formal Verification methods
Contribute to the development of agentic AI pipelines using state machines, message queues, and distributed systems
Work with containerized services using Docker for local development and deployment
Integrate formal verification and static analysis techniques into the pipeline
Contribute to distributed and cloud-based architectures for reliability and scalability
Technical Skills Required
Benefits & Perks
Health care plan with 100% premium coverage
401k with 5% matching
Paid Time Off (Uncapped Vacation, plus Sick & Public Holidays)
Flexible hybrid work arrangement
Relocation assistance for qualifying employees
Job Description
Senior Software Engineer Python AI Pipelines
We are looking for a Senior Software Engineer to help build a new generation of transpilation tools powered by AI and modern verification techniques. These tools aim to bridge the gap between algorithm development and deployment to embedded systems.
In this role, you will work closely with experienced engineers and domain specialists to implement innovative code generation pipelines that leverage Generative AI, Static Analysis, and Formal Verification methods to translate code from one language to another.
- Contribute to the development of agentic AI pipelines, implementing complex workflows using state machines, message queues, and distributed systems.
- Build robust, extensible, and well-tested code foundations for code translation products.
- Work with containerized services using Docker for local development and deployment.
- Integrate formal verification and static analysis techniques into the pipeline in collaboration with domain experts.
- Contribute to distributed and cloud-based architectures for reliability and scalability.
Must Have
- 5+ years of production software development experience in your language of choice.
- Deep knowledge of Python and at least one other backend programming language - bonus for C++ or Rust.
- Strong experience in enterprise-level software development and delivering robust software to a large user base.
- Demonstrated proficiency in core software development practices, including: version control, code review, testing, continuous integration, build systems and release pipelines
- Experience working with Machine Learning tools or frameworks.
- Proficiency in building scalable APIs (REST, GraphQL, or gRPC).
- Hands-on experience with Docker and containerized workflows
- Experience working with AI/LLMs in production systems.
- Familiarity with compilers or static analysis tools.
- Experience with workflow orchestration, message queues (e.g., Kafka, RabbitMQ, Redis, Celery), or state machine design.
- Exposure to cloud platforms such as AWS, GCP, or Azure.
- Familiarity with tools like PromptFlow or other workflow automation systems.
Health care plan with 100% premium coverage, including medical, dental, and vision.
- 401k with 5% matching.
- Paid Time Off (Uncapped Vacation, plus Sick & Public Holidays).
- Flexible hybrid work arrangement.
- Relocation assistance for qualifying employees.
Similar Jobs
Explore other opportunities that match your interests
Systems Engineer II - Anti-Tamper & Program Protection (P2) (DoD Secret Clearance Required)
••••••
••••••
••••••
Job Type
••••••
Experience Level
••••••
Raytheon
United State
Senior Research Engineer - Synthetic Data Pipeline
••••••
••••••
••••••
Job Type
••••••
Experience Level
••••••
hud
United State
Visa Sponsorship
Relocation
Remote
Job Type
Full-time
Experience Level
Not Applicable
hud
United State