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.

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

Annotations:

📤: Remote Work Supported

As far as things are known, these companies offer remote work opportunities.

🧑‍🎓: 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!

Companies ()

Aicas

🗺 Karlsruhe, Germany

• Real-time JVM

Amazon

• Corretto
• Inferentia
• Rust

Ambarella

🗺 Santa Clara, CA

• Computer vision AI hardware compiler

AMD

• AOCC

Ampere Computing

• Work on OpenJDK

Anaconda

• Pyston: General-purpose Python JIT originally developed at Dropbox

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

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

DashBit

• Elixir

DataChemist

• WOQL Compiler

Digital Mars

• C/C++ compilers
• D compiler

Dropbox

• Python
• MyPy

Dyalog

• Dyalog APL

Edgecortix

🗺 Tokyo, Japan

• Machine learning hardware compilers

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

Fastly

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

Fathom Radiant

🗺 Boulder, CO

• ML Compiler work

Fluence Labs 📤

• Aquamarine, a distributed choreography language & platform

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.

Immunant 📤

• Builds the C2Rust translator

Inria

• OCaml, Coq

Intel

• Intel C++ Compiler
• Intel FPGA OpenCL compiler

Igalia 📤

• Contractor that has done work on SpiderMonkey, V8, JSC and more.

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

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

Microchip

• Compiler development for Microchip's chips.

Microsoft

• MSVC
• C#, F#
• Checked C
• TypeScript
• JVM

Microsoft Research

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

Mozilla 📤 🧑‍🎓

• Rust compiler development
• SpiderMonkey development
• Cranelift

Mythic

🗺 SF Bay Area, CA

• Machine learning hardware compilers

Nintendo

🗺 Redmond, WA

• Compiler engineering

Nuvia 📤

• Toolchain development (LLVM, GCC)

NVIDIA

• LLVM

OCaml Labs 📤

• OCaml compiler and runtime

OctoML 📤

• Apache TVM

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

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

Radix Labs 📤

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

R2C 📤

🗺 San Fransisco, CA

• Program analysis tools

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

Rome 📤

• Building developer tooling for JavaScript in Rust

Runtime Verification 📤

• K Framework

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

SiFive

🗺 San Mateo, California, Hsinchu Taiwan

• LLVM, MLIR

Silexica

🗺 Cologne

• Heterogenous architecture development

Solana

• Solang, a compiler for Solidity that targets WebAssembly and BPF

STMicroelectronics

🗺 Grenoble, France

• Support for STMicroelectronic products
• Clang, LLVM

Stripe

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

Synopsys

• Makers of Coverity

Synthetic Minds 📤

• Working on Program Synthesis

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

Twitter

• JVM/Graal

Unity

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

Untether.ai

Building machine learning hardware

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

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

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