CompilerJobs

15 min read Original article ↗

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.

Scope

  • Teams that work on language implementations, compilers for languages, language runtimes, static analysis, etc. This includes things like:
    • Database query compilers
    • HDL & Synthesis Compilers

    I want to err on the side of openness! The field is broad, and I don’t want to be too close-minded here.

  • I generally want evidence that a company has hired at some point in the past or will in the future (which excludes some boutique firms & early stage startups).

Contributing

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

I generally link to a company’s Careers/Job’s page rather than linking to specific jobs – these links have a longer lifespan than just the straight up link to a job.

Annotations:

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

Companies ()

  • LLVM Toolchain Development

AdaCore 📤 🧑‍🎓

🗺 New York (US), Paris & Grenoble & Toulouse & Vannes (France), Bristol (UK), Tallinn (Estonia)

Aicas

🗺 Karlsruhe, Germany

  • Real-time JVM

Amazon

Ambarella

🗺 Santa Clara, CA, Taiwan

  • Computer vision AI hardware compiler

AMD 📤 (most teams)

  • AOCC
  • ROCm
  • Two LLVM teams: work on the AMDGPU backend for graphics and compute

Ampere Computing

  • Work on OpenJDK

Anaconda

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

Anyon Systems

🗺 Toronto / Markham, Canada

  • Quantum Compiler Development
  • MLIR/LLVM

Apple 🧑‍🎓

🗺 Cupertino, CA, London, UK, Israel

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

Arm

🗺 Cambridge, Manchester, UK

  • GCC
  • LLVM work to support Arm32 (embedded), and to support Scalable Vector Extension (SVE)
  • LLVM-based downstream GPU compiler for Mali GPUs
  • ML compiler

Ascenium

🗺 Campbell, CA, Stavanger and Oslo, Norway

  • LLVM and Hardware codesign.

Astral 📤

  • Ruff, a linter and autoformatter for Python code written in Rust.

Autodesk 📤

🗺 Quebec, Ontario

Azul 📤

  • Java Virtual Machine
  • Falcon JIT compiler (LLVM)

Bodo 📤

🗺 Pittsburgh, PA

  • Python, LLVM

Broad Institute

🗺 Cambridge, MA

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

Brookhaven National Laboratory

🗺 Upton, New York

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

ByteDance

🗺 Mountain View, California

  • Performance analysis and optimization

Canonical 📤

  • Building and improving Rust Compiler & toolchain for Ubuntu

Category Labs 📤

🗺 New York City

  • Accelerating blockchain

Celestial AI

🗺 Santa Clara, CA, Hyderabad, India, Toronto, Canada

  • Compiler Backend for the Celestial AI Machine Learning accelerator architecture

Cerebras

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

  • LLVM and more

Cisco

🗺 Belgrade, Serbia

  • Work on CISCO Silicon One™ compiler

Cloudflare

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

Codasip 🧑‍🎓📤 (Europe/US)

🗺 Brno/Prague, Czech Republic, Munich, Germany, and Bristol, UK

  • CHERI extension for LLVM (RISC-V)
  • LLVM engineers, to support the RISC-V vector processing unit

Codeplay

  • Clang, LLVM, LLDB

Cognitect

  • Clojure and ClojureScript

Coherent Logix📤

🗺 Austin, TX

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

Columbia University - Data Science Institute

🗺 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

Crowdstrike 📤

🗺 US, Canada

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

d-Matrix

🗺 _Santa Clara, California _

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

DashBit

  • Elixir

DataChemist

  • WOQL Compiler

DeepX

🗺 Seongnam, South Korea

  • Deep Learning Compiler for NPU hardware

Deno 📤

  • JavaScript runtime and tools written in Rust

Distributive 📤

🗺 Kingston, ON (Canada)

  • Distributed Computing on Web Stack - scheduling, WASM toolchains, etc.
  • PythonMonkey, deep embedding of SpiderMonkey (JS engine) into Python VM

Dfinity

🗺 San Fransisco CA, Palo Alto CA, Zurich Switzerland

  • Motoko programming language and system for blockchain smartcontracts.

Digital Mars

  • C/C++ compilers
  • D compiler

Dropbox

Dyalog

  • Dyalog APL

Edgecortix

🗺 Tokyo, Japan

  • Machine learning hardware compilers

Efficient Computer

🗺 San Jose, CA or Pittsburgh, PA

  • Develop compilers for a energy-efficient programmable processor

Embecosm

🗺 Southampton, UK, Nürnberg, Germany

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

emmtrix Technologies 🧑‍🎓

🗺 Karlsruhe, Germany

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

EnCharge AI

🗺 U.S., Canada, Germany, Norway

  • Graph compilers for AI/ML workloads.

Enso

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

Epic Games

  • DSL compiler and toolchain for game development

Esperanto Technologies

🗺 Mountain View, California, Austin, Texas Portland, Oregon, Barcelona, Spain

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

Espressif 📤

🗺 Brno, Czechia

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

Ericsson

  • Erlang

F5

🗺 San Jose, Seattle

  • Compilers for Security work

Fabric Cryptography 📤

  • LLVM-based compiler for custom cryptographic hardware

Fastly

Flow Computing 📤 (preferably Europe)

🗺 Oulu, Finland

  • LLVM (mostly back-end)

Fluence Labs 📤

  • Aquamarine, a distributed choreography language & platform

Flux Computing

🗺 London, UK,

  • Machine learning compiler for optical TPU hardware

Fuel Labs 📤

  • Building Sway, a smart-contract programming language

Furiosa

🗺 Seoul, South Korea

  • AI Accelarator

FutureWei Technologies

  • Rust compiler work.

Galois

🗺 Arlington, VA

  • Programming language design and implementation for building trustworthy computing.

GitHub 📤

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

Google 📤

🗺 Mountain View, CA, Seattle, WA, and London, UK

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

Grit

Groq

🗺 Portland, Mountain View, Toronto

  • Machine Learning Hardware compilers

Guardsquare

🗺 Leuven, Belgium / Munich, Germany

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

Horizon Quantum Computing

🗺 Singapore

  • Quantum computing compiler

HPE 📤🧑‍🎓

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

Huawei

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

IBM 🧑‍🎓

🗺 Markham, Ontario, Canada

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

Imagination Technologies

🗺 Cambridge, Manchester, Bristol, Kings Langley, UK, Poland

  • PowerVR GPU compiler (middle-end is LLVM-based, but back-end is not)

Immunant 📤

Inria

🗺 Multiple locations, France

  • OCaml, Coq

Intel 📤 (few teams at Intel Labs)

Igalia 📤🧑‍🎓

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

Jane Street 🧑‍🎓

🗺 New York, London

Jane Street hires compiler engineers to work on OxCaml, its internal fork of OCaml, as well as other language-oriented projects.

Other internal language-oriented projects include work on a Haxl-like libray in OCaml, compilation pipelines to Javascript and Wasm for OCaml, and a SQL variant with several custom execution engines.

Jetbrains

🗺 Munich & Berlin Germany, Prague Czech Republic, Amsterdam Netherlands, Cyprus, Serbia, Armenia (other locations for non-compiler jobs)

  • Kotlin

JITX 📤

🗺 SF Bay Area, CA

  • DSL to generate circuit board designs

Jsoftware

  • J programming language

Julia Computing 📤🧑‍🎓

🗺 Boston, MA

Klara 📤

  • LLVM for ARM on FreeBSD

Kx Systems

  • K programming language

Lemurian Labs

  • AI Portability

Lightmatter

  • Machine learning hardware compilers

Linaro

  • LLVM work supporting the Arm architecture

Lokad

🗺 Paris, France

lowRISC

🗺 Cambridge, UK

  • Non-profit with LLVM RISC-V work
  • Compiler for a visual programming language.

MathWorks

🗺 Natick, MA, USA

Matter Labs 📤

  • LLVM-based compiler for executing Ethereum smart contracts

Marvell

  • GCC contributions

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

MCST

🗺 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

Micron

  • Deep Learning Compiler

Microchip

  • Compiler development for Microchip’s chips.

Microdoc 📤

🗺 Berlin, Munich, Stuttgart, Germany

We develop custom GraalVM and Java runtime environments and virtual machines for use in embedded systems:

  • GraalVM Enterprise and Community runtime environments.
  • Java SE, OpenJDK and J9 runtime environments.
  • Target operating systems include QNX, Linux, Android, Windows CE, OSE.
  • Target processor architectures include ARM 64-bits and 32-bits, Intel x86 32-bits, AMD x86_64, MIPS, PowerPC.
  • Implementing custom features inside the JVM or standard library.

Microsoft

Microsoft Research

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

Modular 📤 (US/Canada)

  • AI Graph Compiler: MLIR

Mozilla 📤 🧑‍🎓

Mutual Knowledge Systems (MuKn) 📤

  • Building Glow, a language for DApps

Mythic

🗺 SF Bay Area, CA

  • Machine learning hardware compilers

Nethermind 📤 🧑‍🎓

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

NextSilicon

🗺 Israel, Zurich

  • MLIR work for specialised HPC hardware

=nil.foundation;

  • Ethereum L2

Nintendo

🗺 Redmond, WA

  • Compiler engineering

Nomic Foundation 📤

  • Compiler Engineering (Rust) - Slang
  • Ethereum Development Runtime (Rust) - EDR

NVIDIA 📤 (some teams)

  • LLVM middle-end/back-end contributions
  • Front-end work on nvcc to support CUDA
  • Flang
  • ML Compiler

NXP

  • LLVM

OCamlPRO 🧑‍🎓

🗺 Paris, France

  • Toolchains for OCaml, COBOL and Rust

  • Positions for industry oriented doctoral theses and internships

Octasic

🗺 Montreal, QC, Canada

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

OctoML 📤

Omni Design

🗺 Multiple locations, USA

  • Circuit compilers for semiconductors, such as memory compilers, register file and SRAM generation, and software driven circuit topology creation.

OpenAI

🗺 San Fransisco

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

OpenText

🗺 Richmond Hill, ON, CA Waterloo, ON, CA Ottawa, ON, CA Mississauga, ON, CA

  • Application Security static analysis (OpenText Fortify)

Oracle

  • OpenJDK, including the hotspot compiler

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

Oso 📤

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

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

Oven

🗺 San Francisco, 📤 Remote

  • Bun: a JavaScript runtime with a native bundler, transpiler, task runner, and npm client built-in.
    • Written in Zig

Partisa

🗺 Aarhus, Denmark

  • Creating a language for multi-party computation.

Pensando

🗺 Milpitas, CA

  • P4 compiler targetting the Capri processor (LLVM)

Persimmons

🗺 San Jose, CA

  • Compiler for Persimmons’ proprietary ML accelerator hardware.

PGI

🗺 Portland

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

Praetorian 📤

🗺 US

Prophecy.io

🗺 San Fransisco

  • Scala + Spark engineering (Query optimizer)

Quadric

🗺 Burlingame, CA

  • LLVM development for Quadric platform

Qualcomm 📤 (some teams)

  • LLVM (Hexagon, AArch64, and RISC-V teams)
  • GCC
  • GPU Compiler
  • ML Compiler

Quantinuum

🗺 Multiple locations, UK/US/Japan

  • Quantum compiler

Quarkslab

🗺 Paris, France (remote available within France)

  • A security product built on LLVM

R2C 📤

🗺 San Fransisco, CA

  • Program analysis tools

Radix Labs 📤

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

Raincode Labs

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

Rebellions

🗺 Seongnam, South Korea

  • Compiler stack to accelerate deep learning models on NPU products.

Red Hat

  • GCC
  • JVM (OpenJDK)
  • LLVM

Rigetti Computing 📤

  • Quantum Computing Compiler (LLVM + Rust)

Rivos

🗺 Mountain View CA, Austin TX, Portland OR, Fort Collins CO, and Cambridge, UK

  • LLVM contribution for RISC-V

Roblox

🗺 San Mateo, CA

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

Runtime Verification 📤

  • K Framework

Sambanova

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

Samsung

🗺 San Jose

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

SAP

  • ABAP
  • JVM
  • Node.js

Scala Center - EPFL

  • Non-profit with Scala compiler work (JVM, Scala.js, Scala native), editor integration and tooling

SCI Semiconductor 📤

SEGGER 📤

Semantic Designs

🗺 Austin, TX

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

SEMRON

🗺 Dresden, GER

  • LLVM, MLIR

ShiftLeft 📤

  • Compiler technology used for application security.

Shopify 📤

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

Shorebird 📤

  • Dart VM and compiler

Siemens

🗺 A number of locations

A number of Compiler/PL projects:

  • HDL Compilers
  • DSL Compilers
  • Industrial Automation Compilation

SiFive

🗺 San Mateo, California, Hsinchu Taiwan

  • LLVM, MLIR

Silexica

🗺 Cologne

  • Heterogenous architecture development

SiMa.ai 🧑‍🎓

🗺 San Jose, CA

  • Machine Learning accelerator compiler
  • Hardware software co-design

SiPerl 🧑‍🎓

🗺 Multiple locations, Europe

  • LLVM-based compiler

Snowflake

🗺 _ Bellevue, WA, & San Mateo, CA_

  • Database query compiler

Snyk

🗺 Bucharest, Romania

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

Solana

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

Sonatype 📤

🗺 US, Canada, Colombia

Sony

🗺 Bangalore, India, UK

  • LLVM Compiler Development

Splunk (acquired by Cisco) 📤

🗺 Seattle, WA + multiple locations

  • Query language / compiler development

STMicroelectronics

🗺 Grenoble, France

  • Support for STMicroelectronic products
  • Clang, LLVM

Stripe

Styra 📤

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

Synopsys

  • Makers of Coverity
  • LLVM work on the ARC backend
  • LLDB
  • Neural Network Compiler

Synthetic Minds 📤

  • Working on Program Synthesis

Tachyum

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

Tarides 📤

🗺 Paris, France, Cambridge, UK, Chennai, India

  • OCaml compiler

Tenstorrent 📤 (some positions)

🗺 Toronto, ON

  • Machine learning hardware compilers
  • RISC-V LLVM toolchain/compiler work

Terapines

🗺 Wuhan, China

  • AI compiler development based on LLVM/MLIR
  • Mojo language development
  • RISC-V compiler toolchain development
  • CIRCT compiler development
  • ClangIR development

TetraMem

🗺 SF Bay Area

  • Machine learning hardware compilers, LLVM

The Browser Company 📤 (US/Canada)

🗺 New York, US

  • Swift compiler work

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

TrustInSoft

🗺 San Francisco, Paris

Unity

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

UPMEM

🗺 Grenoble, France

Building a processing-in-memory product.

  • LLVM-based compiler

Vector

  • Static analysis and abstract program interpretation for software hardening

Veeva Systems 📤

🗺 Pleasanton, Columbus, Boston, Kansas City, New York City, Raleigh, and Toronto

  • Work on Language and Runtime system

Ventana

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

Vercel

🗺 United States

Static analysis framework for JavaScript applications

Veridise 📤

Automated analysis of blockchain programs, built atop LLVM

Vypercore

🗺 Bristol / Cambridge

Toolchain development for RISC-V core with novel hardware memory allocation management technology.

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

Wibu-Systems 🧑‍🎓

🗺 Karlsruhe, Germany

  • compiler development and security research with LLVM, .NET CIL, Python and more

WindRiver

  • Compilers for VxWorks

Wolfram Research

🗺 Linköping, Sweden

  • Wolfram language, WolframAlpha, Mathematica
  • Modelica

Workday

🗺 Pleasanton, CA

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

Woven Planet

🗺 Tokyo, Japan

  • Static analysis and developer tools for vehicle software.

Xilinx

🗺 Cologne, Germany

  • Compiler for FPGA Systems

Xanadu

🗺 Toronto, Canada

  • Compilation stack for quantum computing and hybrid computation
  • LLVM, MLIR, QIR

YoYo Games 📤

🗺 Dundee, Scotland

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

Yosys HQ 📤

🗺 Multiple locations, Earth

  • Open source FPGA and ASIC logic synthesis and hardware formal verification with model checking
  • MLIR, CIRCT

Zoox

🗺 Foster City, CA

  • Program analysis tools for verifying firmware