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
- 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
🗺 SF Bay Area HQ
- Many SQL dialects and supporting languages
- WOQL Compiler
- C/C++ compilers
- D compiler
- Python
- MyPy
🗺 Karlsruhe, Germany
- Source-to-source compilers
- Static analysis (LLVM)
- Parallelizing transformations
- Erlang
A variety of projects, a limited subset of which I know about below.
- Lucet, a WebAssembly compiler and runtime for edge computation.
Innumerable projects, but off the top of my head:
- Certified C/C++ for Embedded
🗺 Portland, Mountain View
- Machine Learning Hardware 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
- Julia
🗺 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
🗺 Redmond, WA
- Compiler engineering
Nuvia 📤
- Toolchain development (LLVM, GCC)
- LLVM
- OpenJDK, including the hotspot compiler
🗺 Zurich, Linz, California, Prague, Brno, Lviv, Casablanca, Belgrade, Remote (📤)
- GraalVM (also internships)
🗺 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
R2C 📤
🗺 San Fransisco, CA
- Program analysis tools
- GCC
- JVM (OpenJDK)
Resevoir Labs 📤 🧑🎓
- LLVM
- Polyhedral compilation
- K Framework
🗺 San Jose
- JIT Compiler for Samsung GPU (OpenGL-ES, OpenCL)
- ABAP
- JVM
- Node.js
- Ruby
- Static analysis and typing
- Interpreters, garbage collectors
- JVM, Truffle, Graal
🗺 Cologne
- Heterogenous architecture development
🗺 Grenoble, France
- Support for STMicroelectronic products
- Clang, LLVM
- Makers of Coverity
🗺 Vienna
- Compiler support for ARM SoC
- LLVM
- TI specific compiler toolchains
Trail of Bits 📤 🧑🎓
Security firm that has compiler engineering work
- JVM/Graal
Building machine learning hardware
🗺 Wellington, NZ
- Shader Language development
- LLVM
- Erlang
- Compilers for VxWorks