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

Workable
Freelance Software Developer (C/C++ - Rust) - AI Trainer
This opportunity is only for candidates currently residing in the specified country. Your location may affect eligibility and rates. At Mindrift, innovation meets opportunity. We believe in using the power of collective intelligence to ethically shape the future of AI. What we do The Mindrift platform connects specialists with AI projects from major tech innovators. Our mission is to unlock the potential of Generative AI by tapping into real-world expertise from across the globe. About the Role GenAI models are improving very quickly, and one of our goals is to make them capable of addressing specialized questions and achieving complex reasoning skills. If you join the platform as an AI Tutor in Coding, you’ll have the opportunity to collaborate on these projects.  Although every project is unique, you might typically: Analyze and understand existing code in Python or C/C++ Migrate logic to idiomatic, safe Rust while preserving functionality Adapt or port the test suite and ensure behavioral equivalence Document migration steps and technical decisions How to get started Simply apply to this post, qualify, and get the chance to contribute to projects aligned with your skills, on your own schedule. From creating training prompts to refining model responses, you’ll help shape the future of AI while ensuring technology benefits everyone. Requirements You have a Bachelor's or Master’s degree in Software Development, Computer Science, or other related fields.  You have at least 3 years of professional experience with C/C++ and 1+ year of hands-on experience with Rust. You are experienced with FFI tools (bindgen, cxx) and unsafe Rust for C/C++interoperability. You bring experience testing migrated code (unit/integration/fuzz tests). You demonstrate solid understanding of systems programming (memory management, concurrency). You are skilled at refactoring legacy code and documenting migration steps. Prompt engineering experience is a strong plus. Your level of English is advanced (C1) or above. You are ready to learn new methods, able to switch between tasks and topics quickly and sometimes work with challenging, complex guidelines. Our freelance role is fully remote so, you just need a laptop, internet connection, time available and enthusiasm to take on a challenge. Benefits Why this freelance opportunity might be a great fit for you? Get paid for your expertise, with rates that can go up to $50/hour depending on your skills, experience, and project needs. Take part in a part-time, remote, freelance project that fits around your primary professional or academic commitments. Work on advanced AI projects and gain valuable experience that enhances your portfolio. Influence how future AI models understand and communicate in your field of expertise.
New York, NY, USA
$50
Craigslist
CDL A Company Truck Driver - Home Weekends (Columbus)
At Ryan Logistics, we prioritize family values and understand the importance of work-life balance. We strive to support our drivers both on and off the road. Our company culture is built on the belief that great people make a company, and we ensure a supportive environment for our staff to provide exceptional service.   Have questions? Speak to a recruiter: (937) 326-0982 Operating Area: Midwest and Southern United States (no East Coast) Home Time: Home Weekends Pay: Up to $0.62 per mile (CPM) Average Miles Per Week: 2,800 - 3,200 Equipment: Modern and well-maintained Route: Regional - Home Weekends Did you know: There is no waiting/probation period to get paid for the holiday? New drivers do not have to wait to receive holiday pay. Key Responsibilities: Safely operate company vehicles over long distances in compliance with all traffic laws and regulations Transport goods and materials efficiently and on schedule Maintain communication with dispatch and provide timely updates on deliveries Ensure proper handling and securing of freight to prevent damage or loss Adhere to company policies and procedures regarding safety and transportation regulations Qualifications: Valid CDL Class A license Clean driving record Ability to pass a DOT physical and drug test 5 years of CDL experience Benefits: Medical, Dental, and Vision Insurance for driver and family 1 week vacation after 6 months 1 week vacation after 1 year 401K with 25% company match Paid weekly And much more—details provided upon application. Apply Now. Additional Information: No HazMat freight Respectful work environment with a team atmosphere Personalized relationships with management and fellow staff members Flexible scheduling to accommodate personal needs Family-owned and operated for 20 years, providing stability and a supportive culture Have questions? Speak to a recruiter: (937) 326-0982   Join our team at Ryan Logistics where your skills are valued, and your well-being matters. Apply today and enjoy the benefits of being home every day!  
2154 Cloverleaf St E, Columbus, OH 43232, USA
$1,200/month
Workable
.NET Core Developer - DMV Systems
The ITD Department of Motor Vehicles (DMV) needs a strong .NET core/C# software engineer. This is a FULLY ONSITE POSITION located in Boise, Idaho. Remote work WILL NOT be considered. Experience: 6 Years IMPORTANT:  This is a FULLY ONSITE POSITION located in Boise, Idaho. Remote work WILL NOT be considered. Local candidates should be submitted for the position.  The ITD Department of Motor Vehicles (DMV) has the obligation to provide a variety of motor vehicle registration services, operator licensing services, and regulatory compliance services as mandated by the Idaho Legislature and applicable Federal regulations. DMV is modernizing their systems and is developing and maintaining a significant baseline of source code and associated data base structures as a part of this modernization effort. Session management in .Net Core web development will be a big part of the job. The scope of this work is to develop software systems for: 1. Driver's License Issuance and Credentialing 2. Vehicle Registration and Titling 3. Motor Vehicle regulation compliance 4. Commercial Motor Vehicle Services 5. Motor Vehicle Dealer licensing 6. Supporting Administrative Systems 7. Other features and functions as designated by the Motor Vehicle Administrator Agency Expected Deliverables 1. Reviewing, understanding and implementing defined customer requirements. 2. Reviewing, understanding and correcting identified problems. 3. Testing and verification of operation consistent with user requirements. 4. Source Code meeting ITD quality standards and in conformance with established procedures. 5. Release of object code meeting ITD quality standards and in conformance with established procedures. 6. Interacting with technical and non-technical staff as needed in the execution of the above in an Agile/Scrum environment
Boise, ID, USA
Negotiable Salary
Workable
.Net Developer
Role: .Net Developer Location: Redmond, WA(Onsite) Position Type: Contract Job Description:- Must Have Skills: • 3+ years of hands-on development experience with Kubernetes/Azure Kubernetes Service (AKS) Experience with Azure DevOps or GitHub Actions for CI/CD pipelines • 6+ years of experience in software development using C# and .NET Core /.NET Framework • Working on DevSecOps practices and secure coding standards for AKS deployments • Cloud above ARM deployment experience and CIS/RPv2 Deployments • ARM Templates: Expertise in authoring and modifying Azure Resource Manager (ARM) templates Good to Have Skills: •  Experience with other Azure services such as Azure SQL, Azure Data Factory, and Blob Storage •  Knowledge of RESTful APIs and microservices architecture •  Python, PowerShell, YAML/JSON •   Certifications such as Microsoft Certified: Azure Developer Associate or Kubernetes Administrator Responsibilities: •  Design, develop, and maintain C# applications for cloud-native environments. •  Automate deployment workflows for AKS and Above ARM services •  Integrate CIS buildout automation into existing pipelines and workflows •  Collaborate with cloud engineers, DevOps, and security teams to ensure secure and scalable deployments •  Troubleshoot and resolve deployment issues across environments •  Maintain documentation and contribute to continuous improvement of buildout processes
Redmond, WA, USA
Negotiable Salary
Workable
Sr Informatica ETL Developer III
· Responsible for detailed design, development/unit testing and support for integration testing · Experienced in both working with QA teams for integration testing as well as being responsible for testing own work (i.e. QA is not always involved in every task - ability to thoroughly test their own code is mandatory) · Produce scalable and flexible, high-quality code that satisfies both the functional and non-functional requirements · Identify technical issues & coordinate the resolution of these issues with technical lead team members · Uses secure development best practices and design patterns · Create or update design and systems documentation for developed or modified services or programs · Create process and data flow diagrams for data movement capture · Cross train team members for full knowledge coverage on team · Analyze and translate business requirements to technical design · Analyze and resolve technical issues · Collaborate/communicate with project team and business users as required · Support functional testing and performance testing · Works with technical delivery lead on project activities · Ensure assigned work is implemented within project schedules Incudes all developer skills, plus the following; ·Minimum of 7+ years overall IT experience ·Strong Automotive OEM experience a plus ·Experienced in waterfall, iterative, and agile methodologies # Informatica ·DBMS: Oracle, MYSQL, Cloudera DataLake/SQL experience ·Strong experience with Informatica programming across three main products BDM, Power Center and IICS - IDQ and ICRT experience is a plus. ·Skilled in Microsoft Office applications (Visio, Word, Excel, Access) ·Experience in both Unix and Windows platforms ·Design and develop Informatica workflows to exchange data with the Oracle databases, Salesforce, Data Lake or other operational or warehouse data stores ·Be able to create or modify Perl scripts for job control and process flow ·Additonal experience a plus: Axon
Auburn Hills, MI, USA
Negotiable Salary
Workable
Developer Advocate Engineer, Hub/Enterprise - US Remote
At Hugging Face, we’re on a journey to democratize good AI. We are building the fastest growing platform for AI builders with over 5 million users & 100k organizations who collectively shared over 1M models, 300k datasets & 300k apps. Our open-source libraries have more than 400k+ stars on Github. About the Role As a Developer Advocate Engineer, you will be a pivotal force in driving the adoption and amplifying awareness of the Hugging Face Hub and our paid offerings (like the Hugging Face Enterprise Hub and our new Inference Providers feature). Your primary focus will be on creating compelling technical content, to showcase the Hub's capabilities and our paid solutions. This position involves working collaboratively across various teams, including Product, Infrastructure and Open Source.In day-to-day, this role will primarily involve: Technical Content Creation: Authoring documentation, blog posts, tutorials, articles, creating engaging videos and presentations for conferences and webinars... All content will aim to educate, inspire, and convert potential users into active adopters of the Hub and our Enterprise solutions, clearly articulating the benefits for different user and enterprise needs. Engaging Demos and Prototypes: Designing and developing compelling demos and prototypes that showcase the power and versatility of the Hugging Face Hub, with easy-to-use code repositories to allow developers to quickly replicate and build upon your examples. These demos will illustrate pathways to value, for instance leveraging our Inference Providers for streamlined access to a multitude of models. Ecosystem Engagement and Awareness Building: Proactively identify and cultivate relationships within the developer ecosystem. Share your content and demos widely, engage in relevant communities, and participate in events to increase visibility, build awareness, and drive new user acquisition for the Hub and its paid features. About you You’ll work with a supportive team of engineers and a vast ecosystem while enjoying a lot of autonomy. This position is ideal for someone who is: An Exceptional Content Creator and Communicator: You have a proven ability to create clear, engaging, and technically accurate content (written, code, video) that resonates with developers. You excel at explaining complex topics simply. Generalist Engineer with Developer Empathy: Versatile and empathetic, with a strong understanding of developers' needs, pain points, and learning processes. Enthusiastic Evangelist for ML-Focused Products: Passionate about working on cutting-edge ML products and proactively demonstrating their value to diverse audiences through compelling content and demos. Developer-First and Growth-Oriented Mindset: Dedicated to empowering developers through excellent resources, with a strong focus on driving adoption and expanding our community through educational outreach. Adoption, Accessibility, and Awareness Advocate: Deeply committed to creating resources that are not only technically sound but also highly accessible, discoverable, and effective in driving widespread adoption. Product, Technical, and Content Ownership: Possesses a strong sense of ownership and responsibility for the quality and impact of your content and its role in the product's success in the market. If you're interested in joining us but don't tick every box above, we still encourage you to apply! We're building a diverse team whose skills, experiences, and backgrounds complement one another. We're happy to consider where you might be able to make the biggest impact. More about Hugging Face We are actively working to build a culture that values diversity, equity, and inclusivity. We are intentionally building a workplace where you feel respected and supported—regardless of who you are or where you come from. We believe this is foundational to building a great company and community, as well as the future of machine learning more broadly. Hugging Face is an equal opportunity employer, and we do not discriminate based on race, ethnicity, religion, color, national origin, gender, sexual orientation, age, marital status, veteran status, or ability status. We value development. You will work with some of the smartest people in our industry. We are an organization that has a bias for impact and is always challenging ourselves to grow continuously. We provide all employees with reimbursement for relevant conferences, training, and education. We care about your well-being. We offer flexible working hours and remote options. We offer health, dental, and vision benefits for employees and their dependents. We also offer parental leave and flexible paid time off. We support our employees wherever they are. While we have office spaces in NYC and Paris, we're very distributed, and all remote employees have the opportunity to visit our offices. If needed, we'll also outfit your workstation to ensure you succeed. We want our teammates to be shareholders. All employees have company equity as part of their compensation package. If we succeed in becoming a category-defining platform in machine learning and artificial intelligence, everyone enjoys the upside.
New York, NY, 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.