Code Metal
3 weeks ago Be among the first 25 applicants
Get AI-powered advice on this job and more exclusive features.
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
Seniority level
Seniority level Mid-Senior level Employment type
Employment type Full-time Job function
Job function Other Industries IT Services and IT Consulting Referrals increase your chances of interviewing at Code Metal by 2x Get notified about new Principal Software Engineer jobs in
Boston, MA . Software Engineering Manager, Infrastructure
Boston, MA $177,000.00-$251,000.00 4 days ago Boston, MA $160,000.00-$200,000.00 3 weeks ago Waltham, MA $160,000.00-$185,000.00 1 month ago Boston, MA $180,000.00-$220,000.00 5 months ago Senior Manager, Robotics Software Engineering
Software Engineering Manager, Motion Planning
Software Engineering Manager, Agent Experience - ServiceHub
Boston, MA $172,500.00-$190,000.00 1 month ago Boston, MA $170,000.00-$240,000.00 13 hours ago Software Engineering Manager (Healthcare)
Software Engineering Manager - Image Processing
Senior Software Engineer, Assistant Vice President
Boston, MA $90,000.00-$142,500.00 1 day ago Lowell, MA $143,100.00-$204,200.00 1 month ago Boston, MA $173,600.00-$282,100.00 3 days ago Senior Software Engineer, Assistant Vice President
Quincy, MA $90,000.00-$142,500.00 1 day ago Software Engineering Manager (Investment Management)
Boston, MA $132,000.00-$198,000.00 4 months ago Lowell, MA $126,300.00-$181,550.00 4 months ago Boston, MA $146,900.00-$211,140.00 4 days ago Newton, MA $150,000.00-$225,000.00 13 hours ago Burlington, MA $109,200.00-$223,400.00 2 weeks ago Senior Software Engineer, Mission System (Maritime)
Quincy, MA $168,000.00-$252,000.00 2 weeks ago Senior Manager, Robotics Software Engineering
Boston, MA $153,000.00-$229,500.00 4 days ago Lowell, MA $126,300.00-$181,550.00 3 months ago Senior Software Engineer, Mission System (Maritime)
Boston, MA $168,000.00-$252,000.00 2 weeks ago Manager of Software Engineering, Payroll Processing
Lowell, MA $126,300.00-$181,550.00 1 month ago Principal Software Architect – Energy & Grid Applications
Cambridge, MA $185,840.00-$232,300.00 3 weeks ago Boston, MA $112,000.00-$123,500.00 1 month ago We’re unlocking community knowledge in a new way. Experts add insights directly into each article, started with the help of AI.
#J-18808-Ljbffr
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
Seniority level
Seniority level Mid-Senior level Employment type
Employment type Full-time Job function
Job function Other Industries IT Services and IT Consulting Referrals increase your chances of interviewing at Code Metal by 2x Get notified about new Principal Software Engineer jobs in
Boston, MA . Software Engineering Manager, Infrastructure
Boston, MA $177,000.00-$251,000.00 4 days ago Boston, MA $160,000.00-$200,000.00 3 weeks ago Waltham, MA $160,000.00-$185,000.00 1 month ago Boston, MA $180,000.00-$220,000.00 5 months ago Senior Manager, Robotics Software Engineering
Software Engineering Manager, Motion Planning
Software Engineering Manager, Agent Experience - ServiceHub
Boston, MA $172,500.00-$190,000.00 1 month ago Boston, MA $170,000.00-$240,000.00 13 hours ago Software Engineering Manager (Healthcare)
Software Engineering Manager - Image Processing
Senior Software Engineer, Assistant Vice President
Boston, MA $90,000.00-$142,500.00 1 day ago Lowell, MA $143,100.00-$204,200.00 1 month ago Boston, MA $173,600.00-$282,100.00 3 days ago Senior Software Engineer, Assistant Vice President
Quincy, MA $90,000.00-$142,500.00 1 day ago Software Engineering Manager (Investment Management)
Boston, MA $132,000.00-$198,000.00 4 months ago Lowell, MA $126,300.00-$181,550.00 4 months ago Boston, MA $146,900.00-$211,140.00 4 days ago Newton, MA $150,000.00-$225,000.00 13 hours ago Burlington, MA $109,200.00-$223,400.00 2 weeks ago Senior Software Engineer, Mission System (Maritime)
Quincy, MA $168,000.00-$252,000.00 2 weeks ago Senior Manager, Robotics Software Engineering
Boston, MA $153,000.00-$229,500.00 4 days ago Lowell, MA $126,300.00-$181,550.00 3 months ago Senior Software Engineer, Mission System (Maritime)
Boston, MA $168,000.00-$252,000.00 2 weeks ago Manager of Software Engineering, Payroll Processing
Lowell, MA $126,300.00-$181,550.00 1 month ago Principal Software Architect – Energy & Grid Applications
Cambridge, MA $185,840.00-$232,300.00 3 weeks ago Boston, MA $112,000.00-$123,500.00 1 month ago We’re unlocking community knowledge in a new way. Experts add insights directly into each article, started with the help of AI.
#J-18808-Ljbffr