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
Machine Learning Researcher / Engineer (Foundational Models)
About Pathway Pathway is building LiveAI™ systems that think and learn in real time as humans do. Our mission is to deeply understand how and why LLMs work, fundamentally changing the way models think. The team is made up of AI luminaries. Pathway's CTO, Jan Chorowski, co-authored papers with Geoff Hinton and Yoshua Bengio and was one of the first people to apply attention to speech. Our CSO, Adrian Kosowski, received his PhD in Theoretical Computer Science at the age of 20 and made significant contributions across numerous scientific fields, including AI and quantum information. He also served as a professor and a coach for competitive programmers at Ecole Polytechnique. The team also includes numerous world's top scientists and competitive programmers, alongside seasoned Silicon Valley executives. Pathway has strong investor backing. To date, we have raised over $15M; our latest reported round was our seed. Our offices are located in Palo Alto, CA, as well as Paris, France, and Wroclaw, Poland. The Opportunity This is an R&D position in attention-based models. We are currently searching for 1 or 2 R&D Engineers with a strong track record in machine learning models research. This is an extremely ambitious foundational project. There is a flexible GPU budget associated with this specific project, guaranteed to be in the 7-digit range minimum. You Will perform (distributed) model training. help improve/adapt model architectures based on experiment results. design new tasks and experiments. optionally: oversee activities of team members involved in data preparation. The results of your work will play a crucial role in the success of the project. Requirements Cover letter It's always a pleasure to say hi! If you could leave us 2-3 lines, we'd really appreciate that. You are expected to meet at least one of the following criteria: You have published at least one paper at NeurIPS, ICLR, or ICML - where you were the lead author or made significant conceptual & code contributions. You have significantly contributed to an LLM training effort which became newsworthy (topped a Huggingface benchmark, best in class model, etc.), preferably using multiple GPU's. You have spent at least 6 months working in a leading Machine Learning research center (e.g. at: Google Brain / Deepmind, Apple, Meta, Anthropic, Nvidia, MILA). You were an ICPC World Finalist, or an IOI, IMO, or IPhO medalist in High School. You Are A deep learning researcher, with a track record in Language Models and/or RL (candidates with a Vision or Robotics ML background are also welcome to apply). Interested in improving foundational architectures and creating new benchmarks. Experienced at hands-on experiments and model training (PyTorch, Jax, or Tensorflow). Have a good understanding of GPU architecture, memory design, and communication. Have a good understanding of graph algorithms. Have some familiarity with model monitoring, git, build systems, and CI/CD. Respectful of others Fluent in English Bonus Points Knowledge of approaches used in distributed training. Familiarity with Triton Successful track-record in algorithms & data science contests. Showing a code portfolio. Why You Should Apply Join an intellectually stimulating work environment. Be a pioneer: you get to work with a new type of "Live AI" challenges around long sequences and changing data. Be part of one of an early-stage AI startup that believes in impactful research and foundational changes. Benefits Type of contract: Full-time, permanent Preferable joining date: Immediate. The positions are open until filled – please apply immediately. Compensation: six-digit annual salary based on profile and location + Employee Stock Option Plan. Location: Remote work. Possibility to work or meet with other team members in one of our offices: Palo Alto, CA; Paris, France or Wroclaw, Poland. Candidates based anywhere in the EU, UK, United States, and Canada will be considered. If you meet our broad requirements but are missing some experience, don’t hesitate to reach out to us.
Palo Alto, CA, USA
$100,000/year
Workable
Freelance Software Developer (TypeScript) - Quality Assurance (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: Code generation and code review Prompt evaluation and complex data annotation Training and evaluation of large language models Benchmarking and agent-based code execution in sandboxed environments Working across multiple programming languages (Python, JavaScript/TypeScript, Rust, SQL, etc.) Adapting guidelines for new domains and use cases Following project-specific rubrics and requirements Collaborating with project leads, solution engineers, and supply managers on complex or experimental projects 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 in Software Development, Computer Science, or other related fields.  You have at least 3 years of professional experience with with testing frameworks/automation tools (Playwright, Cypress, Jest) in TypeScript environments. Experience with code review, quality analysis, and identifying/fixing code smells and type issues⁠. Familiar with test integration in CI/CD environments. Experience using, integrating, or tutoring others in AI/ML or LLM-powered testing/coding solutions. Strong documentation and bug-tracking skills. Hackathon or competitive coding experience is a 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.
Colorado, USA
$50
Craigslist
COME EARN WHAT YOU ARE WORTH! - HIRING CLASS A DRIVERS! NEW TRUCKS! (SACRAMENTO, CA.)
IMMEDIATE OPENINGS: COME EARN WHAT YOU ARE WORTH! ONLINE APPLICATION: www.DriveWithMahal.com CALL: 855-466-2425 x 6 (Recruiting) CALL/TEXT: Ronnie Sanchez: 661-573-7663 - (Se Habla Español) CALL/TEXT: Jamie Lilburn: 661-742-2709 **PLEASE CALL ONLY DURING BUSINESS HOURS - TEXTS WILL BE RESPONDED TO AS SOON AS POSSIBLE** Mahal Bros is seeking RELIABLE, HONEST, & HARD WORKING Class A drivers. Mahal Bros provides premier truckload services to some of the world's most discerning shippers. We are a family owned & operated company that has a proven track record of excellence -- offering "just-in-time" service around the clock. Work for a small successful company that operates in an open communicative environment and can get answers when you need them. Our dispatchers provide you a one contact person covering customer service, dispatch, and planning. Our dispatchers know trucking and we know how to help you make money. We serve a solid, well established, long term customer base. We are picky and you should be too. Mahal Bros is a trucking company who believes in honest open communication and doing the right thing. Our drivers enjoy good miles and allow them for more frequent home time while making exceptional income. We know your name and face. We recognize and reward your effort. We extend our love to your family by making sure you get home often. Some call it respect. Others call it smart. At Mahal Bros, we call it love. Why Choose Mahal Bros? TOP INDUSTRY PAY! If you've got the experience, we want YOU! Come earn what you are worth!!! ALL miles PAID! Extra Pick/Drop PAID! (95% of our work is 1 Pick 1 Drop with minimal wait time) Detention PAID! Layover PAID! 34HR reset on the road? PAID! Breakdown PAID! STRONG driver support system. 100% NO TOUCH FREIGHT! Flexible home time you deserve! Miles, Miles, Miles! Drivers averaging 3000+ miles per week! Weekly Payroll. Direct deposit available. In-house fleet maintenance. Pet-Friendly No Slip Seating! Servicing Areas: Regional Dispatch Team Covers: CA outbound - AZ, NV, NM, UT, ID, CO, OR, WA lanes. Drivers can choose to run Regional/OTR as they wish. OTR Dispatch Team Covers: Midwest: CA outbound - NE, KS, IA, MN, WI, IN, MI, KY, OH, PA Southeast: CA outbound - LA, MS, AL, TN, KY, WV, VA, NC, SC, GA, FL Central States: CA outbound - TX, OK, MO, AR State of the Art Equipment: 2023-2025 Freightliner Cascadia's FULLY Loaded with Fridges, Inverters, APU's & MUCH MORE! 2023-2025 Utility or Great Dane's with Thermo King Units ------------------------> COME DRIVE IN STYLE <------------------------ Requirements: 2 years verifiable OTR experience Valid Class A License Acceptable DMV & verifiable work references Commitment and Dedication! Excellent communication skills! NO drug or alcohol violations MUST know how to thoroughly perform a Pre-Trip Inspection ONLINE APPLICATION: www.DriveWithMahal.com ️ TEXT: 661-573-7663 - Ronnie Sanchez (Si Habla Español) ️ TEXT: 661-742-2709 - Jamie Lilburn ️ OFFICE LINE - CALL: 855-466-2425 X 6 (Recruiting) ️ SE HABLA ESPANOL Please fill out the application online or come in from 7AM - 3PM Monday through Friday. Mahal Bros Transport Inc 2138 S Union Ave Bakersfield, CA 93307 www.MahalBros.com 1-855-GO-MAHAL 1-855-466-2425 1-661-836-7670 - EXT 6 (Recruiting / 8AM-3PM) Call/Text: 661-573-7663 - Ronnie Sanchez (Si Habla Español) Call/Text: 661-742-2709 - Jamie Lilburn Email: Recruiting @ MahalBrothers.com (Take Out Spaces) **PLEASE CALL ONLY DURING BUSINESS HOURS - TEXTS WILL BE RESPONDED TO AS SOON AS POSSIBLE** IGNORE - Keywords: cdl, owner operator, driver, commercial, fleet, freight, warehouse, shipping, shipper, receiver, receiving, logistics, miles, loads, mile, load, fuel cards, truck, skills, phone, customer, service, exceptional, excellent, experienced, solo, position, trucking, job, safety, dot, fmcsa, fast, motor, carrier, transportation, contractor, control, invoice, bill of lading, compensation, salary, commissions, skills, work, brokerage, trailer, dry van, reefer, refrigerator, flat bed, professional, logbook, Freightliner, experienced, 53' trailer, tractor trailer, transport, long haul, run, road, highway, owner/operator, owner-operator
916 9th St, Sacramento, CA 95814, 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.