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.
Michigan, USA
$50
Craigslist
Experienced Computer Repair Technician
Core Systems, a leader in rugged computer and server solutions for mission-critical defense and industrial applications, is seeking a Computer Repair Technician to join our RMA and repair operations team. This position focuses on diagnosing, troubleshooting, and repairing customer-returned products and Core Systems–built servers. Resume Required. Key Responsibilities Perform diagnostics, troubleshooting, and repair on returned computer systems, servers, and components. Process RMA units through inspection, testing, and documentation. Repair hardware at the system, component, and board level when required. Assist in root cause analysis and corrective action reports for customer returns. Work closely with engineering and production teams to support continuous improvement. Maintain accurate service records and ensure timely turnaround of customer units. Qualifications Proven hands-on experience repairing computer systems, servers, or related IT hardware. Strong knowledge of hardware components (motherboards, CPUs, memory, storage, power supplies, etc.). Experience with diagnostic tools and test equipment. Ability to read schematics and follow technical documentation. Detail-oriented, organized, and able to work under time-sensitive conditions. Previous experience in an RMA/repair environment is a MUST. Familiarity with ruggedized or military/industrial computer systems a plus. What We Offer Competitive pay and benefits package. A chance to work with cutting-edge technology in the defense and industrial markets. Collaborative, supportive team environment. Opportunities for growth and advancement within the company.
13434 Twin Peaks Rd, Poway, CA 92064, USA
Negotiable Salary
Workable
Freelance Software Developer (Rust) - 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 degree in Computer Science, Software Engineering, or related field. You have at least 3 years of professional experience with Rust and hands-on experience with Rust testing tools (e.g., cargo test, property-based testing with quickcheck). Familiarity with Rust tooling (Cargo, Clippy, rustfmt), module and crate management. 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 with AI solutions or LLMs in Rust/test automation contexts. 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
Data Acquisition Lead (menlo park)
About Us Domalytx is reimagining the future of home inspections by combining deep field expertise with cutting-edge technology. Founded and built by civil engineers with over 15 years and 5,000+ inspections under their belt, we know the real problems inspectors face and the level of accuracy homeowners and buyers demand. Headquartered in Silicon Valley, we bring a technology-first mindset to an industry that has long lagged behind in innovation. Our platform transforms inspections from a slow, manual process into a streamlined, AI-assisted experience where inspectors can simply walk, talk, and capture photos while the software generates clear, professional reports. Backed by our leadership in foundation, structural, seismic, and drainage inspections—the most complex and high-stakes areas in residential real estate—we are uniquely positioned to become the trusted standard for property condition reporting nationwide. Joining Domalytx means being part of a team that’s not just modernizing inspections, but building the platform that will define how homes are evaluated, bought, and maintained for decades to come. The Role We’re looking for an Industry Partnerships & Data Acquisition Lead to help us grow the network of professionals contributing to our platform. You won’t do this alone. You’ll be partnered with an industry veteran (engineer/inspector) who can jump in for credibility, sit in on Zoom calls, or join in-person meetings when technical authority is needed. You’ll drive the outreach and relationship-building; they’ll provide subject matter expertise when needed. This isn’t a traditional sales or data role. It’s part relationship-building, part process design, and part entrepreneurial hustle. You’ll be helping invent a new category. What You’ll Do • Focus on building trust to foster participation from our leads • Oversee the process of capturing and structuring data. • Partner with our industry expert for select calls and meetings to deepen credibility. • Document and improve our strategies for relationship building. • Track progress and report on what’s working and where to adjust. What We’re Looking For • Proven success in sales, partnerships, business development, or community engagement (bonus if with contractors, SMBs, or real estate pros). • Natural relationship-builder with strong communication skills. • High resilience — able to handle pushback and keep going. • Process-oriented: can turn messy lessons learned into repeatable systems. • Comfortable with CRM tools, spreadsheets, and documenting workflows. • Curious and adaptable — able to learn the basics of industry language quickly. • Entrepreneurial mindset: thrives in ambiguity and likes building from scratch. What We Offer • The chance to pioneer a role in a massive, untapped industry. • Direct mentorship from founders and collaboration with industry experts. • An industry partner at your side for credibility and support. • Competitive compensation with upside as we grow. • Remote flexibility, with occasional in-person visits depending on geography. • A mission-driven company improving how millions of homeowners make decisions. Why Join Now? No one in this industry has done this before. You won’t be plugging into a machine — you’ll help design it. If you want to be the first of your kind in a growing startup, and if you’ve got the hustle and curiosity to make it work, we’d love to hear from you. How to Apply Send us your LinkedIn profile, resume, a note about why this role excites you and share an example of a time when you had to hustle to convince someone or build a relationship from scratch. Thanks!
88 Isabella Ave, Atherton, CA 94027, USA
Negotiable Salary
Workable
Freelance Software Developer (Ruby) - 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: Generate prompts that challenge AI. Define comprehensive scoring criteria to evaluate the accuracy of the AI’s answers. Correct the model’s responses based on your domain-specific knowledge. 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 Ruby. Code review experience is a must. Experience with AI projects 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.
New York, NY, USA
$50
Craigslist
Senior System/Network Engineer (novato)
Job Title: Senior System/Network Engineer Location: Novato, CA Job Type: Full-Time About Us: Marin IT, Inc. is a leading Managed Service Provider (MSP) dedicated to delivering exceptional IT support and services to a diverse range of clients. We specialize in providing comprehensive IT solutions, including system and network management, cybersecurity, cloud services, and more. Our team is passionate about technology and committed to delivering top-notch service and support. Position Overview: We are seeking an experienced and highly skilled Senior System/Network Engineer to join our dynamic team. The ideal candidate will have a strong background in managing and optimizing complex IT infrastructures, with a focus on delivering exceptional service to our clients. This role requires a deep understanding of networking, server administration, virtualization, and security. The Senior System/Network Engineer will work closely with our clients to design, implement, and maintain their IT environments, ensuring optimal performance and security. Key Responsibilities: • Design, deploy, and maintain complex network and system infrastructures for our clients. • Manage and support a variety of IT environments, including on-premises, cloud, and hybrid systems. • Troubleshoot and resolve advanced technical issues related to network and system performance, security, and connectivity. • Implement and manage security protocols and best practices to protect client data and systems. • Conduct regular system and network performance monitoring, analysis, and optimization. • Provide expert-level technical support and guidance to clients and internal teams. • Lead projects to upgrade and migrate systems, ensuring minimal disruption to client operations. • Develop and maintain comprehensive documentation of client environments, configurations, and procedures. • Stay up-to-date with emerging technologies and industry trends to provide innovative solutions to clients. • Mentor and support junior engineers, fostering a collaborative and knowledge-sharing environment. Qualifications: • Bachelor’s degree in Computer Science, Information Technology, or a related field (or equivalent experience). • Minimum of 5 years of experience in system and network engineering, preferably in an MSP environment. • Proficiency in managing and troubleshooting Windows and Linux servers, network infrastructure (routers, switches, firewalls), and virtualization technologies (VMware, Hyper-V). • Strong understanding of TCP/IP, DNS, DHCP, VPNs, and other networking protocols and services. • Experience with cloud platforms such as AWS, Azure, or Google Cloud. • In-depth knowledge of cybersecurity best practices, including firewalls, antivirus, IDS/IPS, and data encryption. • Excellent problem-solving skills and the ability to work under pressure to meet deadlines. • Strong communication and interpersonal skills, with the ability to interact effectively with clients and team members. • Relevant certifications such as CCNA, CCNP, MCSA, MCSE, VCP, or equivalent are highly desirable. Benefits: • Competitive salary and performance-based bonuses. • Comprehensive health, dental, and vision insurance. • Retirement savings plan with company match. • Professional development opportunities and reimbursement for certifications. • A supportive and collaborative team environment.
488 Calle Arboleda, Novato, CA 94949, 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.