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.
You will contribute to the development of agentic AI pipelines, implementing complex workflows using state machines, message queues, and distributed systems.
You will build robust, extensible, and well-tested code foundations for code translation products.
You will work with containerized services using Docker for local development and deployment.
You will integrate formal verification and static analysis techniques into the pipeline in collaboration with domain experts.
You will contribute to distributed and cloud-based architectures for reliability and scalability.
Requirements:
You must have 5+ years of production software development experience in your language of choice.
You need deep knowledge of Python and at least one other backend programming language; bonus for C++ or Rust.
You should have strong experience in enterprise-level software development and delivering robust software to a large user base.
You must demonstrate proficiency in core software development practices, including version control, code review, testing, continuous integration, build systems, and release pipelines.
You should have experience working with Machine Learning tools or frameworks.
You need proficiency in building scalable APIs (REST, GraphQL, or gRPC).
You must have hands-on experience with Docker and containerized workflows.
All applicants must be eligible for TS/SCI.
Benefits:
You will receive a health care plan with 100% premium coverage, including medical, dental, and vision.
You will have access to a 401k with 5% matching.
You will enjoy Paid Time Off, which includes uncapped vacation, sick days, and public holidays.
You will benefit from a flexible hybrid work arrangement.
Relocation assistance will be provided for qualifying employees.
