/CompilerJobs

A listing of compiler, language and runtime teams for people looking for jobs in this area

Primary LanguageHTML

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

Ambarella

🗺 Santa Clara, CA

  • Computer vision AI hardware compiler

AMD

Ampere Computing

  • Work on OpenJDK

Apple

  • 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

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

DataChemist

  • WOQL Compiler

Digital Mars

  • C/C++ compilers
  • D compiler

Dropbox

Dyalog

  • Dyalog APL

Edgecortix

🗺 Tokyo, Japan

  • Machine learning hardware compilers

emmtrix Technologies 🧑‍🎓

🗺 Karlsruhe, Germany

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

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.

Fastly

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

Fluence Labs 📤

  • Aquamarine, a distributed choreography language & platform

GitHub 📤

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

Google

Innumerable projects, but off the top of my head:

GrammaTech 📤 (US only)

🗺 Ithaca, NY

Graphcore

🗺 Bristol, Cambridge, UK

  • Machine learning hardware compiler (LLVM)

Greenhills

  • Certified C/C++ for Embedded

Groq

🗺 Portland, Mountain View

  • Machine Learning Hardware compilers

Guardsquare

🗺 Leuven, Belgium

  • LLVM-based software protection and hardening

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

IBM 🧑‍🎓

🗺 Markham, Ontario, Canada

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

Inria

  • OCaml

Intel

Igalia 📤

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

Jane Street

🗺 New York, London

Jetbrains

🗺 Saint Petersburg, Russia

  • Kotlin

JITX 📤

🗺 SF Bay Area, CA

  • DSL to generate circuit board designs

Jsoftware

  • J programming language

Julia Computing 📤🧑‍🎓

🗺 Boston, MA

Kx Systems

  • K programming language

Lightmatter

  • Machine learning hardware compilers

Lokad

🗺 Paris, France

MathWorks

🗺 Nantick, MA, USA

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

Microsoft Research

  • Haskell,
  • probably other things too.

Mozilla 📤 🧑‍🎓

Mythic

🗺 SF Bay Area, CA

  • Machine learning hardware compilers

Nintendo

🗺 Redmond, WA

  • Compiler engineering

Nuvia 📤

  • Toolchain development (LLVM, GCC)

NVIDIA

  • LLVM

OctoML 📤

Oracle

  • OpenJDK, including the hotspot compiler

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

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

Roblox

🗺 San Mateo, CA

  • Embedded scripting languages for the Roblox game engine

Rome 📤

Runtime Verification 📤

  • K Framework

Samsung

🗺 San Jose

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

SAP

  • ABAP
  • JVM
  • Node.js

SEGGER 📤

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, MIR

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

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

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