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
Principal Software Engineer - C++ • Boston, MA, US
Mastercard powers economies and empowers people in 200+ countries and territories worldwide.Together with our customers, we’re helping build a sustainable economy where everyone can prosper.We supp... Show more
Boston, Massachusetts, United States.Anduril Industries is a defense technology company with a mission to transform U.By bringing the expertise, technology, and business model of the 21st century's... Show more
A pioneering science tech company located in Cambridge is seeking a Principal Software Engineer to lead the development of a cutting-edge laboratory-automation platform.You will architect simulatio... Show more
Principal Quant Software Engineer page is loaded## Principal Quant Software Engineerlocations: Boston, MAtime type: Full timeposted on: Posted Todayjob requisition id: 2119222## ## Job Desc... Show more
Santiago, Chile, 8900000 | BOSTON, United States, 02111 | Remote, United States, Georgia | SPOKANE, United States, 99201.PRINCIPAL SOFTWARE ENGINEER ( CRM).HYBRID : Locations: Boston, Spokane WA... Show more
Direct message the job poster from Compunnel Inc.Client Digital Assets, a client Investments Company, is developing a full-service enterprise-grade platform for storing, trading, and servicing digi... Show more
A Boston-based startup, with the backing of a $150 Billion company and led by founders with previous startup success, is looking to hire a Principal Software Engineer to build out their front end a... Show more
Here at Humanoid, we believe in a future where robots amplify human potential.That’s why we’ve set out on a mission to build the world’s most capable, commercially‑scalable, and safe humanoid robot... Show more
Ahold Delhaize USA, a division of global food retailer Ahold Delhaize, is part of the U.Food Lion, Giant Food, The GIANT Company, Hannaford and Stop & Shop.Ahold Delhaize USA associates support the... Show more
At Red Hat, we believe the future of AI is open and we are on a mission to bring the power of open‑source LLMs and vLLM to every enterprise.The Red Hat AI Inference team accelerates AI for the ente... Show more
Humanoid, you will be at the heart of developing the core OS, data networks and protocols, and fundamental software subsystems for our next-generation humanoid robots.You will help develop the foun... Show more
Get AI-powered advice on this job and more exclusive features.Direct message the job poster from Strativ Group.Principal Software Engineer – C++.Remote or Hybrid Boston - If in Boston, ideally see ... Show more
Founded in 2016, LogRocket's goal is to make every experience on the web as perfect as possible.We're solving a huge challenge for product managers and developers - understanding the user experienc... Show more
Role: Principle Software Engineer - ( Senior Enterprise Architect).DALLAS TX (hrbrid role) REMOTE option will be available for the right candidate.Candidates on Optional Practical Training (OPT/CPT... Show more
Help redefine how the DoD makes multi‑billion‑dollar force‑design decisions.In this role, you’ll fuse physics‑driven simulation, interactive computing, and verified AI code‑generation to create nex... Show more
Senior Software Engineer C++ UI Development Embedded Linux Roku.We are seeking a Senior Software Engineer to join our team and focus on developing core features for the Roku platform UI.In this rol... Show more
We are looking for a hands-on software engineer to work on embedded systems, robotics frameworks, and cutting-edge autonomy stacks.Develop C++ software for autonomous aerial and ground systems.Cont... Show more
At EY, you’ll have the chance to build a career as unique as you are, with the global scale, support, inclusive culture and technology to become the best version of you.And we’re counting on your u... Show more
Iterable is the leading AI-powered customer engagement platform that helps leading brands like Redfin, SeatGeek, Priceline, Calm, and Box create dynamic, individualized experiences at scale.Our pla... Show more
Wolters Kluwer Tax & Accounting team is looking for a.You will build AI -powered audit solutions that help professionals analyze complex documents, interpret rules, detect exceptions and generate e... Show more
