Principal Software Engineer - C++

We are looking for an experienced software engineer to help us build a new generation of transpilation tools enabled by AI and modern verification techniques that promises to bridge the gap between algorithm development and deployment to embedded systems.

Requirements

• Define Software Architecture for Agentic AI pipelines.
• 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.
• Collaborate with the software engineering and research teams to build robust code repositories and continuous integration processes.

Benefits

• Generous Paid Time Off
• 401k Matching
• Retirement Plan
• Health Insurance
• Dental Insurance
• Vision Insurance
• Flexible Spending Accounts