Browse
···
Log in / Register

Principal Software Engineer - C++

Negotiable Salary

Code Metal

Boston, MA, USA

Favourites
Share

Description

Job Title Principal Software Engineer - Program Analysis for AI Overview 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. In this role you will play a lead role in architecting and implementing novel code generation pipelines that use a mix of Generative AI, Static Analysis and Formal Verification methods to translate code written in one language to another. Requirements 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. Must Have ● 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 Great 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

Source:  workable View original post

Location
Boston, MA, USA
Show map

workable

You may also like

Workable
.Net Developer
Role: .Net Developer Location: Redmond, WA(Onsite) Position Type: Contract Job Description:- Must Have Skills: • 3+ years of hands-on development experience with Kubernetes/Azure Kubernetes Service (AKS) Experience with Azure DevOps or GitHub Actions for CI/CD pipelines • 6+ years of experience in software development using C# and .NET Core /.NET Framework • Working on DevSecOps practices and secure coding standards for AKS deployments • Cloud above ARM deployment experience and CIS/RPv2 Deployments • ARM Templates: Expertise in authoring and modifying Azure Resource Manager (ARM) templates Good to Have Skills: •  Experience with other Azure services such as Azure SQL, Azure Data Factory, and Blob Storage •  Knowledge of RESTful APIs and microservices architecture •  Python, PowerShell, YAML/JSON •   Certifications such as Microsoft Certified: Azure Developer Associate or Kubernetes Administrator Responsibilities: •  Design, develop, and maintain C# applications for cloud-native environments. •  Automate deployment workflows for AKS and Above ARM services •  Integrate CIS buildout automation into existing pipelines and workflows •  Collaborate with cloud engineers, DevOps, and security teams to ensure secure and scalable deployments •  Troubleshoot and resolve deployment issues across environments •  Maintain documentation and contribute to continuous improvement of buildout processes
Redmond, WA, USA
Negotiable Salary
Cookie
Cookie Settings
Our Apps
Download
Download on the
APP Store
Download
Get it on
Google Play
© 2025 Servanan International Pte. Ltd.