Jobs in the United States

Group jobs by employerEmail me new jobs Save this search

Added 7 days ago
GR
Customer Care Supervisor
GE Renewables Grid LLC
United States
- $91,700 to $152,700 USD / year
…feedback, conducting performance reviews, and creating individual development…
Added 7 days ago
Principal Program Manager - Digital Project Management
GE Energy Management Services, LLC
United States
You are the main delivery contact for customers. You turn commitments into results by leading software solution projects from start through acceptance and handover. You work with colleagues…
Added 7 days ago
Senior Software Engineer - Python
Veeva
Remote, United States
Applicants must have the unrestricted right to work in the United States
Added 7 days ago
Software Engineer -ICAM Web Development | SWE3| TS/SCI w/ MD POLY Security Clearance required
Power3 Solutions
Hanover, MD
Capstone Technology Partners delivers mission-ready cybersecurity, engineering, and AI-enhanced software solutions for federal defense clients. We combine deep technical expertise with a…
Added 7 days ago
CM
Staff Software Engineer, Compiler
Code Metal
Boston, MA · San Francisco, CA · Washington, DC
- $170,000 to $200,000 USD / year
Code Metal is the leader in automated software engineering you can trust. As AI writes more of the world's code, the bottleneck in software has shifted from writing code to verifying it…
Added 7 days ago
CM
Senior Software Engineer, Compiler
Code Metal
Boston, MA · San Francisco, CA · Washington, DC
- $170,000 to $200,000 USD / year
Code Metal is the leader in automated software engineering you can trust. As AI writes more of the world's code, the bottleneck in software has shifted from writing code to verifying it…
Added 7 days ago
Systems Engineer
PPT Solutions, LLC
Huntsville, AL
Candidate must have experience with Army aviation acquisition processes (both hardware and software preferred) · Must possess strong oral and written communication skills and be willing to develop and present briefings as needed
Added 7 days ago
AI Take Off Specialist
CEI Services
BIRMINGHAM, AL
Must have and maintain a valid state issued Driver’s License with driving record that meets Saiia’s risk management guidelines
Added 7 days ago
Electrical Integration and Test Engineer II
Voyager Technologies, Inc.
Pittsburgh, PA
…test operations, ownership of test electrical systems, and development of integration and test…
Added 7 days ago
MI
Form Carpenter Helper III
MasTec Inc
MOUNTAIN HOME, ID
- $28 USD / hour
Work up to a 12-hour shift doing hard physical work in varying temperatures and outside conditions
Added 7 days ago
AI Take Off Specialist
SAIIA
BIRMINGHAM, AL
Must have and maintain a valid state issued Driver’s License with driving record that meets Saiia’s risk management guidelines
Added 7 days ago
W
(USA) Software Engineer III, Information Security
Walmart
BENTONVILLE, AR
- $90,000 to $180,000 USD / year
…model supply chain challenges. Leveraging expertise in systems engineering, cloud migration, continuous integration, and software development, the team builds secure, scalable…
Added 7 days ago
W
Staff, Software Engineer - Full Stack
Walmart
SUNNYVALE, CA
- $143,000 to $286,000 USD / year
Actively mentor and grow Senior Software Engineers (L5); lead architecture working groups and communities of practice; champion AI-augmented development (Wibey, GitHub Copilot) as a team…
Added 7 days ago
MS
Principal Software Engineer - Digital Media - Little Rock, AR
Military Spouse Jobs & VetJobs
United States
- $120,000 to $180,000 USD / year
As a Manager, New Initiatives / Digital Media, you will oversee Avery Dennison’s innovative software products and lead cross-functional development teams while directing the software…
Added 7 days ago
ITP-Integration & Distribution Specialist
Qualis LLC
Colorado Springs, CO
…duplication and shipment of Integrated Threat Packages (ITPs) and software applications to multiple customers. In the case of an ITP, this often times also includes collating all source…
Added 7 days ago
Configuration/Document Management Specialist
Peraton
Schriever AFB, CO
Must have a TS/SCI security clearance with an active Polygraph that was adjudicated within the last ten years
Added 7 days ago
Manufacturing Electrical Engineer
SEDAA
Plano, TX
The Manufacturing Electrical Engineer II will support manufacturing operations through the development, maintenance, troubleshooting, and continuous improvement of electrical test systems,…
Added 7 days ago
Analyst, Risk Forecasting
SilverRock Group Inc.
1720 W Rio Salado Pkwy Tempe, AZ
Communicate concise insights and recommendations through visualizations and clear writing, using software such as Sigma.
Added 7 days ago
A
Senior Manager, Smart Buildings & Connected Environments - Remote (US)
AECOM
Remote, United States
- $150,000 to $185,000 USD / year
…planners, designers, engineers, scientists, digital innovators, program and construction managers and other professionals delivering projects that create a positive and tangible impact…
Added 7 days ago
A
Senior Manager, Smart Buildings & Connected Environments - Remote (US)
AECOM
Remote, United States
- $150,000 to $185,000 USD / year
…planners, designers, engineers, scientists, digital innovators, program and construction managers and other professionals delivering projects that create a positive and tangible impact…
Added 7 days ago
A
Senior Manager, Smart Buildings & Connected Environments - Remote (US)
AECOM
Remote, United States
- $150,000 to $185,000 USD / year
…planners, designers, engineers, scientists, digital innovators, program and construction managers and other professionals delivering projects that create a positive and tangible impact…
Added 7 days ago
A
Senior Manager, Smart Buildings & Connected Environments - Remote (US)
AECOM
Remote, United States
- $150,000 to $185,000 USD / year
…planners, designers, engineers, scientists, digital innovators, program and construction managers and other professionals delivering projects that create a positive and tangible impact…
Added 7 days ago
A
Senior Manager, Smart Buildings & Connected Environments - Remote (US)
AECOM
Remote, United States
- $150,000 to $185,000 USD / year
…planners, designers, engineers, scientists, digital innovators, program and construction managers and other professionals delivering projects that create a positive and tangible impact…
Added 7 days ago
Cellular Software Enablement Engineer, Wireless Technologies & Ecosystems
Apple
Sunnyvale, CA
…You will lead hands-on debugging across the full hardware and software stack and maintain the device labs and development hardware. You will also develop machine learning models that…
Added 7 days ago
Senior Program Manager
Miltope
Huntsville, AL
…proposals, as well as interacting daily with customers and Business Development to lead new product development, contract negotiations, and an internal team to successfully execute company…

Code Metal

Senior Software Engineer, Compiler

Boston, MA, United States
San Francisco, CA, United States
Washington, DC, United States

$170,000 to $200,000 USD / year

Apply on jobs.ashbyhq.com About employer

Applications open in a new tab.

Job details

Pay: $170,000 to $200,000 USD / year
Posting language: English
Posted: Nov 4, 2026

Original job description

ABOUT CODE METAL

Code Metal is the leader in automated software engineering you can trust. As AI writes more of the world's code, the bottleneck in software has shifted from writing code to verifying it works, and AI cannot verify its own work with certainty. Code Metal takes a fundamentally different approach: constrain AI to what it does reliably, verify every step independently of the model using formal methods, and keep engineers in the loop on the decisions that matter. The result isn't code that probably works - it's code that is provably correct, with auditable proof. Customers including the U.S. Air Force, L3Harris, RTX, and Toshiba use Code Metal to modernize legacy code, optimize performance on real hardware, and move prototypes to production, fast. Founded in 2023 with offices in Boston and San Francisco, Code Metal is funded by Accel, Salesforce Ventures, B Capital, Smith Point Capital, J2 Ventures, Shield Capital, Overmatch, RTX, and others. Learn more at codemetal.ai http://codemetal.ai.

THE ROLE

We're building a new generation of translation tools that turn Python algorithm code into correct, deployable C++ for embedded systems. They combine classic compiler techniques with generative AI and modern verification. Analysis and lowering carry most of the work. AI covers the cases analysis can't, and testing and verification check the result.

You'll lead the architecture of the translation pipeline, from parsing and semantic analysis through intermediate representation (IR) design to C++ code generation. That means deciding how to keep Python's semantics exact when the output is statically typed C++.

CORE RESPONSIBILITIES

Design and evolve the pipeline's IR, analysis passes and C++ code generation, keeping the core independent of any one source language.
Build type inference and lowering for dynamic Python features: arbitrary-precision integers, exceptions, generators, containers, and calls to the standard library and third-party libraries.
Make semantic equivalence measurable, through differential testing against CPython, conformance suites and fuzzing.
Integrate LLM-assisted generation where analysis falls short, with structured outputs and checks that catch its mistakes.
Collaborate with verification and domain specialists to bring static analysis and formal methods into the pipeline.
Set engineering standards for the codebase: tests, CI/CD, reproducible builds and code review.

REQUIRED QUALIFICATIONS

5+ years of professional software development in C++ and/or Python, shipping to real users.
Hands-on experience building a compiler, transpiler, interpreter or language runtime: the end-to-end pipeline, not just one pass.
Deep understanding of parsing, AST and IR design, type systems, IR transformations and code generation.
Experience with compiler infrastructure such as Clang/LLVM, MLIR, GCC or equivalent.
Strong modern C++: templates, value semantics, undefined behaviour, and how source code maps to the machine.
Solid delivery fundamentals: code review, testing, CI/CD and build systems.
A track record of leading large technical projects in a team, and of turning stakeholder needs into designs.
Eligible to obtain and maintain an active U.S. Top Secret security clearance

PREFERRED QUALIFICATIONS

Experience with dynamic-language implementation or analysis (CPython internals, PyPy, Cython, Numba, mypyc, or type inference for dynamic languages).
Differential testing, fuzzing, symbolic execution, or formal verification (e.g. Z3, Coq, TLA+).
Experience applying LLMs to code generation or program repair.
Embedded, heterogeneous (FPGA/GPU) or resource-constrained targets.
Familiarity with DSP, RF, communications or other compute-intensive domains.
A current security clearance, or the ability to obtain one (US citizenship required for cleared work).

BENEFITS

Pay depends on experience, but we strive to be at the upper end of the salary range
Health care plan with 100% premium coverage, including medical, dental, and vision
401k with 5% matching
Paid Time Off (uncapped vacation, plus sick and public holidays)
Flexible hybrid or remote work arrangement
Relocation assistance for qualifying employees

Wage Transparency - The salary range for this role is not a guarantee of compensation or salary, as the final offer amount may vary based on factors including, but not limited to, individual proficiency, skills, experience, and location.

We are an equal opportunity employer. US Citizenship may be required for certain project assignments involving security clearance.

Pursuant to the San Francisco Fair Chance Ordinance, we will consider for employment qualified applicants with arrest and conviction records.

Apply on jobs.ashbyhq.com About employer

Report this job

Work requirements

Jobs in the United States