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.

Scope

• Teams that work on language implementations, compilers for languages, language runtimes, static analysis, etc. This includes things like:

  • Database query compilers
  • HDL & Synthesis Compilers

  I want to err on the side of openness! The field is broad, and I don't want to be too close-minded here.

• I generally want evidence that a company has hired at some point in the past or will in the future (which excludes some boutique firms & early stage startups).

Contributing

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

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

I generally link to a company's Careers/Job's page rather than linking to specific jobs -- these links have a longer lifespan than just the straight up link to a job.

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 📤 (some teams)

• AOCC
• ROCm
• LLVM upstream work on the AMDGPU backend

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, London, UK, Israel

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

Arm

• GCC
• LLVM work to support Arm32 (embedded), and to support Scalable Vector Extension (SVE)
• LLVM-based downstream GPU compiler for Mali GPUs
• ML compiler

Ascenium

🗺 Campbell, CA, Stavanger and Oslo, Norway

• LLVM and Hardware codesign.

Astral 📤

• Ruff, a linter and autoformatter for Python code written in Rust.

Autodesk 📤

🗺 Quebec, Ontario

• JIT Compiler for Bifrost for Maya (LLVM?)

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.

ByteDance

🗺 Mountain View, California

• Performance analysis and optimization

Canonical 📤

• Building and improving Rust Compiler & toolchain for Ubuntu

Cerebras

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

• LLVM and more

Cisco

🗺 Belgrade, Sebria

• Work on CISCO Silicon One™ compiler

Cloudflare

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

Codasip 🧑‍🎓📤 (Europe/US)

🗺 Brno/Prague, Czech Republic, Munich, Germany, and Bristol, UK

• CHERI extension for LLVM (RISC-V)
• LLVM engineers, to support the RISC-V vector processing unit

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

Crowdstrike 📤

🗺 US, Canada

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

Cruise 📤 (US only)

🗺 Multiple locations, US

• ML compiler based on MLIR

d-Matrix

🗺 _Santa Clara, California _

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

DashBit

• Elixir

DataChemist

• WOQL Compiler

Deno 📤

• JavaScript runtime and tools written in Rust

Distributive 📤

🗺 Kingston, ON (Canada)

• Distributed Computing on Web Stack - scheduling, WASM toolchains, etc.
• PythonMonkey, deep embedding of SpiderMonkey (JS engine) into Python VM

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

Esperanto Technologies

🗺 Mountain View, California, Austin, Texas Portland, Oregon, Barcelona, Spain

• LLVM and GLOW compiler teams for RISC-V AI acceleration.

Espressif 📤

🗺 Brno, Czechia

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

Ericsson

• Erlang

Fabric Cryptography 📤

• LLVM-based compiler for custom cryptographic hardware

Fastly

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

Fathom Radiant

🗺 Boulder, CO

• ML Compiler work

Flow Computing 📤 (preferably Europe)

🗺 Oulu, Finland

• LLVM (mostly back-end)

Fluence Labs 📤

• Aquamarine, a distributed choreography language & platform

Fuel Labs 📤

• Building Sway, a smart-contract programming language

Furiosa

🗺 Seoul, South Korea

• AI Accelarator

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, Seattle, WA, and London, UK

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

Grit

• Compilers for GritQL

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
• LLVM contributions

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

🗺 Multiple locations, UK

• LLVM middle/back-ends

Immunant 📤

• Builds the C2Rust translator

Inria

🗺 Multiple locations, France

• OCaml, Coq

Intel 📤 (few teams at Intel Labs)

• Intel C++ Compiler
• Intel FPGA OpenCL compiler
• Intel Labs with ML Compiler and MLIR work
• LLVM contributions (mostly X86 backend)

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
• Tools & Compilers Researcher Internship, Flexible

Jetbrains

🗺 Munich & Berlin Germany, Prague Czech Republic, Amsterdam Netherlands, Cyprus, Serbia, Armenia (other locations for non-compiler jobs)

• 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

Lemurian Labs

• AI Portability

Lightmatter

• Machine learning hardware compilers

Linaro

• LLVM work supporting the Arm architecture

Lokad

🗺 Paris, France

• DSL compiler for supply chain optimisation

lowRISC

🗺 Cambridge, UK

• Non-profit with LLVM RISC-V work

Lynx Tool

• Compiler for a visual programming language.

MathWorks

🗺 Natick, MA, USA

• MATLAB
• Simulink
• HDL Coder
• LLVM
• JIT

Matter Labs 📤

• LLVM-based compiler for executing Ethereum smart contracts

Marvell

• GCC contributions

Meta

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

• PyTorch
• HHVM
• Python (Cinder)
• LLVM contributions (MLIR, LLDB, ThinLTO, BOLT etc.)

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.

Microdoc 📤

🗺 Berlin, Munich, Stuttgart, Germany

We develop custom GraalVM and Java runtime environments and virtual machines for use in embedded systems:

• GraalVM Enterprise and Community runtime environments.
• Java SE, OpenJDK and J9 runtime environments.
• Target operating systems include QNX, Linux, Android, Windows CE, OSE.
• Target processor architectures include ARM 64-bits and 32-bits, Intel x86 32-bits, AMD x86_64, MIPS, PowerPC.
• Implementing custom features inside the JVM or standard library.

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.

Monad Labs 📤

• Accelerating blockchain

Mozilla 📤 🧑‍🎓

• 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

NextSilicon

🗺 Israel, Zurich

• MLIR work for specialised HPC hardware

=nil.foundation;

• Ethereum L2

Nintendo

🗺 Redmond, WA

• Compiler engineering

Nomic Foundation 📤

• Compiler Engineering (Rust) - Slang
• Ethereum Development Runtime (Rust) - EDR

Nuvia 📤

• Toolchain development (LLVM, GCC)

NVIDIA 📤 (some teams)

• LLVM middle-end/back-end contributions
• Front-end work on nvcc to support CUDA
• Flang
• ML Compiler

NXP

• LLVM

OCamlPRO 🧑‍🎓

🗺 Paris, France

• Toolchains for OCaml, COBOL and Rust

• Positions for industry oriented doctoral theses and internships

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

OpenText

🗺 Richmond Hill, ON, CA Waterloo, ON, CA Ottawa, ON, CA Mississauga, ON, CA

• Application Security static analysis (OpenText Fortify)

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.

Oven

🗺 San Francisco, 📤 Remote

• Bun: a JavaScript runtime with a native bundler, transpiler, task runner, and npm client built-in.
  • Written in Zig

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 📤 (some teams)

• LLVM (Hexagon backend, Polly)
• GPU Compiler
• ML Compiler

Quantinuum

🗺 Multiple locations, UK/US/Japan

• Quantum 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)
• LLVM

Rigetti Computing 📤

• Quantum Computing Compiler (LLVM + Rust)

Rivos

🗺 Mountain View CA, Austin TX, Portland OR, Fort Collins CO, and Cambridge, UK

• LLVM contribution for RISC-V

Roblox

🗺 San Mateo, CA

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

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 - EPFL

• Non-profit with Scala compiler work (JVM, Scala.js, Scala native), editor integration and tooling

SCI Semiconductor 📤

• LLVM Support for CHERIoT

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

Shorebird 📤

• Dart VM and compiler

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

SiMa.ai

🗺 San Jose, CA

• Machine Learning accelerator compiler
• Hardware software co-design

SiPerl 🧑‍🎓

🗺 Multiple locations, Europe

• LLVM-based compiler

Snowflake

🗺 _ Bellevue, WA, & San Mateo, CA_

• Database query compiler

Snyk

🗺 Bucharest, Romania

• Snyk Code, a static analysis tool that exists as part of the Snyk platform

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
• LLVM work on the ARC backend
• LLDB
• Neural Network Compiler

Synthetic Minds 📤

• Working on Program Synthesis

Tachyum

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

Tarides 📤

🗺 Paris, France, Cambridge, UK, Chennai, India

• OCaml compiler

Tenstorrent

🗺 Toronto, ON

• Machine learning hardware compilers

Terapines

🗺 Wuhan, China

• AI compiler development based on LLVM/MLIR
• Mojo language development
• RISC-V compiler toolchain development
• CIRCT compiler development
• ClangIR development

TetraMem

🗺 SF Bay Area

• Machine learning hardware compilers, LLVM

The Browser Company 📤 (US/Canada)

🗺 New York, US

• Swift compiler work

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++

Unity

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

Untether.ai 📤

🗺 Toronto, Canada

Building machine learning hardware

UPMEM

🗺 Grenoble, France

Building a processing-in-memory product.

• LLVM-based compiler

Vector

• Static analysis and abstract program interpretation for software hardening

Ventana

• RISC-V Architecture
• GCC
• LLVM
• Performance Analysis

Vercel

🗺 United States

Static analysis framework for JavaScript applications

Veridise 📤

Automated analysis of blockchain programs, built atop LLVM

Vypercore

🗺 Bristol / Cambridge

Toolchain development for RISC-V core with novel hardware memory allocation management technology.

Wasmer

• WebAssembly runtime (LLVM)

Waymo

🗺 Mountain View, CA

• Machine learning hardware compiler

Well-Typed 📤

• Glasgow Haskell Compiler (GHC)

Weta Digital

🗺 Wellington, NZ

• Shader Language development
• LLVM

WhatsApp

• Erlang

Wibu-Systems 🧑‍🎓

🗺 Karlsruhe, Germany

• compiler development and security research with LLVM, .NET CIL, Python and more

WindRiver

• Compilers for VxWorks

Wolfram Research

🗺 Linköping, Sweden

• Wolfram language, WolframAlpha, Mathematica
• Modelica

Workday

🗺 Pleasanton, CA

• Compiler, runtime and IDE for Workday's proprietary programming languages, XpressO and YP

Woven Planet

🗺 Tokyo, Japan

• Static analysis and developer tools for vehicle software.

Xilinx

🗺 Cologne, Germany

• Compiler for FPGA Systems

Xanadu

🗺 Toronto, Canada

• Compilation stack for quantum computing and hybrid computation
• LLVM, MLIR, QIR

YoYo Games 📤

🗺 Dundee, Scotland

• LLVM
• GML (GameMaker Language) compiler
• JavaScript compiler
• Integrated Development Environment targeting desktop, web, mobile and games console environments

Zoox

🗺 Foster City, CA

• Program analysis tools for verifying firmware