Need help with CompilerJobs?
Click the โ€œchatโ€ button below for chat support from the developer who created it, or find similar developers for support.

About the developer

mgaudet
234 Stars 36 Forks 157 Commits 6 Opened issues

Description

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

Services available

!
?

Need anything else?

Contributors list

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.

Please contribute: Pass on projects, teams, companies I've missed!

Annotations:

๐Ÿ“ค: Remote Work Supported

As far as things are known, these companies offer remote work opportunities.

๐Ÿง‘โ€๐ŸŽ“: 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!

Companies ()

Aicas

๐Ÿ—บ Karlsruhe, Germany

  • Real-time JVM

Amazon

Ambarella

๐Ÿ—บ Santa Clara, CA

  • Computer vision AI hardware compiler

AMD

Ampere Computing

  • Work on OpenJDK

Anaconda

  • Pyston: General-purpose Python JIT originally developed at Dropbox

Apple ๐Ÿง‘โ€๐ŸŽ“

๐Ÿ—บ Cupertino, CA

  • Clang and LLVM
  • Swift
  • JSC (JavaScript interpreter created as part of WebKit)
  • Static Analysis tooling

ARM

  • Multiple teams supporting the ARM ISA.

Ascenium

๐Ÿ—บ Campbell, CA, Stavanger and Oslo, Norway

  • LLVM and Hardware codesign.

Azul ๐Ÿ“ค

  • Java Virtual Machine
  • Falcon JIT compiler (LLVM)

Bodo ๐Ÿ“ค

๐Ÿ—บ Pittsburgh, PA

  • Python, LLVM

Cerebras

๐Ÿ—บ Los Altos, CA, San Diego, CA or Toronto, Canada

  • LLVM and more

Cloudflare

  • Cloudflare Workers: V8 (WebAssembly, Javascript, deployed at the edge)

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

CompilerWorks

๐Ÿ—บ SF Bay Area HQ

๐Ÿ“ค map of locations

  • Many SQL dialects and supporting languages

DashBit

  • Elixir

DataChemist

  • WOQL Compiler

Digital Mars

  • C/C++ compilers
  • D compiler

Dropbox

Dyalog

  • Dyalog APL

Edgecortix

๐Ÿ—บ Tokyo, Japan

  • Machine learning hardware compilers

emmtrix Technologies ๐Ÿง‘โ€๐ŸŽ“

๐Ÿ—บ Karlsruhe, Germany

  • Source-to-source compilers
  • Static analysis (LLVM)
  • Parallelizing transformations

Enso

  • Compiler for visual programming language, JIT based on Graal/Truffle.

Epic Games

  • DSL compiler and toolchain for game development

Espressif ๐Ÿ“ค

๐Ÿ—บ Brno, Czechia

  • GNU GCC, GDB, Binutils development for Xtensa and other architectures.

Ericsson

  • Erlang

Facebook

A variety of projects, a limited subset of which I know about below.

Fastly

  • Lucet, a WebAssembly compiler and runtime for edge computation.
  • VCL

Fathom Radiant

๐Ÿ—บ Boulder, CO

  • ML Compiler work

Fluence Labs ๐Ÿ“ค

  • Aquamarine, a distributed choreography language & platform

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:

GrammaTech ๐Ÿ“ค (US only)

๐Ÿ—บ Ithaca, NY

Graphcore

๐Ÿ—บ Bristol, Cambridge, UK

  • Machine learning hardware compiler (LLVM)

Greenhills

  • Certified C/C++ for Embedded

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

Huawei

  • 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.

Immunant ๐Ÿ“ค

Inria

  • OCaml, Coq

Intel

Igalia ๐Ÿ“ค

  • Contractor that has done work on SpiderMonkey, V8, JSC and more.

Jane Street ๐Ÿง‘โ€๐ŸŽ“

๐Ÿ—บ New York, London

Jetbrains

๐Ÿ—บ Saint Petersburg, Russia

  • Kotlin

JITX ๐Ÿ“ค

๐Ÿ—บ SF Bay Area, CA

  • DSL to generate circuit board designs

Jsoftware

  • J programming language

Julia Computing ๐Ÿ“ค๐Ÿง‘โ€๐ŸŽ“

๐Ÿ—บ Boston, MA

Kx Systems

  • K programming language

Lightmatter

  • Machine learning hardware compilers

Lokad

๐Ÿ—บ Paris, France

Lynx Tool

  • Compiler for a visual programming language.

MathWorks

๐Ÿ—บ Natick, MA, USA

Marvell

  • GCC contributions

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

Microchip

  • Compiler development for Microchip's chips.

Microsoft

Microsoft Research

  • Koka, Lean, F* (F-star)
  • probably other things too.

Mozilla ๐Ÿ“ค ๐Ÿง‘โ€๐ŸŽ“

Mythic

๐Ÿ—บ SF Bay Area, CA

  • Machine learning hardware compilers

Nintendo

๐Ÿ—บ Redmond, WA

  • Compiler engineering

Nuvia ๐Ÿ“ค

  • Toolchain development (LLVM, GCC)

NVIDIA

  • LLVM

OCaml Labs ๐Ÿ“ค

  • OCaml compiler and runtime

OctoML ๐Ÿ“ค

Oracle

  • 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.

Partisa

๐Ÿ—บ Aarhus, Denmark

  • Creating a language for multi-party computation.

Pensando

๐Ÿ—บ Milpitas, CA

  • P4 compiler targetting the Capri processor (LLVM)

PGI

๐Ÿ—บ Portland

  • PGI's compilers
  • Flang, a Fortran frontend for LLVM

Prophecy.io

๐Ÿ—บ San Fransisco

  • Scala + Spark engineering (Query optimizer)

Quadric

๐Ÿ—บ Burlingame, CA

  • LLVM development for Quadric platform

Qualcomm

  • LLVM
  • GPU Compiler

Quarkslab

๐Ÿ—บ Paris, France (remote available within France) * A security product built on LLVM

Radix Labs ๐Ÿ“ค

  • DSL for optimising biotech procedures and executing them in a physical biology lab

R2C ๐Ÿ“ค

๐Ÿ—บ San Fransisco, CA

  • Program analysis tools

Red Hat

  • GCC
  • JVM (OpenJDK)

Resevoir Labs ๐Ÿ“ค ๐Ÿง‘โ€๐ŸŽ“

  • LLVM
  • Polyhedral compilation

Rigetti Computing ๐Ÿ“ค

  • Quantum Computing Compiler (LLVM + Rust)

Roblox

๐Ÿ—บ San Mateo, CA

  • Embedded scripting languages for the Roblox game engine

Rome ๐Ÿ“ค

Runtime Verification ๐Ÿ“ค

  • K Framework

Samsung

๐Ÿ—บ San Jose

  • JIT Compiler for Samsung GPU (OpenGL-ES, OpenCL)

SAP

  • ABAP
  • JVM
  • Node.js

Scala Center

  • Scala compiler (JVM, Scala.js, Scala native), editor integration and tooling

SEGGER ๐Ÿ“ค

Semantic Designs

๐Ÿ—บ 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

SiFive

๐Ÿ—บ San Mateo, California, Hsinchu Taiwan

  • LLVM, MLIR

Silexica

๐Ÿ—บ Cologne

  • Heterogenous architecture development

Solana

  • Solang, a compiler for Solidity that targets WebAssembly and BPF

STMicroelectronics

๐Ÿ—บ Grenoble, France

  • Support for STMicroelectronic products
  • Clang, LLVM

Stripe

Synopsys

  • Makers of Coverity

Synthetic Minds ๐Ÿ“ค

  • Working on Program Synthesis

Tenstorrent

๐Ÿ—บ Toronto, ON

  • Machine learning hardware compilers

TetraMem

๐Ÿ—บ SF Bay Area

  • Machine learning hardware compilers, LLVM

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

Twitter

  • JVM/Graal

Unity

  • .NET
  • Mono
  • IL2CPP, a compiler to convert .NET IL to C++

Untether.ai

Building machine learning hardware

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

WhatsApp

  • Erlang

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

YoYo Games ๐Ÿ“ค

๐Ÿ—บ Dundee, Scotland

  • LLVM
  • GML (GameMaker Language) compiler
  • JavaScript compiler
  • Integrated Development Environment targeting desktop, web, mobile and games console environments

Zoox

๐Ÿ—บ Foster City, CA

  • Program analysis tools for verifying firmware

We use cookies. If you continue to browse the site, you agree to the use of cookies. For more information on our use of cookies please see our Privacy Policy.