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!

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

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

Derived from job postings or other knowledge, this is where the team works. Definitely not comprehensive!

🗺 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...).

🗺 Karlsruhe, Germany

• Real-time JVM

• Corretto
• Inferentia
• Rust

🗺 Santa Clara, CA

• Computer vision AI hardware compiler

• AOCC

• Work on OpenJDK

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

🗺 Cupertino, CA

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

• Multiple teams supporting the ARM ISA.

🗺 Campbell, CA, Stavanger and Oslo, Norway

• LLVM and Hardware codesign.

• Java Virtual Machine
• Falcon JIT compiler (LLVM)

🗺 Pittsburgh, PA

• Python, LLVM

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

• LLVM and more

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

• Clang, LLVM, LLDB

• Clojure and ClojureScript

🗺 Austin, TX

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

🗺 New York City

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

• Custom LLVM-based compiler toolchains for clients

🗺 SF Bay Area HQ

📤 map of locations

• Many SQL dialects and supporting languages

• Elixir

• WOQL Compiler

🗺 San Fransisco CA, Palo Alto CA, Zurich Switzerland

• Motoko programming language and system for blockchain smartcontracts.

• C/C++ compilers
• D compiler

• Python
• MyPy

• Dyalog APL

🗺 Tokyo, Japan

• Machine learning hardware compilers

🗺 Karlsruhe, Germany

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

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

• DSL compiler and toolchain for game development

🗺 Brno, Czechia

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

• Erlang

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

• PyTorch
• HHVM

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

🗺 Boulder, CO

• ML Compiler work

• Aquamarine, a distributed choreography language & platform

• CodeQL, a query language for writing custom static analysis rules

🗺 Mountain View, CA and Seattle, WA

Innumerable projects, but off the top of my head:

• Go
• LLVM contributions
• V8
• Dart
• MLIR

🗺 Ithaca, NY

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

🗺 Bristol, Cambridge, UK

• Machine learning hardware compiler (LLVM)

• Certified C/C++ for Embedded

🗺 Portland, Mountain View, Toronto

• Machine Learning Hardware compilers

🗺 Leuven, Belgium / Munich, Germany

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

🗺 Singapore

• Quantum computing compiler

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

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

🗺 Markham, Ontario, Canada

• Eclipse OMR & OpenJ9
• XLC
• XL Fortran
• IBM Cobol

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

• Builds the C2Rust translator

• OCaml, Coq

• Intel C++ Compiler
• Intel FPGA OpenCL compiler

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

🗺 New York, London

• OCaml

🗺 Saint Petersburg, Russia

• Kotlin

🗺 SF Bay Area, CA

• DSL to generate circuit board designs

• J programming language

🗺 Boston, MA

• Development of Julia

• LLVM for ARM on FreeBSD

• K programming language

• Machine learning hardware compilers

🗺 Paris, France

• DSL compiler for supply chain optimisation

• Compiler for a visual programming language.

🗺 Natick, MA, USA

• MATLAB
• Simulink
• HDL Coder
• LLVM

• GCC contributions

🗺 Moscow, Russia

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

🗺 Woburn, MA, USA

• Compiler development for MediaTek chips

• Compiler development for Microchip's chips.

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

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

• Building AI tooling.

• Rust compiler development
• SpiderMonkey development

• Building Glow, a language for DApps

🗺 SF Bay Area, CA

• Machine learning hardware compilers

🗺 Redmond, WA

• Compiler engineering

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

• Ethereum ecosystem such as Hardhat and Solidity

• Toolchain development (LLVM, GCC)

• LLVM

• OCaml compiler and runtime

🗺 Montreal, QC, Canada

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

• Apache TVM

• OpenJDK, including the hotspot compiler

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

• GraalVM (also internships)

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

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

🗺 Aarhus, Denmark

• Creating a language for multi-party computation.

🗺 Milpitas, CA

• P4 compiler targetting the Capri processor (LLVM)

🗺 Portland

• PGI's compilers
• Flang, a Fortran frontend for LLVM

🗺 San Fransisco

• Scala + Spark engineering (Query optimizer)

🗺 Burlingame, CA

• LLVM development for Quadric platform

• LLVM
• GPU Compiler

🗺 Paris, France (remote available within France)

• A security product built on LLVM

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

🗺 San Fransisco, CA

• Program analysis tools

• GCC
• JVM (OpenJDK)

• LLVM
• Polyhedral compilation

• Quantum Computing Compiler (LLVM + Rust)

🗺 San Mateo, CA

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

• Building developer tooling for JavaScript in Rust

• K Framework

🗺 San Jose

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

• ABAP
• JVM
• Node.js

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

• Clang-based compiler specialised for embedded development

🗺 Austin, TX

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

• Compiler technology used for application security.

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

🗺 San Mateo, California, Hsinchu Taiwan

• LLVM, MLIR

🗺 Cologne

• Heterogenous architecture development

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

🗺 Bangalore, India

• LLVM Compiler Development

🗺 Grenoble, France

• Support for STMicroelectronic products
• Clang, LLVM

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

• Makers of Coverity

• Working on Program Synthesis

🗺 Toronto, ON

• Machine learning hardware compilers

🗺 SF Bay Area

• Machine learning hardware compilers, LLVM

🗺 Vienna

• Compiler support for ARM SoC

• LLVM
• TI specific compiler toolchains

🗺 Mountain View, CA

• Compilers for mobile platforms

Security firm that does compiler engineering and research

• JVM/Graal

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

Building machine learning hardware

• WebAssembly runtime (LLVM)

🗺 Mountain View, CA

• Machine learning hardware compiler

• Glasgow Haskell Compiler (GHC)

🗺 Wellington, NZ

• Shader Language development
• LLVM

• Erlang

• Compilers for VxWorks

🗺 Linköping, Sweden

• Wolfram language, WolframAlpha, Mathematica
• Modelica

🗺 Pleasanton, CA

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

🗺 Tokyo, Japan

• Static analysis and developer tools for vehicle software.

🗺 Cologne, Germany

• Compiler for FPGA Systems

🗺 Dundee, Scotland

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

🗺 Foster City, CA

• Program analysis tools for verifying firmware