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
Senior Backend Platform Engineer, Distributed Systems
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 next-generation wargaming platforms. If building ultra-low-latency APIs, taming high-volume geospatial data, and leading with clean, production-ready Python gets you fired up, let’s talk. What you’ll do Own the service layer—design, build, and scale FastAPI micro-services and lightning-fast ZeroMQ messaging pipelines running in Kubernetes and bare-metal clusters. Wrangle data at speed & scale—shape and query multi-TB Postgres/PostGIS datasets, orchestrate Redis for sub-millisecond state, and keep everything rock-solid under bursty load. Glue the stack together—expose crisp, well-versioned REST & WebSocket endpoints for the frontend crew and simulation kernel. Ship continuously—automate CI/CD, observability, and security hardening to DoD standards; push to prod with confidence. Lead by doing—drive code reviews, mentor teammates, and set the standard for test coverage and documentation. Why Code Metal? Mission with impact: your APIs become the nervous system of digital battlefields influencing multi-billion-dollar defense acquisitions. Velocity: tight-knit teams, weekly releases, zero bureaucratic drag. Ownership: no passengers—every engineer ships code that matters. Requirements Must-have credentials 4+ years building production backends in modern Python, with deep FastAPI (or equivalent async framework) experience. Proven expertise in ZeroMQ, NATS, Kafka, or similar high-throughput messaging systems. Hands-on with Postgres/PostGIS and Redis in performance-critical workloads. Cloud-native chops—Docker, Kubernetes, and one major provider (AWS, GCP, Azure, or GovCloud). Active Secret clearance or eligibility to obtain one.  Bonus points C++ or Rust skills for bridging high-performance simulation modules. Hardened services for FedRAMP / STIG compliance. Observability mindset—Prometheus, Grafana, OpenTelemetry. TS/SCI clearance. Benefits Health care plan with 100% premium coverage, including medical, dental, and vision. 401k with 5% matching. Paid Time Off (Uncapped Vacation, plus Sick & Public Holidays). Flexible hybrid work arrangement. Relocation assistance for qualifying employees.
Boston, MA, USA
Negotiable Salary
Craigslist
System Administrator and User Support Specialist (Richmond)
POSITION SUMMARY: Reporting to the Director of Enrollment and Student CRM Systems, the Systems Administration and User Support Specialist play a key role in advancing the effective use and ongoing evolution of the University's Technolutions Slate CRM platform across multiple databases. The specialist serves as both a frontline resource and a subject matter expert for Slate users across campus, guiding adoption through training, documentation, and collaborative problem-solving. In addition to supporting end users, the specialist develops and maintains core CRM functionality (including forms, events, and communication tools), contributes to the design and enhancement of data structures, workflows, applications, portals, integrations, and related components, and ensures data integrity through auditing and resolution efforts. The specialist also partners on cross-functional projects to optimize CRM capabilities for institutional goals, manages testing and quality assurance processes, and oversees team and project productivity practices to support effective collaboration and alignment across university priorities. JOB DUTIES/RESPONSIBILITIES: System Configuration, Development, and Customization (40%) Develop communication campaigns, forms, and events/templates in support of core processes and workflows for units across campus. Support and monitor constituency usage of communication, form, and event tools. Customize the CRM configuration in Slate to meet the unique needs of different offices/departments. Assist in development of Slate data structures, workflows, applications, automations, portals, and related infrastructure to support operational requirements and streamline processes for offices across campus. Build and configure application and form processes in Slate (including infrastructure for supporting materials, recommendations/references, checklists, and other processing needs). Build complex, multi-stage workflows to streamline and automate business processes; assist in implementation of appropriate permission settings and access controls, ensuring data security and maintaining compliance. Create and maintain portals for student, staff, and faculty end users, providing secure and personalized access to relevant information, forms, and applications. Stay up to date with industry best practices and technological advancements, exploring opportunities to leverage new features and functionalities of the Slate system. User Training and Support (30%) Create and maintain comprehensive documentation of system configurations, workflows, and user guides to facilitate knowledge sharing and support users. Develop and deliver training programs and materials to educate users on optimized system usage, new features, and best practices. Develop and implement innovative solutions for managing, maintaining, and sharing documentation, training, and instruction materials; conceptualize, design, and/or develop tools and applications to provide robust and user-friendly support resources. Troubleshoot and diagnose user-reported problems, identify and implement solutions, and triage problems to other ESCRMS process owners or Technolutions support as necessary; guide power users in understanding and troubleshooting problems independently. Develop and manage user assistance processes and tools, ensuring rapid and optimal resolution of requests for assistance while optimizing ESCRMS team bandwidth; manage productivity tools (e.g. Airtable, Slack) for use by Slate constituents across campus. Serve as a subject matter expert in Slate administration; develop, train, and guide Slate users across campus; support individual offices in their day-to-day adoption of Slate functionality. System Administration and Maintenance (20%) Develop tools and practices for auditing data in Slate to maintain data integrity. Develop tools for monitoring user adherence to system requirements and best practices, and for automating alert and mitigation notifications. Investigate and resolve system issues, including errors for imports/exports and integrations between systems, and data discrepancies. Assist Slate users with matching and duplication issues in data imports. Assist in design and implementation of system integrations, developing import/export processes in Slate and ensuring seamless and secure data flow between Slate and other applications. ESCRMS Team Management and Process/Tool Development (10%) Continuously evaluate existing team processes and identify areas for improvement. Develop and implement innovative solutions to enhance team productivity and efficiency; manage team productivity tools and practices (e.g. Airtable, Slack). Conceptualize, design, and build tools and applications to support the team's operations; utilize technical skills to create solutions that optimize team performance and decision-making processes; stay up to date with technological advancements and suggest relevant tools to enhance team collaboration. Prepare requests for operating budget; reconcile expenditures, process financial transactions and audit monthly budget reports. CONTACTS: Frequent interaction with Slate users, program managers, and stakeholders across campus. Occasional collaboration with Enterprise Applications (IS), campus data stewards, VP for Enrollment Management, VP for Planning and Policy, University Communications, and Technolutions staff. Occasional contact with vendors providing consulting or development services. WORKING CONDITIONS/PHYSICAL EFFORT: Majority of work is completed at two-monitor workstation and requires one to work from computer full-time. Remote work may be considered. QUALIFICATIONS: Knowledge, skills & ability: Advanced knowledge of relational database (CRM) configuration and management. Strong analytical, research, critical thinking, and creative problem-solving skills, including the ability to identify, analyze, and resolve complex problems. Strong attention to detail and demonstrated ability to audit data, map processes, and organize/synthesize information from disparate sources. Demonstrated ability to balance multiple projects and tasks and to adapt in a fast-paced, ever-changing environment. Demonstrated ability to learn new systems, procedures, and processes quickly and independently. Excellent interpersonal and communication skills, and the ability to build and maintain strong relationships with Slate users and teams across campus. Demonstrated ability to create system/process documentation, develop training materials/plans, and train users. Proficiency in Microsoft suite of products. Knowledge of student information systems (SIS) preferred. Thorough understanding of FERPA and compliance; demonstrated ability to handle highly confidential information. EDUCATION & EXPERIENCE: Bachelor's degree required. Prior higher education experience preferred. 3-5 years of experience working in CRM/relational database systems required. Experience in reporting, UX/UI design, and/or web development preferred. WORK HOURS: Full-time; Non-exempt Monday-Friday 8:30AM-5:00pm PAY STRUCTURE: Pay Grade 6 (Hiring range $47,154 to $62,483 annually)
Broad + 9th, Richmond, VA 23219, USA
$47,154-62,483/year
Top Jobs in US
marketing intern
About HungryPanda HungryPanda is a world leading lifestyle platform, covering online delivery, retail, grocery delivery and lifestyle services with 3.5 million registered customers, 60K merchants and 40K riders. Consolidating the end to end value chain of the overseas Chinese food industry to leverage efficiency and scale. Creating business opportunities via our deep reaching business network and consumer data. Our People Above all we are food lovers, curious to explore new opportunities, as passionate about creating value for every stakeholder in our ecosystem as we are about delivering our customers quality authentic oriental food. We are a young company, innovative and enthusiastic, creative and professional, supporting our team members to work efficiently rather than long hours. We value everyone’s opinion and encourage open-mindedness and sharing within the team. We work hard, play hard, and – of course – keep our workforce fed and happy! 【Marketing Intern - Mandarin Speaking】 Duties and Responsibilities 1. Assist the marketing department in expanding and managing the local market customer base, and maintain and enhance the company's brand image. 2. Assist in maintaining and operating online WeChat groups in the local market (including inviting members to join groups, user interaction, event creation, content editing, user maintenance, etc.). 3. Participate in offline ground promotion for new user acquisition, and preparation of promotional materials. 4. Collect hot topic information, organize WeChat group information, handle Xiaohongshu KOLs and Xiaohongshu content placement, etc. Job requirements: 1. In Philadelphia/Edison 2. Fresh graduates or those seeking summer internship opportunities. 3. Relevant experience in marketing and new media operations is preferred; possess good market and consumer insight. 4. Positive and outgoing personality, with good communication skills, execution ability and learning ability. 5. Active thinking, courage to try, and full of passion. 6. On-site work in the local area is required. 7. Good communication skills and fluent in Chinese. What we offer: Global work environment: Since it was first launched in the UK in 2016, HungryPanda has quickly become the leader of Chinese food delivery platform in the UK, and has expanded to France, New Zealand, the United States, Australia, Canada and other countries. It has set up operation departments in 10 countries. Learning opportunities: HungryPanda has a complete training system. Panda Academy has launched professional training courses and advanced training for various business departments to help you understand the work of business departments, master basic skills faster, and improve your own abilities; Line Manager has one-to-one communication and counseling. Good working environment: Flat organization, more efficient communication; highly educated background team, doctoral team of top overseas universities; promotion opportunities twice a year; regular departmental team building opportunities.
Philadelphia
Negotiable Salary
Cookie
Cookie Settings
Our Apps
Download
Download on the
APP Store
Download
Get it on
Google Play
© 2025 Servanan International Pte. Ltd.