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.

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

• 📤: 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!

• LLVM Toolchain Development

🗺 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
• ROCm

• Work on OpenJDK

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

🗺 Toronto / Markham, Canada

• Quantum Compiler Development
• MLIR/LLVM

🗺 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

🗺 Cambridge, MA

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

🗺 Upton, New York

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

🗺 Mountain View, California

• Performance analysis and optimization

🗺 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

🗺 US, Canada

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

🗺 _Santa Clara, California _

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

• 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

🗺 Southampton, UK, Nürnberg, Germany

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

🗺 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

🗺 Mountain View, California Austin, Texas Portland, Oregon

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

🗺 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
• Python (Cinder)

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

🗺 Boulder, CO

• ML Compiler work

• Aquamarine, a distributed choreography language & platform

• Rust compiler work.

🗺 Arlington, VA

• Programming language design and implementation for building trustworthy computing.

• 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.

• LLVM middle/back-ends

• Builds the C2Rust translator

• OCaml, Coq

• Intel C++ Compiler
• Intel FPGA OpenCL compiler

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

🗺 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

• Deep Learning Compiler

• Compiler development for Microchip's chips.

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

• 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

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

🗺 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

• LLVM

• OCaml compiler and runtime

🗺 Montreal, QC, Canada

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

• Apache TVM

🗺 San Fransisco

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

• 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

🗺 US

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

🗺 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

🗺 San Fransisco, CA

• Program analysis tools

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

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

• 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

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

🗺 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

🗺 A number of locations

A number of Compiler/PL projects:

• HDL Compilers
• DSL Compilers
• Industrial Automation Compilation

🗺 San Mateo, California, Hsinchu Taiwan

• LLVM, MLIR

🗺 Cologne

• Heterogenous architecture development

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

🗺 US, Canada, Colombia

• Sonatype Lift, a code quality analysis platform

🗺 Bangalore, India

• LLVM Compiler Development

🗺 Grenoble, France

• Support for STMicroelectronic products
• Clang, LLVM

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

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

• Makers of Coverity

• Working on Program Synthesis

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

🗺 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

🗺 San Francisco, Paris

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

• JVM/Graal

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

Building machine learning hardware

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

Automated analysis of blockchain programs, built atop LLVM

• 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