company

Principal Software Engineer - C++ for AI Program Analysis

code-metalBoston, Massachusetts, United States
On-site Full-time

Clicking Apply Now takes you to AutoApply where you can tailor your resume and apply.


Unlock Your Potential

Generate Job-Optimized Resume

One Click And Our AI Optimizes Your Resume to Match The Job Description.

Is Your Resume Optimized For This Role?

Find Out If You're Highlighting The Right Skills And Fix What's Missing

Experience Level

Senior

Qualifications

Key Responsibilities:Define the software architecture for Agentic AI pipelines. Create robust and extensible code foundations for code translation products, ensuring thorough testing. Work closely with domain experts to integrate formal verification and static analysis techniques into the code generation pipeline. Collaborate with software engineering and research teams to establish reliable code repositories and continuous integration processes. Must-Have Qualifications:Over seven years of experience in collaborative, enterprise-level software development using C++, delivering products to a broad customer base. Proven ability to gather requirements from stakeholders and translate them into effective software designs. Experience in planning and executing large-scale projects within a team environment. A strong track record of building and delivering high-quality software while adhering to best practices throughout the software development lifecycle, including code reviews, testing, continuous integration, release management, and build systems. Preferred Qualifications:Experience in compiler development, specifically with Clang and LLVM. Familiarity with advanced software verification techniques such as fuzzing and formal verification. Proficiency in Python. Experience with machine learning tools and frameworks. Background in working with embedded, heterogeneous (FPGA and/or GPU), and/or distributed systems.

About the job

Join our dynamic team as a Principal Software Engineer specializing in Program Analysis for AI! We are on the lookout for a highly skilled software engineer to spearhead the development of next-generation transpilation tools that leverage AI and advanced verification techniques. Your work will play a crucial role in bridging the gap between algorithm development and the deployment of these algorithms in embedded systems.

In this pivotal position, you will lead the design and implementation of innovative code generation pipelines that integrate Generative AI, Static Analysis, and Formal Verification methods to facilitate the translation of code from one programming language to another.

About code-metal

At code-metal, we are committed to pioneering the future of software engineering through innovation and cutting-edge technology. Our team thrives on collaboration and creativity, driving the development of tools that empower developers to transform their ideas into reality. With a focus on excellence and a passion for problem-solving, we are shaping the landscape of AI and embedded systems.

Similar jobs

Tailoring 0 resumes

We'll move completed jobs to Ready to Apply automatically.