Code Metal

Principal Software Engineer, Program Analysis for AI

Remote Boston, MA
C++ Python AI Machine Learning LLVM Clang
Description

Principal Software Engineer - C++

Location: Boston, Massachusetts, United States

Workplace: hybrid

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

Code Metal
Code Metal

0 applies

0 views

There are more than 50,000 engineering jobs:

Subscribe to membership and unlock all jobs

Engineering Jobs

60,000+ jobs from 4,500+ well-funded companies

Updated Daily

New jobs are added every day as companies post them

Refined Search

Use filters like skill, location, etc to narrow results

Become a member

🥳🥳🥳 452 happy customers and counting...

Overall, over 80% of customers chose to renew their subscriptions after the initial sign-up.

To try it out

For active job seekers

For those who are passive looking

Cancel anytime

Frequently Asked Questions

  • We prioritize job seekers as our customers, unlike bigger job sites, by charging a small fee to provide them with curated access to the best companies and up-to-date jobs. This focus allows us to deliver a more personalized and effective job search experience.
  • We've got over 200,000 jobs from 15,000+ vetted companies. No fake or sleazy jobs here!
  • We aggregate jobs from 15,000+ companies' career pages, so you can be sure that you're getting the most up-to-date and relevant jobs.
  • We're the only job board *for* software engineers, *by* software engineers… in case you needed a reminder! We add thousands of new jobs daily and offer powerful search filters just for you. 🛠️
  • Every single hour! We add 2,000-3,000 new jobs daily, so you'll always have fresh opportunities. 🚀
  • Typically, job searches take 3-6 months. EchoJobs helps you spend more time applying and less time hunting. 🎯
  • Check daily! We're always updating with new jobs. Set up job alerts for even quicker access. 📅

What Fellow Engineers Say