Skip to content

A listing of compiler, language and runtime teams for people looking for jobs in this area

Notifications You must be signed in to change notification settings

mdcssw/CompilerJobs

Β 
Β 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 
Β 

Repository files navigation

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.

In Scope: Teams that work on language implementations, compilers for languages, language runtimes, static analysis, etc.

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

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)

πŸ—Ί 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

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

πŸ—Ί 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
  • 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
  • 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

πŸ—Ί 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

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

  • LLVM middle/back-ends

Immunant πŸ“€

  • 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

Klara πŸ“€

  • LLVM for ARM on FreeBSD
  • K programming language
  • Machine learning hardware compilers

πŸ—Ί Paris, France

  • 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
  • Compiler Engineering (Rust) - Slang
  • Ethereum Development Runtime (Rust) - EDR

Nuvia πŸ“€

  • Toolchain development (LLVM, GCC)
  • LLVM
  • LLVM

OCaml Labs πŸ“€

  • OCaml compiler and runtime

πŸ—Ί 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 (πŸ“€)

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

πŸ—Ί 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
  • 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 πŸ“€

  • 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

πŸ—Ί 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

πŸ—Ί 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

  • 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

About

A listing of compiler, language and runtime teams for people looking for jobs in this area

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • HTML 88.2%
  • Ruby 11.8%