Jobs in the United States

25+ jobs

Save this search

Added 1 min ago
Staff Product Security Engineer
Tools for Humanity
San Francisco, CA
As a Product Security Engineer, you will be a hands-on technical leader responsible for safeguarding the products and services that power the World project. You will be "In the Driver's…
Added 1 min ago
Associate Director Cybersecurity Engineering
Merck
Rahway, NJ · West Point, PA
We are seeking a Cloud Security Engineer to design, implement, and automate security controls across enterprise cloud environments. This role will partner with our Cloud, Application,…
Added 3 mins ago
Senior Security Engineer
Apple
Seattle, WA
In this role, you will be the primary security team point of contact for several large engineering efforts. You will work with engineering teams throughout their development lifecycle. You…
Added 5 mins ago
Principal Software Development Engineer (AI Innovation)
CVS Shared Services Resources LLC
Remote, United States
The Principal Software Development Engineer will drive innovative, enterprise-wide solution designs at the business unit level for highly complex, strategic initiatives. In this high-impact…
Added 6 mins ago
Staff Control Systems Engineer
Applied Research Associates, Inc.
Indian Head, MD
ARA’s team solves problems related to national defense and security. We are actively searching for a Control Systems Engineer to join our team. In this position, you will evaluate the test…
Added 6 mins ago
QA Automation Engineer (Remote)
Koniag Government Services
MD
Koniag Data Solutions, a Koniag Government Services company, is seeking an experienced QA Automation Engineer to support the USDA APHIS Plant Protection and Quarantine (PPQ) Commodity…
Added 6 mins ago
Data Product & Quality Specialist (Journeyman)
Altamira Technology Corporation
Suitland, MD
Altamira Technologies has a long and successful history providing innovative solutions throughout the U.S. National Security community. Headquartered in McLean, Virginia, Altamira serves…
Added 6 mins ago
Data Product Manager & Quality Specialist (Senior)
Altamira Technology Corporation
Suitland, MD
Altamira Technologies has a long and successful history providing innovative solutions throughout the U.S. National Security community. Headquartered in McLean, Virginia, Altamira serves…
Added 6 mins ago
AI/ML Data Engineer
Altamira Technology Corporation
Suitland, MD
Altamira Technologies has a long and successful history providing innovative solutions throughout the U.S. National Security community. Headquartered in McLean, Virginia, Altamira serves…
Added 6 mins ago
ES234 Principal Software Engineer - EDGE
ADNET Systems, Inc.
Greenbelt, MD
We are seeking a Principal Software Engineer to lead the architecture, design, development, integration, and verification of software for the Bench Checkout Equipment (BCE) supporting…
Added 6 mins ago
Senior/Principal Systems Modeling & Simulation Engineer
Trinzic
Greenbelt, MD
…and advancing some of the world's highest-priority national security and space…
Added 6 mins ago
Cyber Systems Engineer – VAX/OpenVMS
ASRC Federal Holding Company
Aberdeen Proving Ground, MD
Agile Decision Sciences is seeking a Cyber Engineer to support the RSCCE system for the CECOM Army Software Innovation Center at Aberdeen Proving Ground. RSCCE is a long-lived,…
Added 6 mins ago
Electromechanical Engineer - Level 3/4 - Linthicum
Northrop Grumman
Linthicum Heights, MD
…spirit to our collaborative teams. As a Electro-Mechanical Engineer – Level 3 or Level 4 located in Linthicum, MD, you’ll be a linchpin in missions of paramount importance, defining the art…
Added 6 mins ago
Electromechanical Engineer Level 2 - Electronics Packaging - Linthicum
Northrop Grumman
Linthicum Heights, MD
…mission-critical space sensor payload hardware enabling national security and scientific advancements. We foster a culture where your expertise is valued and your growth is supported every…
Added 6 mins ago
Application Engineer
CACI International
Linthicum Heights, MD
…mission-critical systems? CACI is seeking an experienced Application Engineer to join our team in Linthicum Heights,…
Added 6 mins ago
Cyber Analytics Application Engineer
CACI International
Linthicum Heights, MD
Job Title: Cyber Analytics Application Engineer
Added 6 mins ago
Principal Software, Data, and AI Engineer
The MITRE Corporation
Aberdeen, MD
…improves lives. This is where your skills strengthen national security, cybersecurity, health, transportation, and citizen services. We’re a nonprofit engineering, applied research, and…
Added 6 mins ago
Senior AWS Generative AI Solution Engineer
Leidos
Gaithersburg, MD
Leidos is seeking an experienced Senior AWS Generative AI Solution Engineer to design and implement the reasoning layer for a GenAI-enabled HUD FHA Resource Center. The selected candidate…
Added 6 mins ago
Cyber Operations Intern
The MITRE Corporation
Fort Meade, MD
…improves lives. This is where your skills strengthen national security, cybersecurity, health, transportation, and citizen services. We’re a nonprofit engineering, applied research, and…
Added 6 mins ago
Continuous Improvement Engineer
BAE Systems
Rockville, MD
BAE Systems is seeking a Lean Six Sigma Green Belt Continuous Improvement Engineer to support our work as a prime contractor on a high-profile U.S. Navy weapon system. A strategic mindset,…
Added 7 mins ago
Cyber Software Engineer
Huntington Ingalls Industries
Annapolis Junction, MD
…the data evolution - by accelerating a breadth of national security solutions for government and commercial customers. Our capabilities range from C5ISR, AI and Big Data, cyber operations…
Added 7 mins ago
Associate Radio Frequency Engineer
Leonardo DRS, Inc.
Frederick, MD
…life-cycle defense and intelligence products that protect the security of our nation and our allies. From air combat training to state-of-the-art electronic warfare systems, our technology…
Added 7 mins ago
Field Service Engineer I - IC/LC/GCMS
ThermoFisher Scientific
Frederick, MD
Join us at Thermo Fisher Scientific as a Field Service Engineer, where you'll contribute by ensuring our sophisticated scientific instruments operate at peak performance. In this role,…
Added 7 mins ago
PN
Electrical Engineer 3
Pacific Northwest National Laboratory
Annapolis, MD
- $122,100 USD / year
Our Science & Technology directorates include National Security, Earth and Biological Sciences, Physical and Computational Sciences, and Energy and Environment. In addition, we have an…
Added 7 mins ago
Cyber - AI Engineer - Manager - Consulting
EY
Annapolis, MD · Baltimore, MD
As a Cyber AI Engineer at the Manager level in EY's Cyber practice, you will work as a forward-deployed engineer, helping clients apply frontier AI cyber models to real security challenges.…

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 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 About employer

Report this job