Compiler, Language and Runtime Teams
April 24, 2026 Β· View on GitHub
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 ()
Access Softek Toolchains π€
- LLVM Toolchain Development
AdaCore π€ π§βπ
πΊ 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...).
Aicas
πΊ Karlsruhe, Germany
- Real-time JVM
Amazon
Ambarella
πΊ Santa Clara, CA, Taiwan
- Computer vision AI hardware compiler
AMD π€ (most teams)
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
- JIT Compiler for Bifrost for Maya (LLVM?)
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.
Compiler Tool Chain Consulting Services π€
- 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
- Python
- MyPy
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
- CodeSonar, a static analysis tool
- CodeSentry, a binary analysis tool
Graphcore
πΊ Bristol, Cambridge, UK
- Machine learning hardware compiler (LLVM)
Greenhills
- Certified C/C++ for Embedded
Grit
- Compilers for GritQL
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
- Eclipse OMR & OpenJ9
- XLC
- XL Fortran
- IBM Cobol
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 π€
- Builds the C2Rust translator
Inria
πΊ Multiple locations, France
- OCaml, Coq
Intel π€ (few teams at Intel Labs)
- Intel C++ Compiler
- Intel FPGA OpenCL compiler
- Intel Labs with ML Compiler and MLIR work
- LLVM contributions (mostly X86 backend)
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.
- A post about OCaml work at JS
- A Programming langauge engineer role focused on OxCaml.
- A Language and Runtime Engineer role that's aimed at an in-house language system backed by a graph-structured compute engine.
- Tools & Compilers Researcher Internship
- A prefaculty position aimed at people who want to spend a year in industry before going off to an academic PL faculty position.
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
- Development of Julia
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
- DSL compiler for supply chain optimisation
lowRISC
πΊ Cambridge, UK
- Non-profit with LLVM RISC-V work
Lynx Tool
- Compiler for a visual programming language.
MathWorks
πΊ Natick, MA, USA
Matter Labs π€
- LLVM-based compiler for executing Ethereum smart contracts
Marvell
- GCC contributions
Meta
A variety of projects, a limited subset of which I know about below.
- PyTorch
- HHVM
- Python (Cinder)
- LLVM contributions (MLIR, LLDB, ThinLTO, BOLT etc.)
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
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 (π€)
- GraalVM (also internships)
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
- Chariot Source Code, a static analysis tool that exists as part of the Chariot platform
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 π€
- LLVM Support for CHERIoT
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
- Sonatype Lift, a code quality analysis platform
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 π€
πΊ Remote worldwide. Offices: Toronto, ON, Santa Clara, CA
- Machine learning hardware compilers based on MLIR
- 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
- TrustInSoft Analyzer, a source code verification tool for C and C++
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
- 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