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.
Feel free to spruce up the description of the work for teams you know about! Many of these are simply stubs
-
π€: 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!
- 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...).
πΊ Karlsruhe, Germany
- Real-time JVM
πΊ Santa Clara, CA
- Computer vision AI hardware compiler
- Work on OpenJDK
- Pyston: General-purpose Python JIT originally developed at Dropbox
πΊ Toronto / Markham, Canada
- Quantum Compiler Development
- MLIR/LLVM
Apple π§βπ
πΊ Cupertino, CA
- Clang and LLVM
- Swift
- JSC (JavaScript interpreter created as part of WebKit)
- Static Analysis tooling
- Multiple teams supporting the ARM ISA.
πΊ 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
πΊ Cambridge, MA
- Building the Hail project for genomics, including a custom language and compiler.
πΊ Upton, New York
Work on the Programming Models and Compilers (PMC) group of the Computational Science Initiative.
πΊ Mountain View, California
- Performance analysis and optimization
πΊ Los Altos, CA, San Diego, CA or Toronto, Canada
- LLVM and more
- Cloudflare Workers: V8 (WebAssembly, Javascript, deployed at the edge)
- Clang, LLVM, LLDB
- Clojure and ClojureScript
Coherent Logixπ€
πΊ Austin, TX
- Building an LLVM based C compiler for Coherent Logix's multicore chip.
πΊ 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
πΊ _Santa Clara, California _
- Deep Neural Network hardware, with associated compiler (LLVM MLIR)
- Elixir
- WOQL Compiler
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
πΊ San Fransisco CA, Palo Alto CA, Zurich Switzerland
- Motoko programming language and system for blockchain smartcontracts.
- C/C compilers
- D compiler
- Python
- MyPy
- Dyalog APL
πΊ Tokyo, Japan
- Machine learning hardware compilers
πΊ 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
- Compiler for visual programming language, JIT based on Graal/Truffle.
- DSL compiler and toolchain for game development
πΊ Mountain View, California Austin, Texas Portland, Oregon
- LLVM and GLOW compiler teams for RISC-V AI acceleration.
Espressif π€
πΊ Brno, Czechia
- GNU GCC, GDB, Binutils development for Xtensa and other architectures.
- Erlang
Fabric Cryptography π€
- LLVM-based compiler for custom cryptographic hardware
A variety of projects, a limited subset of which I know about below.
πΊ Boulder, CO
- ML Compiler work
Fluence Labs π€
- Aquamarine, a distributed choreography language & platform
Fuel Labs π€
- Building Sway, a smart-contract programming language
- Rust compiler work.
πΊ 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 and Seattle, WA
Innumerable projects, but off the top of my head:
πΊ Eindhoven, NL
Our team develops the MLIR based ML compiler for our own neuromorphic/dataflow architecture.
GrammaTech π€ (US only)
πΊ 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, Toronto
- Machine Learning Hardware compilers
πΊ Leuven, Belgium / Munich, Germany
- ProGuard
- LLVM-based software protection and hardening
- Android application protection and hardening
- Mobile application security testing
πΊ Singapore
- Quantum computing compiler
HPE π€π§βπ
- Chapel
- Cray Programming Environment, a suite of Fortran, C and C compilers
- 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.
- LLVM middle/back-ends
Immunant π€
- Builds the C2Rust translator
- OCaml, Coq
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
πΊ 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
- J programming language
Julia Computing π€π§βπ
πΊ Boston, MA
- Development of Julia
Klara π€
- LLVM for ARM on FreeBSD
- K programming language
- Machine learning hardware compilers
πΊ Paris, France
- DSL compiler for supply chain optimisation
- Compiler for a visual programming language.
πΊ Natick, MA, USA
- GCC contributions
πΊ 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
- Deep Learning Compiler
- 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.
- Koka, Lean, F* (F-star)
- probably other things too.
Modular π€
- Building AI tooling.
Monad Labs π€
- Accelerating blockchain
Mozilla π€ π§βπ
- Building Glow, a language for DApps
πΊ 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
πΊ Israel
- Compiler for specialised HPC hardware
πΊ Redmond, WA
- Compiler engineering
Nod π€
- Compiler improvements for AI workloads.
- Python and C
- LLVM / MLIR / PyTorch
Nomic Foundation π€
- Compiler Engineering (Rust) - Slang
- Ethereum Development Runtime (Rust) - EDR
Nuvia π€
- Toolchain development (LLVM, GCC)
- LLVM
- LLVM
OCaml Labs π€
- OCaml compiler and runtime
OCamlPRO π§βπ
πΊ Paris, France
-
Toolchains for OCaml, COBOL and Rust
-
Positions for industry oriented doctoral theses and internships
πΊ Montreal, QC, Canada
- Compilers for Octasicβs multi-core digital signal processors (LLVM)
OctoML π€
πΊ San Fransisco
- Triton, a language and compiler for writing highly efficient custom Deep-Learning primitives
- 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.
πΊ San Francisco, π€ Remote
- Bun: a JavaScript runtime with a native bundler, transpiler, task runner, and npm client built-in.
- Written in Zig
πΊ Aarhus, Denmark
- Creating a language for multi-party computation.
πΊ Milpitas, CA
- P4 compiler targetting the Capri processor (LLVM)
πΊ 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
πΊ 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
R2C π€
πΊ San Fransisco, CA
- Program analysis tools
Radix Labs π€
- DSL for optimising biotech procedures and executing them in a physical biology lab
- A variety of compiler/language engineering projects, providing modernization and cost reduction.
- GCC
- JVM (OpenJDK)
Resevoir Labs π€ π§βπ
- LLVM
- Polyhedral compilation
Rigetti Computing π€
- Quantum Computing Compiler (LLVM Rust)
πΊ Mountain View CA , Austin TX, Portland OR, Fort Collins CO, πΊ Cambridge, UK
- LLVM contribution for RISC-V
πΊ San Mateo, CA
- Embedded scripting languages for the Roblox game engine, for example Luau
Rome π€
Runtime Verification π€
- K Framework
- Deep Learning Compiler (MLIR)
- Place & Route (PNR)
πΊ San Jose
- JIT Compiler for Samsung GPU (OpenGL-ES, OpenCL)
- ABAP
- JVM
- Node.js
- Scala compiler (JVM, Scala.js, Scala native), editor integration and tooling
SEGGER π€
πΊ 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
Shorebird π€
- Dart VM and compiler
πΊ A number of locations
A number of Compiler/PL projects:
- HDL Compilers
- DSL Compilers
- Industrial Automation Compilation
πΊ San Mateo, California, Hsinchu Taiwan
- LLVM, MLIR
πΊ Cologne
- Heterogenous architecture development
πΊ Bucharest, Romania
- Snyk Code, a static analysis tool that exists as part of the Snyk platform
- Solang, a compiler for Solidity that targets WebAssembly and BPF
Sonatype π€
πΊ US, Canada, Colombia
- Sonatype Lift, a code quality analysis platform
πΊ Bangalore, India
- LLVM Compiler Development
πΊ Grenoble, France
- Support for STMicroelectronic products
- Clang, LLVM
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.
- Makers of Coverity
Synthetic Minds π€
- Working on Program Synthesis
- Compiler toolchain development for a new architecture that supports binary translation.
πΊ Toronto, ON
- Machine learning hardware compilers
πΊ Wuhan, China
- AI compiler development based on LLVM/MLIR
- Mojo language development
- RISC-V compiler toolchain development
- CIRCT compiler development
- ClangIR development
πΊ SF Bay Area
- Machine learning hardware compilers, LLVM
πΊ Vienna
- Compiler support for ARM SoC
- LLVM
- TI specific compiler toolchains
πΊ Mountain View, CA
- Compilers for mobile platforms
Trail of Bits π€ π§βπ
Security firm that does compiler engineering and research
πΊ San Francisco, Paris
- TrustInSoft Analyzer, a source code verification tool for C and C
- JVM/Graal
- .NET
- Mono
- IL2CPP, a compiler to convert .NET IL to C
Building machine learning hardware
- RISC-V Architecture
- GCC
- LLVM
- Performance Analysis
πΊ United States
Static analysis framework for JavaScript applications
Veridise π€
Automated analysis of blockchain programs, built atop LLVM
πΊ Bristol / Cambridge
Toolchain development for RISC-V core with novel hardware memory allocation management technology.
- WebAssembly runtime (LLVM)
πΊ Mountain View, CA
- Machine learning hardware compiler
Well-Typed π€
- Glasgow Haskell Compiler (GHC)
πΊ Wellington, NZ
- Shader Language development
- LLVM
- Erlang
Wibu-Systems π§βπ
πΊ Karlsruhe, Germany
- compiler development and security research with LLVM, .NET CIL, Python and more
- Compilers for VxWorks
πΊ LinkΓΆping, Sweden
- Wolfram language, WolframAlpha, Mathematica
- Modelica
πΊ Pleasanton, CA
- Compiler, runtime and IDE for Workday's proprietary programming languages, XpressO and YP
πΊ Tokyo, Japan
- Static analysis and developer tools for vehicle software.
πΊ Cologne, Germany
- Compiler for FPGA Systems
πΊ 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
πΊ Foster City, CA
- Program analysis tools for verifying firmware