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

Craigslist
Start Your Software Development Career 🧑‍💻
We are seeking ambitious individuals eager to start careers in technology. If you want hands-on coding knowledge, real project experience, and readiness for developer jobs, this program is designed for you. This remote program offers flexibility to study full-time or part-time, with nearly 900 hours of guided training. You’ll master programming languages, industry tools, and workflows—all while building a strong portfolio and résumé to secure your first developer role. 🖥️ Technology & Programming Fundamentals -Learn how computers, networks, browsers, and the internet operate -Study algorithms, data structures, numeric systems, and security concepts -Work with Python scripting, the command line, and flowchart logic 💻 Web & Front-End Development -Create websites with HTML5, CSS3, and Bootstrap -Build dynamic content with JavaScript, jQuery, and React.js -Practice responsive and modern web design 🗄️ Back-End & Database Development -Design and maintain databases using SQL and SQL Server -Perform CRUD operations and learn relational database systems -Build back-end solutions with Python (Django) and C# (.NET/Core) 🧑‍💻 Programming Languages & Tools -Work with C#, Python, JavaScript, HTML, CSS, SQL, and more -Use Git, GitHub, Visual Studio, and Team Foundation Server -Practice professional version control and collaboration 🧪 Capstone Projects -Complete two major projects (Python + C#) to demonstrate skills -Build portfolio projects using Agile, Scrum, and DevOps methods -Develop problem-solving, debugging, and teamwork skills 🧰 Career Preparation -Learn résumé and cover letter development -Train for technical and whiteboard interviews -Enter the workforce as a software or web developer 🚀 No prior experience required. Remote-friendly opportunity. Start your career in software development today. 👉 Apply here: https://softwaredevpros.online/
3332 W 63rd Pl, Chicago, IL 60629, USA
$30/hour
Craigslist
Enroll in the Software Boot Camp Online Today and Land a Tech Job
The Tech Academy delivers cost-effective and self-paced online coding boot camps that are tailored for beginners with no prior technical or coding knowledge. Our certification programs thoroughly cover in-demand skills for the tech industry, are endorsed by stellar online reviews and designed to fit around your personal schedule to prepare you for your tech career with a well-rounded tool kit. We have been offering thorough, budget-friendly, flexible, and trusted coding boot camps for over a decade. Founded in 2014, The Tech Academy specializes in certifying students in a wide range of technical specialties, including: AI, coding, cybersecurity, data science, app development, design, web development, and more. After your coding boot camp, our job placement specialists will provide you with career guidance. Our team has successfully placed over 1,000 graduates in technical positions, with most making an average of more than $30/hour in their first job after graduation. Here is an overview of The Tech Academy's certification programs: 1. FLEXIBLE SCHEDULING & SELF-PACED TRAINING 2. BEGINNER-FRIENDLY COURSES 3. WELL-ROUNDED & THOROUGH TRAINING 4. AFFORDABLE & BUDGET-FRIENDLY TUITION 5. OVER 1,000 5-STAR REVIEWS ONLINE 6. JOB PLACEMENT TRAINING & ASSISTANCE The Tech Academy’s online certification programs start at $5,980, with multiple tuition financing options available. Start your journey into the technology industry today with one of our award-winning online coding boot camps! Find out more here by contacting us here: https://thetechacademy.us Your dream job in tech is just a Tech Academy boot camp away!
901 5th Ave #3100, Seattle, WA 98164, USA
$30/hour
Workable
Senior Embedded engineer
Responsibilities: • Analyze and understand existing Python code for electromagnetic field computations. • Translate Python code into efficient, high-performance C++ code for embedded systems. • Implement and optimize mathematical and computational algorithms to enhance performance, focusing on manipulating and analyzing data in multidimensional spaces. • Collaborate with cross-functional teams to ensure the accuracy and efficiency of the code conversion. • Optimize computation to achieve real-time processing performance on embedded platforms. • Document code and processes to facilitate future maintenance and updates. Skillsets: • 7+ years of experience and working at a Senior or Principal level • Proficiency in designing, implementing, and optimizing Digital Signal Processing algorithms and with embedded systems design. • Experience optimizing algorithms for embedded targets that are memory and CPU resource constrained with optimizing computations for real-time processing. • Experience with DSP hardware and software tools and strong debugging and troubleshooting skills with target tools and environments. • Experience with real-time operating systems (RTOS) requirements • Experience with working with C++ mathematical libraries and tools that use linear algebra: matrices, vectors, numerical solvers, and geometric transformations • Familiarity with microcontrollers, DSP processors, and interfacing to FPGA. • Experience in agile development methodologies • Languages: C++, Python, MATLAB • Familiarity with mathematical and scientific simulations software tools like MATLAB, Eigen, Boost • Experience working with Git Qualifications: • Minimum M.S. in Electrical Engineering, Computer Engineering, or Computer Science, Mathematics, or a related field. • Proven experience in C++ development with a strong understanding of Python. • Experience in embedded systems programming and development. • Familiarity with Python libraries used for scientific computations (e.g., NumPy, SciPy). • Experience with optimizing computations for real-time processing is highly desirable. Preferred Qualifications: • Background in physics or electrical engineering with a focus on electromagnetic fields. • Knowledge of electromagnetic field computations and related mathematical concepts, and experience with complex number handling. • Experience in using mathematical libraries and tools, particularly in the context of linear algebra, geometric transformations, and optimization techniques such as iterative algorithms. • Experience with software development lifecycle (SDLC) in regulated environment • Experience working with GitHub, Bitbucket, Jira, Confluence
Lafayette, CO, 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.