Compiler, Language and Runtime Teams

A listing of compiler, language and runtime teams for people looking for jobs in this area. My motivation for curating this is in this blog post.

In Scope: Teams that work on language implementations, compilers for languages, language runtimes, static analysis, etc.

Contributing

Please contribute: Pass on projects, teams, companies I've missed.

Feel free to spruce up the descripton of the work for teams you know about! Many of these are simply stubs

Annotations:

📤: Remote Work Supported

At the time the icon was added, the company offered remote work.
🧑‍🎓: Internships offered

These companies are known to have offered internships or co-ops in compiler, languages and runtimes.
🗺 : Location

Derived from job postings or other knowledge, this is where the team works. Definitely not comprehensive! Please, help me update this too!

Companies ( )

Access Softek Toolchains 📤

LLVM Toolchain Development

AdaCore 📤 🧑‍🎓

🗺 New York (US), Paris & Grenoble & Toulouse & Vannes (France), Bristol (UK), Tallinn (Estonia)

Ada runtimes and front-ends (GNAT, libadalang).
Back-ends to said front-ends (GCC, LLVM, Infer, Why3...).
Various custom languages (e.g. langkit, gprbuild, recordflux...).

Aicas

🗺 Karlsruhe, Germany

Real-time JVM

Amazon

Corretto
Inferentia
Rust

Ambarella

🗺 Santa Clara, CA

Computer vision AI hardware compiler

AMD

AOCC
ROCm

Ampere Computing

Work on OpenJDK

Anaconda

Pyston: General-purpose Python JIT originally developed at Dropbox

Anyon Systems

🗺 Toronto / Markham, Canada

Quantum Compiler Development
MLIR/LLVM

Apple 🧑‍🎓

🗺 Cupertino, CA

Clang and LLVM
Swift
JSC (JavaScript interpreter created as part of WebKit)
Static Analysis tooling

ARM

Multiple teams supporting the ARM ISA.

Ascenium

🗺 Campbell, CA, Stavanger and Oslo, Norway

LLVM and Hardware codesign.

Azul 📤

Java Virtual Machine
Falcon JIT compiler (LLVM)

Bodo 📤

🗺 Pittsburgh, PA

Python, LLVM

Broad Institute

🗺 Cambridge, MA

Building the Hail project for genomics, including a custom language and compiler.

Brookhaven National Laboratory

🗺 Upton, New York

Work on the Programming Models and Compilers (PMC) group of the Computational Science Initiative.

Cerebras

🗺 Los Altos, CA, San Diego, CA or Toronto, Canada

LLVM and more

Cloudflare

Cloudflare Workers: V8 (WebAssembly, Javascript, deployed at the edge)

Codeplay

Clang, LLVM, LLDB

Cognitect

Clojure and ClojureScript

Coherent Logix📤

🗺 Austin, TX

Building an LLVM based C compiler for Coherent Logix's multicore chip.

Columbia University - Data Science Institute

🗺 New York City

Building languages for probabilistic programming and causal reasoning.
Static/Dynamic analyses and code transformation.
Julia oriented.

Compiler Tool Chain Consulting Services 📤

Custom LLVM-based compiler toolchains for clients

CompilerWorks

🗺 SF Bay Area HQ

📤 map of locations

Many SQL dialects and supporting languages

Crowdstrike 📤

🗺 US, Canada

The Sensor and Language Tooling (SaLT) team works on a DSL to script Falcon's threat detection sensor

d-Matrix

🗺 _Santa Clara, California _

Deep Neural Network hardware, with associated compiler (LLVM+MLIR)

DashBit

Elixir

DataChemist

WOQL Compiler

Dfinity

🗺 San Fransisco CA, Palo Alto CA, Zurich Switzerland

Motoko programming language and system for blockchain smartcontracts.

Digital Mars

C/C++ compilers
D compiler

Dropbox

Python
MyPy

Dyalog

Dyalog APL

Edgecortix

🗺 Tokyo, Japan

Machine learning hardware compilers

Embecosm

🗺 Southampton, UK, Nürnberg, Germany

Open Source toolchain development, with a primary focus on GCC, LLVM and Verilator.

emmtrix Technologies 🧑‍🎓

🗺 Karlsruhe, Germany

Source-to-source compilers
Static analysis (LLVM)
Parallelizing transformations

Enso

Compiler for visual programming language, JIT based on Graal/Truffle.

Epic Games

DSL compiler and toolchain for game development

Espressif 📤

🗺 Brno, Czechia

GNU GCC, GDB, Binutils development for Xtensa and other architectures.

Ericsson

Erlang

Facebook

A variety of projects, a limited subset of which I know about below.

PyTorch
HHVM
Python (Cinder)

Fastly

Lucet, a WebAssembly compiler and runtime for edge computation.
Cranelift
VCL

Fathom Radiant

🗺 Boulder, CO

ML Compiler work

Fluence Labs 📤

Aquamarine, a distributed choreography language & platform

FutureWei Technologies

Rust compiler work.

Galois

🗺 Arlington, VA

Programming language design and implementation for building trustworthy computing.

GitHub 📤

CodeQL, a query language for writing custom static analysis rules

Google 📤

🗺 Mountain View, CA and Seattle, WA

Innumerable projects, but off the top of my head:

Go
LLVM contributions
V8
Dart
MLIR

GrammaTech 📤 (US only)

🗺 Ithaca, NY

CodeSonar, a static analysis tool
CodeSentry, a binary analysis tool

Graphcore

🗺 Bristol, Cambridge, UK

Machine learning hardware compiler (LLVM)

Greenhills

Certified C/C++ for Embedded

Groq

🗺 Portland, Mountain View, Toronto

Machine Learning Hardware compilers

Guardsquare

🗺 Leuven, Belgium / Munich, Germany

ProGuard
LLVM-based software protection and hardening
Android application protection and hardening
Mobile application security testing

Horizon Quantum Computing

🗺 Singapore

Quantum computing compiler

HPE 📤🧑‍🎓

Chapel
Cray Programming Environment, a suite of Fortran, C and C++ compilers

Huawei

Research and Development work in compilers and runtime systems.
LLVM
Rust

IBM 🧑‍🎓

🗺 Markham, Ontario, Canada

Eclipse OMR & OpenJ9
XLC
XL Fortran
IBM Cobol

As well as some other IBM internal compilers, and LLVM projects.

Imagination Technologies

LLVM middle/back-ends

Immunant 📤

Builds the C2Rust translator

Inria

OCaml, Coq

Intel

Intel C++ Compiler
Intel FPGA OpenCL compiler

Igalia 📤🧑‍🎓

🗺 A Coruña, Galicia, Spain / Worldwide

Consultancy which is heavily involved in free and open source software, and the web platform. Known in compilers circles for work on scripting engines (SpiderMonkey, V8, JSC), as well as LLVM and Guile.

Jane Street 🧑‍🎓

🗺 New York, London

OCaml

Jetbrains

🗺 Saint Petersburg, Russia

Kotlin

JITX 📤

🗺 SF Bay Area, CA

DSL to generate circuit board designs

Jsoftware

J programming language

Julia Computing 📤🧑‍🎓

🗺 Boston, MA

Development of Julia

Klara 📤

LLVM for ARM on FreeBSD

Kx Systems

K programming language

Lightmatter

Machine learning hardware compilers

Lokad

🗺 Paris, France

DSL compiler for supply chain optimisation

Lynx Tool

Compiler for a visual programming language.

MathWorks

🗺 Natick, MA, USA

MATLAB
Simulink
HDL Coder
LLVM

Marvell

GCC contributions

MCST

🗺 Moscow, Russia

LCC optimizing compiler for MCST's chips
Binary translator from x86 to own Elbrus ISA

MediaTek

🗺 Woburn, MA, USA

Compiler development for MediaTek chips

Micron

Deep Learning Compiler

Microchip

Compiler development for Microchip's chips.

Microsoft

MSVC
C#, F#
Checked C
TypeScript
JVM
Rust Compiler
Python

Microsoft Research

Koka, Lean, F* (F-star)
probably other things too.

Modular 📤

Building AI tooling.

Mozilla 📤 🧑‍🎓

Rust compiler development
SpiderMonkey development

Mutual Knowledge Systems (MuKn) 📤

Building Glow, a language for DApps

Mythic

🗺 SF Bay Area, CA

Machine learning hardware compilers

Nethermind 📤 🧑‍🎓

Get to contribute to a compiler for a target language with a novel memory model
Opportunity to work on tooling support

Nintendo

🗺 Redmond, WA

Compiler engineering

Nod 📤

Compiler improvements for AI workloads.
Python and C++
LLVM / MLIR / PyTorch

Nomic Labs 📤

Ethereum ecosystem such as Hardhat and Solidity

Nuvia 📤

Toolchain development (LLVM, GCC)

NVIDIA

LLVM

NXP

LLVM

OCaml Labs 📤

OCaml compiler and runtime

Octasic

🗺 Montreal, QC, Canada

Compilers for Octasic’s multi-core digital signal processors (LLVM)

OctoML 📤

Apache TVM

OpenAI

🗺 San Fransisco

Triton, a language and compiler for writing highly efficient custom Deep-Learning primitives

Oracle

OpenJDK, including the hotspot compiler

🗺 Zurich, Linz, California, Prague, Brno, Lviv, Casablanca, Belgrade, Remote (📤)

GraalVM (also internships)

Oso 📤

🗺 New York, US / Remote (US/Europe)

Polar: a logic programming language for expressing authorization logic and policies.

Partisa

🗺 Aarhus, Denmark

Creating a language for multi-party computation.

Pensando

🗺 Milpitas, CA

P4 compiler targetting the Capri processor (LLVM)

PGI

🗺 Portland

PGI's compilers
Flang, a Fortran frontend for LLVM

Praetorian 📤

🗺 US

Chariot Source Code, a static analysis tool that exists as part of the Chariot platform

Prophecy.io

🗺 San Fransisco

Scala + Spark engineering (Query optimizer)

Quadric

🗺 Burlingame, CA

LLVM development for Quadric platform

Qualcomm

LLVM
GPU Compiler

Quarkslab

🗺 Paris, France (remote available within France)

A security product built on LLVM

R2C 📤

🗺 San Fransisco, CA

Program analysis tools

Radix Labs 📤

DSL for optimising biotech procedures and executing them in a physical biology lab

Raincode Labs

A variety of compiler/language engineering projects, providing modernization and cost reduction.

Red Hat

GCC
JVM (OpenJDK)

Resevoir Labs 📤 🧑‍🎓

LLVM
Polyhedral compilation

Rigetti Computing 📤

Quantum Computing Compiler (LLVM + Rust)

Roblox

🗺 San Mateo, CA

Embedded scripting languages for the Roblox game engine, for example Luau

Rome 📤

Building developer tooling for JavaScript in Rust

Runtime Verification 📤

K Framework

Sambanova

Deep Learning Compiler (MLIR)
Place & Route (PNR)

Samsung

🗺 San Jose

JIT Compiler for Samsung GPU (OpenGL-ES, OpenCL)

SAP

ABAP
JVM
Node.js

Scala Center

Scala compiler (JVM, Scala.js, Scala native), editor integration and tooling

SEGGER 📤

Clang-based compiler specialised for embedded development

Semantic Designs

🗺 Austin, TX

DMS, a suite of program transformation tools for large scale software systems
PARLANSE, a parallel programming language

ShiftLeft 📤

Compiler technology used for application security.

Shopify 📤

Ruby
Static analysis and typing
Interpreters, garbage collectors
JVM, Truffle, Graal

Siemens

🗺 A number of locations

A number of Compiler/PL projects:

HDL Compilers
DSL Compilers
Industrial Automation Compilation

SiFive

🗺 San Mateo, California, Hsinchu Taiwan

LLVM, MLIR

Silexica

🗺 Cologne

Heterogenous architecture development

Solana

Solang, a compiler for Solidity that targets WebAssembly and BPF

Sonatype 📤

🗺 US, Canada, Colombia

Sonatype Lift, a code quality analysis platform

Sony

🗺 Bangalore, India

LLVM Compiler Development

STMicroelectronics

🗺 Grenoble, France

Support for STMicroelectronic products
Clang, LLVM

Stripe

Sorbet type checker for Ruby
LLVM-based AOT compiler for Ruby

Styra 📤

🗺 US, Canada, Europe

Makers of Open Policy Agent and the datalog-derived logic programming language Rego.
Interpreters, compiler (e.g. compiling Rego to Wasm), and applications of static analysis.

Synopsys

Makers of Coverity

Synthetic Minds 📤

Working on Program Synthesis

Tachyum

Compiler toolchain development for a new architecture that supports binary translation.

Tenstorrent

🗺 Toronto, ON

Machine learning hardware compilers

TetraMem

🗺 SF Bay Area

Machine learning hardware compilers, LLVM

Theobroma Systems

🗺 Vienna

Compiler support for ARM SoC

TI

LLVM
TI specific compiler toolchains

TikTok

🗺 Mountain View, CA

Compilers for mobile platforms

Trail of Bits 📤 🧑‍🎓

Security firm that does compiler engineering and research

TrustInSoft

🗺 San Francisco, Paris

TrustInSoft Analyzer, a source code verification tool for C and C++

Twitter

JVM/Graal

Unity

.NET
Mono
IL2CPP, a compiler to convert .NET IL to C++

Untether.ai

Building machine learning hardware

Ventana

RISC-V Architecture
GCC
LLVM
Performance Analysis

Veridise 📤

Automated analysis of blockchain programs, built atop LLVM

Wasmer

WebAssembly runtime (LLVM)

Waymo