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 (<i id="count"></i>)

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, Taiwan

• Computer vision AI hardware compiler

AMD 📤 (most teams)

• AOCC
• ROCm
• Two LLVM teams: work on the AMDGPU backend for graphics and compute

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

🗺 Cambridge, Manchester, UK

• 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

Category Labs 📤

🗺 New York City

• Accelerating blockchain

Celestial AI

🗺 Santa Clara, CA, Hyderabad, India, Toronto, Canada

• Compiler Backend for the Celestial AI Machine Learning accelerator architecture

Cerebras

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

• LLVM and more

Cisco

🗺 Belgrade, Serbia

• 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

d-Matrix

🗺 _Santa Clara, California _

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

DashBit

• Elixir

DataChemist

• WOQL Compiler

DeepX

🗺 Seongnam, South Korea

• Deep Learning Compiler for NPU hardware

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

Efficient Computer

🗺 San Jose, CA or Pittsburgh, PA

• Develop compilers for a energy-efficient programmable processor

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

EnCharge AI

🗺 U.S., Canada, Germany, Norway

• Graph compilers for AI/ML workloads.

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

F5

🗺 San Jose, Seattle

• Compilers for Security work

Fabric Cryptography 📤

• LLVM-based compiler for custom cryptographic hardware

Fastly

• Lucet, a WebAssembly compiler and runtime for edge computati