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

AMD

• AOCC

Apple

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

ARM

• Multiple teams supporting the ARM ISA.

Azul 📤

• Java Virtual Machine
• Falcon JIT compiler (LLVM)

Bodo 📤

🗺 Pittsburgh, PA

• Python, LLVM

Cloudflare

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

Codeplay

• Clang, LLVM, LLDB

CompilerWorks

🗺 SF Bay Area HQ

📤 map of locations

• Many SQL dialects and supporting languages

DataChemist

• WOQL Compiler

Digital Mars

• C/C++ compilers
• D compiler

Dropbox

• Python
• MyPy

emmtrix Technologies 🧑‍🎓

🗺 Karlsruhe, Germany

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

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.
  

Google

Innumerable projects, but off the top of my head:

• Go
• LLVM contributions
• V8
• Dart
• MLIR

Greenhills

• Certified C/C++ for Embedded

Groq

🗺 Portland, Mountain View

• Machine Learning Hardware compilers

Huawei

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

IBM 🧑‍🎓

🗺 Markham, Ontario, Canada

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

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

Inria

• OCaml

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

Julia Computing

• Julia

MathWorks

🗺 Nantick, MA, USA

• MATLAB
• Simulink
• HDL Coder
• LLVM

Marvell

• GCC contributions

MediaTek

🗺 Woburn, MA, USA

• Compiler development for MediaTek chips

Microchip

• Compiler development for Microchip's chips.

Microsoft

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

Microsoft Research

• Haskell,
• probably other things too.

Mozilla 📤 🧑‍🎓

• Rust compiler development
• SpiderMonkey development
• Cranelift

Nintendo

🗺 Redmond, WA

• Compiler engineering

Nuvia 📤

• Toolchain development (LLVM, GCC)

NVIDIA

• LLVM

Oracle

• OpenJDK, including the hotspot compiler

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

• GraalVM (also internships)

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

R2C 📤

🗺 San Fransisco, CA

• Program analysis tools

Red Hat

• GCC
• JVM (OpenJDK)

Resevoir Labs 📤 🧑‍🎓

• LLVM
• Polyhedral compilation

Samsung

🗺 San Jose

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

SAP

• ABAP
• JVM
• Node.js

Shopify

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

Silexica

🗺 Cologne

• Heterogenous architecture development

STMicroelectronics

🗺 Grenoble, France

• Support for STMicroelectronic products
• Clang, LLVM

Stripe

• Sorbet type checker for Ruby

Synopsys

• Makers of Coverity

Theobroma Systems

🗺 Vienna

• Compiler support for ARM SoC

TI

• LLVM
• TI specific compiler toolchains

Trail of Bits 📤 🧑‍🎓

Security firm that has compiler engineering work

Twitter

• JVM/Graal

Untether.ai

Building machine learning hardware

Weta Digital

🗺 Wellington, NZ

• Shader Language development
• LLVM

WhatsApp

• Erlang

WindRiver

• Compilers for VxWorks