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
Low-Latency Developer
Atto Trading, a dynamic quantitative trading firm founded in 2010 and leading in global high-frequency strategies, is looking for a Low-Latency Developer to join our team. We are expanding an international, diverse team, with experts in trading, statistics, engineering, and technology. Our disciplined approach combined with rapid market feedback allows us to quickly turn ideas into profit. Our environment of learning and collaboration allows us to solve some of the world’s hardest problems, together. As a small firm, we remain nimble and hold ourselves to the highest standards of integrity, ingenuity, and effort.  Position Highlights: We are modernizing our trading and research platform to scale our alpha trading business. This platform will enable researchers to explore, test, and deploy sophisticated signals, models, and strategies across asset classes in a robust, fully automated manner while maintaining competitive latency targets. As a Low-Latency Developer, you will be responsible for designing, optimizing, and maintaining high-performance trading systems to minimize latency. Your Mission and Goals: Analyze and optimize the performance of low-latency trading systems by identifying bottlenecks and inefficiencies in the code, and implementing effective solutions.  Develop and adapt the platform to support the demands of a fast-paced trading environment, while effectively managing technical debt. Requirements Over 5 years of experience as a low-latency developer with a focus on performance optimization in a high-frequency trading (HFT) environment. Experience with multiple components of an HFT platform or system, particularly those on the critical path. Experience working at an HFT firm during its startup phase and/or on a trading team is a significant plus. Technical Skills: Deep knowledge of HFT platforms: networking, kernel bypass, market data, order entry, threading, inter-process communication, and strategy APIs. Proven low-latency development and performance optimization in HFT. Strong proficiency in C++. Excellent understanding of CPU caches and cache efficiency. Experience with multithreaded and multi-process synchronization. Good understanding of networking protocols. Skilled in performance profiling and optimization tools. Advanced knowledge of Linux operating systems, including kernel-level device mechanisms. About You: Practical decision-making skills. Excellent communication skills. Strong analytical and problem-solving skills. Passion for trading. Ability to work independently and as part of a team. Benefits Competitive rates of pay. Paid time off (5 weeks). Coverage of health insurance costs. Office lunches. Discretionary bonus system.  Annual base salary range of $150,000 to $300,000. Pay (base and bonus) may vary depending on job-related skills and experience. Our motivation: We are a company committed to staying at the forefront of technology. Our team is passionate about continual learning and improvement. With no external investors or customers, we are the primary users of the products we create, giving you the opportunity to make a real impact on our company's growth. Ready to advance your career? Join our innovative team and help shape the future of trading on a global scale. Apply now and let's create the future together!
New York, NY, USA
$150,000-300,000/year
Workable
Senior Software Developer (Gateway/Market Data)
Eagle Seven is seeking a Senior Software Developer focused on exchange connectivity and market data.  The individual will be responsible for analyzing exchange protocols, proposing design solutions, and implementing connectivity to trading venues across the world. The role be a part of the platform development team and will provide the individual with exposure to traders and strategy developers. The successful candidate will be a self-starter, have strong sense of ownership and be driven to provide technical and intellectual solutions to business problems.    Primary Responsibilities include: Architecting and implementing low-latency market access solutions Understanding, interpreting, and interfacing with global exchanges and their protocols Designing, developing, and supporting market data feed handlers and exchange order routers Diagnosing latency issues and resolving with appropriate tuning and optimizations Working with traders to source, evaluate and facilitate access to new data sources Working with extended team to capture, house, and provide historical access to market data Liaise with vendors on data and technical issues as needed to deliver rapid solutions to the business Requirements Skills and Experience: Bachelor’s degree in Computer Science or related field Proven track record of understanding and working with global exchange protocols Experience with writing parsers for exchange protocols such as FIX and ITCH, etc. Strong background in C++ and C++ Template metaprogramming with demonstrated experience using C++14/C++20 Expertise with TCP/IP, UDP multicast, sockets, network protocols, particularly on Linux/Unix systems Experience using network tools such as Wireshark and TCPDump to monitor and debug behavior Ability to work in a collaborative environment Excellent written and verbal communication skills Benefits Eagle Seven offers a competitive and comprehensive benefits package to all full-time employees. Medical PPO and HMO coverage through BlueCross BlueShield Company Contributions to a Health Savings Account (with enrollment into a High Deductible Health Plan) Dental coverage through Principal Vision coverage through VSP 401k Retirement Savings Plan with Employer Match Company Paid Life Insurance Company Paid Disability Insurance Paid Time Off Flexible Spending Account Pre-tax Transit Benefits Complimentary Lunch and Beverages The minimum base salary for this role starts at $150,000. This role is eligible for a discretionary performance bonus as part of the total compensation package, in addition to the benefits listed above. Exact compensation offered may vary based on factors including, but not limited to, the candidate's experience, qualifications, and skill set.
Chicago, IL, USA
$150,000/year
Craigslist
Junior .NET Developer (Hybrid - remote/on-site at client office) (Midlothian, VA)
Full-time, salaried with benefits position for a Richmond, VA-based software development company. If you love software development, are looking for a new opportunity, want to work with some of the most talented developers in Richmond, and are passionately concerned about the quality of your work, our client is looking for you. Minimum Required Skill Sets • Three years of hands-on, on-the-job experience with .NET framework/Core either C# or VB.NET (C# preferred) • Experience with ASP. Net • Three years of on-the-job client-side experience with HTML, CSS, and JavaScript • Experience with common web application technology, including AJAX, JSON, RESTful API • Three years of hands-on, on-the-job experience with SQL Server development, including stored procedures, functions, and triggers Applicants must have at least two years of college, two years of work experience in the field, excellent oral and written communication skills, and work references in the United States. Applicants must reside in the Richmond, Virginia metro area. Applicants must be a citizen, or be authorized to work in the U.S. We do not offer sponsorship. This is a hybrid work environment. You will work at our client's site for 1 or 2 days each week, and work remotely for the other days. We cannot accommodate 100% remote work for this project, but we may be able to for future projects.
1700 Salisbury Dr, Midlothian, VA 23113, USA
$70,000-90,000/year
Workable
LDAP Software Engineer - Peru, IN -Fulltime Role
LDAP Software Engineer Location: Peru, IN Duration: Permanent role Responsibilities: * Work with upstream data source and downstream clients to resolve data related issues. * Assist in designing, developing, and implementing Data as A Service (DaaS) and support for microservices. * Perform data and log analysis. * Assist in designing, developing, and implementing flexible LDAP architecture for PaaS and SaaS applications. * Performance periodic maintenance as/when required. Requirements: * Performance periodic maintenance as/when required. * Assist in designing, developing, and implementing flexible LDAP architecture for PaaS and SaaS applications. * Work with upstream data source and downstream clients to resolve data related issues. * Assist in designing, developing, and implementing Data as A Service (DaaS) and support for microservices. * Perform data and log analysis. * Advanced knowledge of LDAP directories based on OpenDJ, Oracle (sun) or ForgeRock directories. * Expert in maintaining, troubleshooting issues in production environment. * Experience in installing and configuring Oracle DSEE 11g & OpenDJ, ForgeRock DS. Required Software Skills: * Directory Services (LDAP, MS Active Directory, MS Entra ID), including Group Policy, DNS, and DHCP Exchange / M365 * VMware vSphere/vCenter * Server and PC operating systems including Windows OS's and Linux * Citrix DaaS, and related components * Microsoft SQL Server and/or Oracle SQL along with database management utilities Recommended Working Knowledge * PowerShell * Git (GitHub / Gitlab) * TCP/IP * Networking OSI mode
Indiana, Peru
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; 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
Cookie
Cookie Settings
Our Apps
Download
Download on the
APP Store
Download
Get it on
Google Play
© 2025 Servanan International Pte. Ltd.