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!

🗺 Karlsruhe, Germany

• Real-time JVM

• Corretto
• Inferentia

🗺 Santa Clara, CA

• Computer vision AI hardware compiler

• AOCC

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

• Multiple teams supporting the ARM ISA.

• 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

• Custom LLVM-based compiler toolchains for clients

🗺 SF Bay Area HQ

📤 map of locations

• Many SQL dialects and supporting languages

• WOQL Compiler

• C/C++ compilers
• D compiler

• Python
• MyPy

🗺 Tokyo, Japan

• Machine learning hardware compilers

🗺 Karlsruhe, Germany

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

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

• Aquamarine, a distributed choreography language & platform

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

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

• Machine Learning Hardware compilers

🗺 Leuven, Belgium

• LLVM-based software protection and hardening

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

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

🗺 Markham, Ontario, Canada

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

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

• OCaml

• 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

• Julia

• Machine learning hardware compilers

🗺 Paris, France

• DSL compiler for supply chain optimisation

🗺 Nantick, MA, USA

• MATLAB
• Simulink
• HDL Coder
• LLVM

• GCC contributions

🗺 Woburn, MA, USA

• Compiler development for MediaTek chips

• Compiler development for Microchip's chips.

• MSVC
• .NET
• Checked C
• TypeScript
• JVM

• Haskell,
• probably other things too.

• Rust compiler development
• SpiderMonkey development
• Cranelift

🗺 SF Bay Area, CA

• Machine learning hardware compilers

🗺 Redmond, WA

• Compiler engineering

• Toolchain development (LLVM, GCC)

• LLVM

• Apache TVM

• OpenJDK, including the hotspot compiler

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

• GraalVM (also internships)

🗺 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

🗺 San Mateo, CA

• Embedded scripting languages for the Roblox game engine

• K Framework

🗺 San Jose

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

• ABAP
• JVM
• Node.js

• 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

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

🗺 San Mateo, California, Hsinchu Taiwan

• LLVM, MIR

🗺 Cologne

• Heterogenous architecture development

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

🗺 Grenoble, France

• Support for STMicroelectronic products
• Clang, LLVM

• Sorbet type checker for Ruby

• Makers of Coverity

• Working on Program Synthesis

🗺 Toronto, ON

• Machine learning hardware compilers

🗺 Vienna

• Compiler support for ARM SoC

• LLVM
• TI specific compiler toolchains

🗺 Mountain View, CA

• Compilers for mobile platforms

Security firm that has compiler engineering work

• 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

🗺 Wellington, NZ

• Shader Language development
• LLVM

• Erlang

• Compilers for VxWorks

🗺 Foster City, CA

• Program analysis tools for verifying firmware