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!
As far as things are known, these companies offer remote work opportunities.
These companies are known to have offered internships or co-ops in compiler, languages and runtimes.
Derived from job postings or other knowledge, this is where the team works. Definitely not comprehensive!
🗺 Karlsruhe, Germany
- Real-time JVM
🗺 Santa Clara, CA
- Computer vision AI hardware compiler
- LLVM
- Swift
- JSC (JavaScript interpreter created as part of WebKit)
- Static Analysis tooling
- Multiple teams supporting the ARM ISA.
Azul 📤
- Java Virtual Machine
- Falcon JIT compiler (LLVM)
Bodo 📤
🗺 Pittsburgh, PA
- Python, LLVM
🗺 Los Altos, CA, San Diego, CA or Toronto, Canada
- LLVM and more
- Cloudflare Workers: V8 (WebAssembly, Javascript, deployed at the edge)
- Clang, LLVM, LLDB
- Custom LLVM-based compiler toolchains for clients
🗺 SF Bay Area HQ
- Many SQL dialects and supporting languages
- WOQL Compiler
- C/C++ compilers
- D compiler
- Python
- MyPy
🗺 Tokyo, Japan
- Machine learning hardware compilers
🗺 Karlsruhe, Germany
- Source-to-source compilers
- Static analysis (LLVM)
- Parallelizing transformations
- DSL compiler and toolchain for game development
🗺 Brno, Czechia
- GNU GCC, GDB, Binutils development for Xtensa and other architectures.
- Erlang
A variety of projects, a limited subset of which I know about below.
- Lucet, a WebAssembly compiler and runtime for edge computation.
- Aquamarine, a distributed choreography language & platform
GitHub 📤
- CodeQL, a query language for writing custom static analysis rules
Innumerable projects, but off the top of my head:
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
- Machine Learning Hardware compilers
🗺 Leuven, Belgium
- LLVM-based software protection and hardening
- Chapel
- Cray Programming Environment, a suite of Fortran, C and C++ compilers
- 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.
- OCaml
Igalia 📤
- Contractor that has done work on SpiderMonkey, V8, JSC and more.
🗺 New York, London
🗺 Saint Petersburg, Russia
- Kotlin
JITX 📤
🗺 SF Bay Area, CA
- DSL to generate circuit board designs
- Julia
- Machine learning hardware compilers
🗺 Paris, France
- DSL compiler for supply chain optimisation
🗺 Nantick, MA, USA
- MATLAB
- Simulink
- HDL Coder
- LLVM
- GCC contributions
🗺 Woburn, MA, USA
- Compiler development for MediaTek chips
- Compiler development for Microchip's chips.
- MSVC
- .NET
- Checked C
- TypeScript
- JVM
- Haskell,
- probably other things too.
Mozilla 📤 🧑🎓
- Rust compiler development
- SpiderMonkey development
- Cranelift
🗺 SF Bay Area, CA
- Machine learning hardware compilers
🗺 Redmond, WA
- Compiler engineering
Nuvia 📤
- Toolchain development (LLVM, GCC)
- LLVM
OctoML 📤
- OpenJDK, including the hotspot compiler
🗺 Zurich, Linz, California, Prague, Brno, Lviv, Casablanca, Belgrade, Remote (📤)
- GraalVM (also internships)
🗺 Milpitas, CA
- P4 compiler targetting the Capri processor (LLVM)
🗺 Portland
- PGI's compilers
- Flang, a Fortran frontend for LLVM
🗺 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
- DSL for optimising biotech procedures and executing them in a physical biology lab
R2C 📤
🗺 San Fransisco, CA
- Program analysis tools
- GCC
- JVM (OpenJDK)
Resevoir Labs 📤 🧑🎓
- LLVM
- Polyhedral compilation
🗺 San Mateo, CA
- Embedded scripting languages for the Roblox game engine
- K Framework
🗺 San Jose
- JIT Compiler for Samsung GPU (OpenGL-ES, OpenCL)
- ABAP
- JVM
- Node.js
SEGGER 📤
🗺 Austin, TX
- DMS, a suite of program transformation tools for large scale software systems
- PARLANSE, a parallel programming language
- Ruby
- Static analysis and typing
- Interpreters, garbage collectors
- JVM, Truffle, Graal
🗺 San Mateo, California, Hsinchu Taiwan
- LLVM, MIR
🗺 Cologne
- Heterogenous architecture development
- Solang, a compiler for Solidity that targets WebAssembly and BPF
🗺 Grenoble, France
- Support for STMicroelectronic products
- Clang, LLVM
- Makers of Coverity
- Working on Program Synthesis
🗺 Toronto, ON
- Machine learning hardware compilers
🗺 Vienna
- Compiler support for ARM SoC
- LLVM
- TI specific compiler toolchains
🗺 Mountain View, CA
- Compilers for mobile platforms
Trail of Bits 📤 🧑🎓
Security firm that has compiler engineering work
- JVM/Graal
- .NET
- Mono
- IL2CPP, a compiler to convert .NET IL to C++
Building machine learning hardware
- WebAssembly runtime (LLVM)
🗺 Mountain View, CA
- Machine learning hardware compiler
🗺 Wellington, NZ
- Shader Language development
- LLVM
- Erlang
- Compilers for VxWorks
🗺 Foster City, CA
- Program analysis tools for verifying firmware