Principal Software Engineer - C++

About This Role

Lead the architecture and implementation of novel code generation pipelines, utilizing AI, static analysis, and formal verification, to bridge algorithmic development and embedded system deployment.

Responsibilities

• 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

Requirements

• Seven or more years of experience with collaborative enterprise-level software development in C++ 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

Qualifications

• 7+ years with collaborative enterprise-level C++ software development to deliver products to a large customer base

Nice to Have

• Experience with Compiler development - experience with Clang, LLVM
• Experience with advanced software verification techniques like fuzzing and/or formal verification
• Python experience
• Experience with ML Tools and Frameworks
• Experience working with embedded, heterogeneous (FPGA and/or GPU), and/or distributed systems

Skills

* Required skills