├── Gemfile ├── _includes ├── head-custom.html ├── dynamic_count_script.html └── goat_counter.html ├── index.md ├── _config.yml └── README.md /Gemfile: -------------------------------------------------------------------------------- 1 | source 'https://rubygems.org' 2 | gem 'github-pages', group: :jekyll_plugins 3 | -------------------------------------------------------------------------------- /_includes/head-custom.html: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /index.md: -------------------------------------------------------------------------------- 1 | --- 2 | permalink: / 3 | --- 4 | {% include_relative README.md %} 5 | 6 | 7 | {% include dynamic_count_script.html %} 8 | {% include goat_counter.html %} 9 | -------------------------------------------------------------------------------- /_config.yml: -------------------------------------------------------------------------------- 1 | # theme: jekyll-theme-midnight 2 | 3 | # We're using index.md to allow us to keep the dynamic count script separate. 4 | readme_index: 5 | enabled: false -------------------------------------------------------------------------------- /_includes/dynamic_count_script.html: -------------------------------------------------------------------------------- 1 | 6 | -------------------------------------------------------------------------------- /_includes/goat_counter.html: -------------------------------------------------------------------------------- 1 | 11 | -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- 1 | # Compiler, Language and Runtime Teams 2 | 3 | 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](https://www.mgaudet.ca/technical/2019/12/10/compiler-jobs). 4 | 5 | ### Scope 6 | 7 | - Teams that work on language implementations, compilers for languages, language runtimes, static analysis, etc. This includes things like: 8 | - Database query compilers 9 | - HDL & Synthesis Compilers 10 | 11 | I want to err on the side of openness! The field is broad, and I don't want to be too close-minded here. 12 | - I generally want evidence that a company has hired at some point in the past or will in the future (which excludes some boutique firms & early stage startups). 13 | 14 | 15 | ### Contributing 16 | 17 | [**Please contribute:**](https://github.com/mgaudet/CompilerJobs/pulls) Pass on projects, teams, companies I've missed. 18 | 19 | **Feel free to spruce up the description of the work for teams you know about! Many of these are simply stubs** 20 | 21 | I generally link to a company's Careers/Job's page rather than linking to specific jobs -- these links have a longer lifespan than just the straight up link to a job. 22 | 23 | ### Annotations: 24 | 25 | * 📤: Remote Work Supported 26 | 27 | At the time the icon was added, the company offered remote work. 28 | 29 | * 🧑‍🎓: Internships offered 30 | 31 | These companies are known to have offered internships or co-ops in compiler, languages and runtimes. 32 | 33 | * 🗺 : Location 34 | 35 | Derived from job postings or other knowledge, this is where the team works. Definitely not comprehensive! **Please, help me update this too!** 36 | 37 | # Companies () 38 | 39 | ## [Access Softek Toolchains](https://www.softek-toolchains.com/careers) 📤 40 | 41 | * LLVM Toolchain Development 42 | 43 | ## [AdaCore](https://www.adacore.com/company/careers) 📤 🧑‍🎓 44 | 45 | 🗺 _New York (US), Paris & Grenoble & Toulouse & Vannes (France), Bristol (UK), Tallinn (Estonia)_ 46 | 47 | * Ada runtimes and front-ends ([GNAT](https://github.com/gcc-mirror/gcc/tree/master/gcc/ada), [libadalang](https://github.com/AdaCore/libadalang)). 48 | * Back-ends to said front-ends ([GCC](https://gcc.gnu.org/), [LLVM](https://github.com/AdaCore/gnat-llvm), [Infer](https://github.com/facebook/infer), [Why3](https://github.com/AdaCore/spark2014)...). 49 | * Various custom languages (e.g. [langkit](https://github.com/AdaCore/langkit), [gprbuild](https://github.com/AdaCore/gprbuild), [recordflux](https://github.com/Componolit/RecordFlux)...). 50 | 51 | ## [Aicas](https://www.aicas.com/cms/en/careers) 52 | 53 | 🗺 _Karlsruhe, Germany_ 54 | 55 | * Real-time JVM 56 | 57 | ## [Amazon](https://www.amazon.jobs) 58 | 59 | * [Corretto](https://aws.amazon.com/corretto/) 60 | * [Inferentia](https://aws.amazon.com/machine-learning/inferentia/) 61 | * [Rust](https://aws.amazon.com/blogs/opensource/how-our-aws-rust-team-will-contribute-to-rusts-future-successes/) 62 | 63 | ## [Ambarella](https://www.ambarella.com/) 64 | 🗺 _Santa Clara, CA, Taiwan_ 65 | 66 | * Computer vision AI hardware compiler 67 | 68 | ## [AMD](https://jobs.amd.com/) 📤 (most teams) 69 | 70 | * [AOCC](https://developer.amd.com/amd-aocc/) 71 | * [ROCm](https://rocmdocs.amd.com/en/latest/) 72 | * Two LLVM teams: work on the AMDGPU backend for graphics and compute 73 | 74 | ## [Ampere Computing](https://amperecomputing.com/apply/) 75 | 76 | * Work on OpenJDK 77 | 78 | ## [Anaconda](https://www.anaconda.com/careers) 79 | 80 | * [Pyston](https://www.anaconda.com/blog/pyston-team-joins-anaconda): General-purpose Python JIT originally developed at Dropbox 81 | 82 | ## [Anyon Systems](https://anyonsys.com/) 83 | 🗺 _Toronto / Markham, Canada_ 84 | 85 | * Quantum Compiler Development 86 | * MLIR/LLVM 87 | 88 | ## [Apple](https://www.apple.com/jobs/) 🧑‍🎓 89 | 🗺 _Cupertino, CA, London, UK, Israel_ 90 | 91 | * Clang and LLVM 92 | * Swift 93 | * GPU Compiler 94 | * JSC (JavaScript interpreter created as part of WebKit) 95 | * Static Analysis tooling 96 | 97 | ## [Arm](https://www.arm.com/company/careers) 98 | 🗺 _Cambridge, Manchester, UK_ 99 | 100 | * GCC 101 | * LLVM work to support Arm32 (embedded), and to support Scalable Vector Extension (SVE) 102 | * LLVM-based downstream GPU compiler for Mali GPUs 103 | * ML compiler 104 | 105 | ## [Ascenium](https://www.ascenium.com/careers) 106 | 🗺 _Campbell, CA_, _Stavanger and Oslo, Norway_ 107 | 108 | * LLVM and Hardware codesign. 109 | 110 | ## [Astral](https://astral.sh/) 📤 111 | 112 | * [Ruff](https://astral.sh/ruff), a linter and autoformatter for Python code written in Rust. 113 | 114 | ## [Autodesk](https://www.autodesk.com/careers/overview) 📤 115 | 🗺 _Quebec, Ontario_ 116 | 117 | * JIT Compiler for [Bifrost for Maya](https://newpossible.autodesk.com/bifrost) (LLVM?) 118 | 119 | 120 | ## [Azul](https://www.azul.com/careers-at-azul-systems/) 📤 121 | 122 | * Java Virtual Machine 123 | * Falcon JIT compiler (LLVM) 124 | 125 | ## [Bodo](https://angel.co/company/bodoai) 📤 126 | 127 | 🗺 _Pittsburgh, PA_ 128 | 129 | * Python, LLVM 130 | 131 | ## [Broad Institute](https://broadinstitute.wd1.myworkdayjobs.com/broad_institute) 132 | 133 | 🗺 _Cambridge, MA_ 134 | 135 | * Building the [Hail](https://hail.is/) project for genomics, including a custom language and compiler. 136 | 137 | ## [Brookhaven National Laboratory](https://jobs.bnl.gov/) 138 | 139 | 🗺 _Upton, New York_ 140 | 141 | Work on the Programming Models and Compilers (PMC) group of the Computational Science Initiative. 142 | 143 | ## [ByteDance](https://jobs.bytedance.com) 144 | 145 | 🗺 _Mountain View, California_ 146 | 147 | * Performance analysis and optimization 148 | 149 | ## [Canonical](https://canonical.com/careers/) 📤 150 | 151 | * Building and improving Rust Compiler & toolchain for Ubuntu 152 | 153 | ## [Category Labs](https://www.category.xyz/) 📤 154 | 🗺 _New York City_ 155 | 156 | * Accelerating blockchain 157 | 158 | ## [Celestial AI](https://www.celestial.ai/careers) 159 | 🗺 _Santa Clara, CA, Hyderabad, India, Toronto, Canada_ 160 | 161 | * Compiler Backend for the Celestial AI Machine Learning accelerator architecture 162 | 163 | ## [Cerebras](https://cerebras.net/careers/) 164 | 🗺 _Los Altos, CA, San Diego, CA or Toronto, Canada_ 165 | 166 | * LLVM and more 167 | 168 | ## [Cisco](https://www.cisco.com/c/en/us/about/careers.html) 169 | 🗺 _Belgrade, Serbia_ 170 | 171 | * Work on CISCO Silicon One™ compiler 172 | 173 | ## [Cloudflare](https://www.cloudflare.com/careers/) 174 | 175 | * Cloudflare Workers: V8 (WebAssembly, Javascript, deployed at the edge) 176 | 177 | ## [Codasip](https://codasip.com/company/careers/) 🧑‍🎓📤 (Europe/US) 178 | 🗺 _Brno/Prague, Czech Republic, Munich, Germany, and Bristol, UK_ 179 | 180 | * CHERI extension for LLVM (RISC-V) 181 | * LLVM engineers, to support the RISC-V vector processing unit 182 | 183 | ## [Codeplay](https://www.codeplay.com/company/careers/) 184 | 185 | * Clang, LLVM, LLDB 186 | 187 | ## [Cognitect](https://www.cognitect.com/careers.html) 188 | 189 | * Clojure and ClojureScript 190 | 191 | ## [Coherent Logix](https://www.coherentlogix.com/careers/)📤 192 | 🗺 _Austin, TX_ 193 | 194 | * Building an LLVM based C compiler for Coherent Logix's multicore chip. 195 | 196 | ## [Columbia University - Data Science Institute](https://apply.interfolio.com/91828) 197 | 🗺 _New York City_ 198 | 199 | * Building languages for probabilistic programming and causal reasoning. 200 | * Static/Dynamic analyses and code transformation. 201 | * Julia oriented. 202 | 203 | ## [Compiler Tool Chain Consulting Services](https://compiler-toolchain-for.me/careers) 📤 204 | 205 | * Custom LLVM-based compiler toolchains for clients 206 | 207 | ## [Crowdstrike](https://www.crowdstrike.com/careers/) 📤 208 | 🗺 _US, Canada_ 209 | 210 | * The Sensor and Language Tooling (SaLT) team works on a DSL to script Falcon's threat detection sensor 211 | 212 | ## [d-Matrix](https://www.d-matrix.ai/careers) 213 | 🗺 _Santa Clara, California _ 214 | 215 | * Deep Neural Network hardware, with associated compiler (LLVM+MLIR) 216 | 217 | 218 | ## [DashBit](https://dashbit.co/) 219 | 220 | * Elixir 221 | 222 | ## [DataChemist](https://www.datachemist.com/company/our-team) 223 | 224 | * WOQL Compiler 225 | 226 | ## [DeepX](https://deepx.career.greetinghr.com/ko/career) 227 | 🗺 _Seongnam, South Korea_ 228 | 229 | * Deep Learning Compiler for NPU hardware 230 | 231 | ## [Deno](https://jobs.ashbyhq.com/Deno) 📤 232 | * JavaScript runtime and tools written in Rust 233 | 234 | ## [Distributive](https://distributive.network) 📤 235 | 🗺 Kingston, ON (Canada) 236 | 237 | * Distributed Computing on Web Stack - scheduling, WASM toolchains, etc. 238 | * PythonMonkey, deep embedding of SpiderMonkey (JS engine) into Python VM 239 | 240 | ## [Dfinity](https://dfinity.org/careers/) 241 | 🗺 _San Fransisco CA, Palo Alto CA, Zurich Switzerland_ 242 | 243 | * Motoko programming language and system for blockchain smartcontracts. 244 | 245 | ## [Digital Mars](https://digitalmars.com/) 246 | 247 | * C/C++ compilers 248 | * D compiler 249 | 250 | ## [Dropbox](https://www.dropbox.com/jobs) 251 | 252 | * Python 253 | * [MyPy](http://mypy-lang.org/about.html) 254 | 255 | ## [Dyalog](https://www.dyalog.com/careers.htm) 256 | 257 | * Dyalog APL 258 | 259 | ## [Edgecortix](https://www.edgecortix.com/) 260 | 🗺 _Tokyo, Japan_ 261 | 262 | * Machine learning hardware compilers 263 | 264 | ## [Efficient Computer](https://www.efficient.computer/about#careers) 265 | 🗺 _San Jose, CA_ or _Pittsburgh, PA_ 266 | 267 | * Develop compilers for a energy-efficient programmable processor 268 | 269 | ## [Embecosm](https://www.embecosm.com/about/careers/) 270 | 🗺 _Southampton, UK, Nürnberg, Germany_ 271 | 272 | * Open Source toolchain development, with a primary focus on GCC, LLVM and Verilator. 273 | 274 | 275 | ## [emmtrix Technologies](https://www.emmtrix.com/company/jobs) 🧑‍🎓 276 | 🗺 _Karlsruhe, Germany_ 277 | 278 | * Source-to-source compilers 279 | * Static analysis (LLVM) 280 | * Parallelizing transformations 281 | 282 | ## [EnCharge AI](https://www.enchargeai.com/careers) 283 | 🗺 _U.S., Canada, Germany, Norway_ 284 | 285 | * Graph compilers for AI/ML workloads. 286 | 287 | ## [Enso](https://www.ycombinator.com/companies/enso) 288 | 289 | * Compiler for visual programming language, JIT based on Graal/Truffle. 290 | 291 | ## [Epic Games](https://www.epicgames.com/site/en-US/careers) 292 | 293 | * DSL compiler and toolchain for game development 294 | 295 | ## [Esperanto Technologies](https://www.esperanto.ai/careers/) 296 | 🗺 _Mountain View, California, Austin, Texas Portland, Oregon, Barcelona, Spain_ 297 | 298 | * LLVM and GLOW compiler teams for RISC-V AI acceleration. 299 | 300 | ## [Espressif](https://www.espressif.com/en/join-us/job-search) 📤 301 | 🗺 _Brno, Czechia_ 302 | 303 | * GNU GCC, GDB, Binutils development for Xtensa and other architectures. 304 | 305 | ## [Ericsson](https://www.ericsson.com/en/careers) 306 | 307 | * Erlang 308 | 309 | ## [F5](https://www.f5.com/company/careers) 310 | 🗺 _San Jose, Seattle_ 311 | 312 | * Compilers for Security work 313 | 314 | ## [Fabric Cryptography](https://www.fabriccryptography.com) 📤 315 | 316 | * LLVM-based compiler for custom cryptographic hardware 317 | 318 | ## [Fastly](https://www.fastly.com/about/careers) 319 | 320 | * [Lucet](https://www.fastly.com/blog/announcing-lucet-fastly-native-webassembly-compiler-runtime), a WebAssembly compiler and runtime for edge computation. 321 | * [Cranelift](https://github.com/bytecodealliance/cranelift) 322 | * [VCL](https://developer.fastly.com/reference/vcl/) 323 | 324 | ## [Flow Computing](https://flow-computing.com/company/) 📤 (preferably Europe) 325 | 🗺 _Oulu, Finland_ 326 | 327 | * LLVM (mostly back-end) 328 | 329 | ## [Fluence Labs](https://fluence.network/join.html) 📤 330 | 331 | * Aquamarine, a distributed choreography language & platform 332 | 333 | ## [Flux Computing](https://www.fluxcomputing.com/careers) 334 | 🗺 _London, UK,_ 335 | 336 | * Machine learning compiler for optical TPU hardware 337 | 338 | ## [Fuel Labs](https://jobs.lever.co/fuellabs) 📤 339 | 340 | * Building [Sway](https://github.com/FuelLabs/sway), a smart-contract programming language 341 | 342 | ## [Furiosa](https://furiosa.ai/jobs) 343 | 🗺 _Seoul, South Korea_ 344 | 345 | * AI Accelarator 346 | 347 | ## [FutureWei Technologies](https://www.futurewei.com/index.php/careers) 348 | 349 | * Rust compiler work. 350 | 351 | ## [Galois](https://galois.com/careers/) 352 | 🗺 _Arlington, VA_ 353 | 354 | * Programming language design and implementation for building trustworthy computing. 355 | 356 | ## [GitHub](https://github.com/about/careers) 📤 357 | 358 | * [CodeQL](https://securitylab.github.com/tools/codeql/), a query language for writing custom static analysis rules 359 | 360 | ## [Google](https://careers.google.com/) 📤 361 | 🗺 _Mountain View, CA, Seattle, WA, and London, UK_ 362 | 363 | Innumerable projects, but off the top of my head: 364 | 365 | * [Go](https://golang.org/) 366 | * LLVM contributions 367 | * [V8](https://v8.dev/) 368 | * [Dart](https://dart.dev/) 369 | * [MLIR](https://www.tensorflow.org/mlir) 370 | 371 | ## [GrammaTech](https://www.grammatech.com/careers) 📤 (US only) 372 | 🗺 _Ithaca, NY_ 373 | 374 | * [CodeSonar](https://www.grammatech.com/products/source-code-analysis), a static analysis tool 375 | * [CodeSentry](https://www.grammatech.com/codesentry-sca), a binary analysis tool 376 | 377 | ## [Graphcore](https://www.graphcore.ai/jobs) 378 | 🗺 _Bristol, Cambridge, UK_ 379 | 380 | * Machine learning hardware compiler (LLVM) 381 | 382 | ## [Greenhills](https://www.ghs.com/jobs.html) 383 | 384 | * Certified C/C++ for Embedded 385 | 386 | ## [Grit](https://about.grit.io/) 387 | 388 | * Compilers for [GritQL](https://docs.grit.io/language/overview) 389 | 390 | ## [Groq](https://groq.com/careers/) 391 | 🗺 _Portland, Mountain View, Toronto_ 392 | 393 | * Machine Learning Hardware compilers 394 | 395 | ## [Guardsquare](https://www.guardsquare.com/careers) 396 | 🗺 _Leuven, Belgium / Munich, Germany_ 397 | 398 | * ProGuard 399 | * LLVM-based software protection and hardening 400 | * Android application protection and hardening 401 | * Mobile application security testing 402 | 403 | ## [Horizon Quantum Computing](https://horizonquantum.applytojob.com/) 404 | 🗺 _Singapore_ 405 | 406 | * Quantum computing compiler 407 | 408 | ## [HPE](https://careers.hpe.com/jobs) 📤🧑‍🎓 409 | 410 | * [Chapel](https://chapel-lang.org/) 411 | * Cray Programming Environment, a suite of Fortran, C and C++ compilers 412 | * LLVM contributions 413 | 414 | ## [Huawei](https://www.huawei.com/ch-en/about-huawei/careers) 415 | 416 | * Research and Development work in compilers and runtime systems. 417 | * LLVM 418 | * Rust 419 | 420 | ## [IBM](https://www.ibm.com/employment/) 🧑‍🎓 421 | 🗺 _Markham, Ontario, Canada_ 422 | 423 | * Eclipse [OMR](https://github.com/eclipse/omr) & [OpenJ9](https://github.com/eclipse/openj9) 424 | * [XLC](https://www.ibm.com/us-en/marketplace/ibm-c-and-c-plus-plus-compiler-family) 425 | * [XL Fortran](https://www.ibm.com/us-en/marketplace/xl-fortran-linux-compiler-power) 426 | * [IBM Cobol](https://www.ibm.com/us-en/marketplace/ibm-cobol) 427 | 428 | As well as some other IBM internal compilers, and LLVM projects. 429 | 430 | ## [Imagination Technologies](https://www.imaginationtech.com/careers/vacancies/) 431 | 🗺 _Cambridge, Manchester, Bristol, Kings Langley, UK, Poland_ 432 | 433 | * PowerVR GPU compiler (middle-end is LLVM-based, but back-end is not) 434 | 435 | ## [Immunant](https://immunant.com/jobs/) 📤 436 | 437 | * Builds [the C2Rust translator](https://github.com/immunant/c2rust) 438 | 439 | ## [Inria](https://www.inria.fr/en/) 440 | 🗺 _Multiple locations, France_ 441 | 442 | * OCaml, Coq 443 | 444 | ## [Intel](https://www.intel.com/content/www/us/en/jobs/jobs-at-intel.html) 📤 (few teams at Intel Labs) 445 | 446 | * [Intel C++ Compiler](https://software.intel.com/en-us/c-compilers) 447 | * [Intel FPGA OpenCL compiler](https://www.intel.ca/content/www/ca/en/software/programmable/sdk-for-opencl/overview.html) 448 | * [Intel Labs](https://www.intel.com/content/www/us/en/research/overview.html) with ML Compiler and MLIR work 449 | * LLVM contributions (mostly X86 backend) 450 | 451 | ## [Igalia](https://www.igalia.com/jobs/) 📤🧑‍🎓 452 | 🗺 _A Coruña, Galicia, Spain / Worldwide_ 453 | 454 | * 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. 455 | 456 | ## [Jane Street](https://www.janestreet.com/join-jane-street/apply/) 🧑‍🎓 457 | 🗺 _New York, London_ 458 | 459 | Jane Street hires compiler engineers to work on [OxCaml](http://oxcaml.org), its internal fork of OCaml, as well as other language-oriented projects. 460 | 461 | * A [post about OCaml work at JS](https://blog.janestreet.com/work-on-the-ocaml-compiler-at-jane-street/) 462 | * A [Programming langauge engineer](https://www.janestreet.com/join-jane-street/position/4275921002/) role focused on OxCaml. 463 | * A [Language and Runtime Engineer](https://www.janestreet.com/join-jane-street/position/6378838002/) role that's aimed at an in-house language system backed by a graph-structured compute engine. 464 | * [Tools & Compilers Researcher Internship](https://www.janestreet.com/join-jane-street/position/5869205002/) 465 | * A [prefaculty](https://www.janestreet.com/join-jane-street/programs-and-events/visiting-researcher-prefaculty/) position aimed at people who want to spend a year in industry before going off to an academic PL faculty position. 466 | 467 | Other internal language-oriented projects include work on a [Haxl](https://hackage.haskell.org/package/haxl)-like libray in OCaml, compilation pipelines to Javascript and Wasm for OCaml, and a SQL variant with several custom execution engines. 468 | 469 | ## [Jetbrains](https://www.jetbrains.com/careers/apply/) 470 | 471 | 🗺 _Munich & Berlin Germany, Prague Czech Republic, Amsterdam Netherlands, Cyprus, Serbia, Armenia (other locations for non-compiler jobs)_ 472 | 473 | * Kotlin 474 | 475 | ## [JITX](https://www.jitx.com/careers) 📤 476 | 🗺 _SF Bay Area, CA_ 477 | 478 | * DSL to generate circuit board designs 479 | 480 | ## [Jsoftware](https://www.jsoftware.com/#/contact) 481 | 482 | * J programming language 483 | 484 | ## [Julia Computing](https://juliacomputing.com/communication/jobs) 📤🧑‍🎓 485 | 🗺 _Boston, MA_ 486 | 487 | * Development of [Julia](https://julialang.org/) 488 | 489 | ## [Klara](https://klarasystems.com/careers/) 📤 490 | 491 | * LLVM for ARM on FreeBSD 492 | 493 | ## [Kx Systems](https://kx.com/about/careers/) 494 | 495 | * K programming language 496 | 497 | ## [Lemurian Labs](https://www.lemurianlabs.com/) 498 | 499 | * AI Portability 500 | 501 | ## [Lightmatter](https://lightmatter.co/people/join-us/) 502 | 503 | * Machine learning hardware compilers 504 | 505 | ## [Linaro](https://www.linaro.org/careers) 506 | 507 | * LLVM work supporting the Arm architecture 508 | 509 | ## [Lokad](https://www.lokad.com/jobs-senior-compilation-engineer) 510 | 🗺 _Paris, France_ 511 | 512 | * DSL compiler for [supply chain optimisation](http://blog.lokad.com/journal/2016/9/26/will-compilation-save-supply-chains) 513 | 514 | ## [lowRISC](https://lowrisc.org/jobs/) 515 | 🗺 _Cambridge, UK_ 516 | 517 | * Non-profit with LLVM RISC-V work 518 | 519 | ## [Lynx Tool](https://lynxtool.com/careers) 520 | 521 | * Compiler for a visual programming language. 522 | 523 | ## [MathWorks](https://www.mathworks.com/company/jobs/opportunities.html?source=19210&s_eid=Rci_19210) 524 | 🗺 _Natick, MA, USA_ 525 | 526 | * [MATLAB](https://www.mathworks.com/products/matlab.html) 527 | * [Simulink](https://www.mathworks.com/products/simulink.html) 528 | * [HDL Coder](https://www.mathworks.com/products/hdl-coder.html) 529 | * [LLVM](https://llvm.org/devmtg/2014-10/Slides/Cheng-InteractiveModeling.pdf) 530 | * [JIT](https://www.mathworks.com/company/jobs/opportunities/9537-senior-software-engineer-jit-compiler?source=19210&s_eid=Rci_19210) 531 | 532 | ## [Matter Labs](https://matter-labs.io) 📤 533 | 534 | * LLVM-based compiler for executing Ethereum smart contracts 535 | 536 | ## [Marvell](https://www.marvell.com/company/careers/) 537 | 538 | * GCC contributions 539 | 540 | ## [Meta](https://www.metacareers.com) 541 | 542 | A variety of projects, a limited subset of which I know about below. 543 | 544 | * [PyTorch](https://pytorch.org/) 545 | * [HHVM](https://hhvm.com/) 546 | * [Python (Cinder)](https://github.com/facebookincubator/cinder) 547 | * LLVM contributions (MLIR, LLDB, ThinLTO, BOLT etc.) 548 | 549 | ## [MCST](http://www.mcst.ru/vakansis) 550 | 🗺 _Moscow, Russia_ 551 | 552 | * [LCC](http://www.mcst.ru/lcc) optimizing compiler for MCST's chips 553 | * Binary translator from x86 to own Elbrus ISA 554 | 555 | ## [MediaTek](https://careers.mediatek.com/) 556 | 🗺 _Woburn, MA, USA_ 557 | 558 | * Compiler development for MediaTek chips 559 | 560 | ## [Micron](https://www.micron.com/careers) 561 | 562 | * Deep Learning Compiler 563 | 564 | ## [Microchip](https://careers.microchip.com/) 565 | 566 | * Compiler development for Microchip's chips. 567 | 568 | ## [Microdoc](https://www.microdoc.com/career/) 📤 569 | 🗺 _Berlin, Munich, Stuttgart, Germany_ 570 | 571 | We develop custom GraalVM and Java runtime environments and virtual machines for use in embedded systems: 572 | * [GraalVM](https://www.graalvm.org/) Enterprise and Community runtime environments. 573 | * Java SE, OpenJDK and J9 runtime environments. 574 | * Target operating systems include QNX, Linux, Android, Windows CE, OSE. 575 | * Target processor architectures include ARM 64-bits and 32-bits, Intel x86 32-bits, AMD x86_64, MIPS, PowerPC. 576 | * Implementing custom features inside the JVM or standard library. 577 | 578 | ## [Microsoft](https://careers.microsoft.com/) 579 | 580 | * MSVC 581 | * C#, F# 582 | * [Checked C](https://github.com/Microsoft/checkedc) 583 | * TypeScript 584 | * JVM 585 | * Rust Compiler 586 | * [Python](https://github.com/faster-cpython) 587 | 588 | ## [Microsoft Research](https://www.microsoft.com/en-us/research/careers/) 589 | 590 | * Koka, Lean, F* (F-star) 591 | * probably other things too. 592 | 593 | ## [Modular](https://www.modular.com/company/careers) 📤 (US/Canada) 594 | 595 | * AI Graph Compiler: MLIR 596 | 597 | ## [Mozilla](https://careers.mozilla.org/listings/) 📤 🧑‍🎓 598 | 599 | * [SpiderMonkey development](https://spidermonkey.dev) 600 | 601 | ## [Mutual Knowledge Systems (MuKn)](https://mukn.io/) 📤 602 | 603 | * Building [Glow](https://glow-lang.org), a language for DApps 604 | 605 | ## [Mythic](https://www.mythic-ai.com/join/) 606 | 🗺 _SF Bay Area, CA_ 607 | 608 | * Machine learning hardware compilers 609 | 610 | ## [Nethermind](https://boards.eu.greenhouse.io/nethermind/jobs/4034249101) 📤 🧑‍🎓 611 | 612 | * Get to contribute to a compiler for a target language with a novel memory model 613 | * Opportunity to work on tooling support 614 | 615 | ## [NextSilicon](https://www.nextsilicon.com/careers) 616 | 🗺 _Israel, Zurich_ 617 | 618 | * MLIR work for specialised HPC hardware 619 | 620 | ## [=nil.foundation;](https://nil.foundation/careers/jobs) 621 | 622 | * Ethereum L2 623 | 624 | ## [Nintendo](https://careers.nintendo.com/job-openings/) 625 | 🗺 _Redmond, WA_ 626 | 627 | * Compiler engineering 628 | 629 | ## [Nomic Foundation](https://nomic.foundation/) 📤 630 | 631 | * Compiler Engineering (Rust) - Slang 632 | * Ethereum Development Runtime (Rust) - EDR 633 | 634 | ## [NVIDIA](https://www.nvidia.com/en-us/about-nvidia/careers/) 📤 (some teams) 635 | 636 | * LLVM middle-end/back-end contributions 637 | * Front-end work on nvcc to support CUDA 638 | * Flang 639 | * ML Compiler 640 | 641 | ## [NXP](https://www.nxp.com/company/about-nxp/careers:CAREERS) 642 | 643 | * LLVM 644 | 645 | ## [OCamlPRO](https://ocamlpro.com/) 🧑‍🎓 646 | 🗺 _Paris, France_ 647 | 648 | * Toolchains for OCaml, COBOL and Rust 649 | 650 | * Positions for industry oriented doctoral theses and internships 651 | 652 | ## [Octasic](http://www.octasic.com/careers/#openings) 653 | 🗺 _Montreal, QC, Canada_ 654 | 655 | * Compilers for Octasic’s multi-core digital signal processors (LLVM) 656 | 657 | ## [OctoML](https://octoml.ai/company/careers/) 📤 658 | 659 | * [Apache TVM](https://tvm.apache.org/) 660 | 661 | ## [Omni Design](https://www.omnidesigntech.com/about/careers/) 662 | 🗺 _Multiple locations, USA_ 663 | 664 | * Circuit compilers for semiconductors, such as memory compilers, register file and SRAM generation, and software driven circuit topology creation. 665 | 666 | ## [OpenAI](https://openai.com/careers/) 667 | 🗺 _San Fransisco_ 668 | 669 | * [Triton](https://github.com/openai/triton), a language and compiler for writing highly efficient custom Deep-Learning primitives 670 | 671 | ## [OpenText](https://careers.opentext.com/) 672 | 🗺 _Richmond Hill, ON, CA Waterloo, ON, CA Ottawa, ON, CA Mississauga, ON, CA_ 673 | 674 | * Application Security static analysis (OpenText Fortify) 675 | 676 | ## [Oracle](https://www.oracle.com/corporate/careers/) 677 | 678 | * OpenJDK, including the hotspot compiler 679 | 680 | 🗺 _Zurich_, _Linz_, _California_, _Prague_, _Brno_, _Lviv_, _Casablanca_, _Belgrade_, _Remote_ (📤) 681 | 682 | * [GraalVM](https://www.graalvm.org/) (also [internships](https://www.graalvm.org/community/internship/)) 683 | 684 | ## [Oso](https://www.osohq.com/company/jobs) 📤 685 | 686 | 🗺 *New York, US / Remote (US/Europe)* 687 | 688 | * [Polar](https://docs.osohq.com/learn/polar-foundations.html): a logic programming language for 689 | expressing authorization logic and policies. 690 | 691 | ## [Oven](https://oven.sh) 692 | 🗺 San Francisco, 📤 Remote 693 | 694 | * [Bun](https://bun.sh): a JavaScript runtime with a native bundler, transpiler, task runner, and npm client built-in. 695 | * Written in Zig 696 | 697 | ## [Partisa](https://partisia.com/careers/) 698 | 🗺 _Aarhus, Denmark_ 699 | 700 | * Creating a language for multi-party computation. 701 | 702 | ## [Pensando](https://recruiterflow.com/Pensando-Systems/jobs) 703 | 🗺 _Milpitas, CA_ 704 | 705 | * P4 compiler targetting the Capri processor (LLVM) 706 | 707 | ## [Persimmons](https://apply.workable.com/persimmons-ai/) 708 | 🗺 _San Jose, CA_ 709 | 710 | * Compiler for Persimmons' proprietary ML accelerator hardware. 711 | 712 | ## [PGI](https://www.pgroup.com/about/jobs.htm) 713 | 🗺 _Portland_ 714 | 715 | * PGI's compilers 716 | * [Flang](https://github.com/flang-compiler/flang), a Fortran frontend for LLVM 717 | 718 | ## [Praetorian](https://www.praetorian.com/company/careers/) 📤 719 | 🗺 _US_ 720 | 721 | * [Chariot Source Code](https://www.praetorian.com/chariot/source-code/), a static analysis tool that exists as part of the Chariot platform 722 | 723 | ## [Prophecy.io](https://angel.co/company/prophecy-io/jobs) 724 | 🗺 _San Fransisco_ 725 | 726 | * Scala + Spark engineering (Query optimizer) 727 | 728 | ## [Quadric](https://quadric.io/#join-the-team) 729 | 🗺 _Burlingame, CA_ 730 | 731 | * LLVM development for Quadric platform 732 | 733 | ## [Qualcomm](https://www.qualcomm.com/company/careers) 📤 (some teams) 734 | 735 | * LLVM (Hexagon, AArch64, and RISC-V teams) 736 | * GCC 737 | * GPU Compiler 738 | * ML Compiler 739 | 740 | ## [Quantinuum](https://www.quantinuum.com/company/careers) 741 | 🗺 _Multiple locations, UK/US/Japan_ 742 | 743 | * Quantum compiler 744 | 745 | ## [Quarkslab](https://www.quarkslab.com/careers-jobs/) 746 | 🗺 _Paris, France_ (remote available within France) 747 | * A security product built on LLVM 748 | 749 | ## [R2C](https://r2c.dev/) 📤 750 | 🗺 _San Fransisco, CA_ 751 | 752 | * Program analysis tools 753 | 754 | ## [Radix Labs](https://www.radix.bio/careers) 📤 755 | 756 | * DSL for optimising biotech procedures and executing them in a physical biology lab 757 | 758 | ## [Raincode Labs](https://www.raincodelabs.com/careers/) 759 | 760 | * A variety of compiler/language engineering projects, providing modernization and cost reduction. 761 | 762 | ## [Rebellions](https://rebellions.ai/career/) 763 | 🗺 _Seongnam, South Korea_ 764 | 765 | * Compiler stack to accelerate deep learning models on NPU products. 766 | 767 | ## [Red Hat](https://www.redhat.com/en/jobs) 768 | 769 | * GCC 770 | * JVM (OpenJDK) 771 | * LLVM 772 | 773 | ## [Rigetti Computing](https://www.rigetti.com/careers) 📤 774 | 775 | * Quantum Computing Compiler (LLVM + Rust) 776 | 777 | ## [Rivos](https://www.rivosinc.com/) 778 | 🗺 _Mountain View CA, Austin TX, Portland OR, Fort Collins CO, and Cambridge, UK_ 779 | 780 | * LLVM contribution for RISC-V 781 | 782 | ## [Roblox](https://corp.roblox.com/careers/) 783 | 🗺 _San Mateo, CA_ 784 | 785 | * Embedded scripting languages for the Roblox game engine, for example [Luau](https://luau-lang.org/) 786 | 787 | ## [Runtime Verification](https://runtimeverification.com/careers/) 📤 788 | 789 | * K Framework 790 | 791 | ## [Sambanova](https://sambanova.ai/careers/) 792 | 793 | * Deep Learning Compiler (MLIR) 794 | * Place & Route (PNR) 795 | 796 | ## [Samsung](https://www.samsung.com/us/careers/) 797 | 🗺 _San Jose_ 798 | 799 | * JIT Compiler for Samsung GPU (OpenGL-ES, OpenCL) 800 | 801 | ## [SAP](https://jobs.sap.com/) 802 | 803 | * ABAP 804 | * JVM 805 | * Node.js 806 | 807 | ## [Scala Center - EPFL](https://scala.epfl.ch/) 808 | 809 | * Non-profit with Scala compiler work (JVM, Scala.js, Scala native), editor integration and tooling 810 | 811 | ## [SCI Semiconductor](https://www.scisemi.com/careers/) 📤 812 | 813 | * LLVM Support for [CHERIoT](https://cheriot.org/) 814 | 815 | ## [SEGGER](https://www.segger.com/about-us/job-offers/) 📤 816 | 817 | * [Clang-based compiler specialised for embedded development](https://blog.segger.com/the-segger-compiler/) 818 | 819 | ## [Semantic Designs](http://www.semdesigns.com/Careers/) 820 | 🗺 _Austin, TX_ 821 | 822 | * [DMS](http://www.semdesigns.com/Products/DMS/index.html), a suite of program transformation tools for large scale software systems 823 | * [PARLANSE](http://www.semdesigns.com/Products/Parlanse/index.html), a parallel programming language 824 | 825 | ## [SEMRON](https://semron.ai/) 826 | 🗺 _Dresden, GER_ 827 | 828 | - LLVM, MLIR 829 | 830 | ## [ShiftLeft](https://www.shiftleft.io/) 📤 831 | 832 | * Compiler technology used for application security. 833 | 834 | ## [Shopify](https://www.shopify.com/careers) 📤 835 | 836 | * Ruby 837 | * Static analysis and typing 838 | * Interpreters, garbage collectors 839 | * JVM, Truffle, Graal 840 | 841 | ## [Shorebird](https://shorebird.dev/jobs/) 📤 842 | 843 | * Dart VM and compiler 844 | 845 | ## [Siemens](https://new.siemens.com/global/en/company/jobs.html) 846 | 🗺 _A number of locations_ 847 | 848 | A number of Compiler/PL projects: 849 | 850 | * HDL Compilers 851 | * DSL Compilers 852 | * Industrial Automation Compilation 853 | 854 | 855 | ## [SiFive](https://www.sifive.com/jobs) 856 | 🗺 _San Mateo, California, Hsinchu Taiwan_ 857 | 858 | * LLVM, MLIR 859 | 860 | ## [Silexica](https://www.silexica.com/careers/) 861 | 🗺 _Cologne_ 862 | 863 | * Heterogenous architecture development 864 | 865 | ## [SiMa.ai](https://sima.ai/careers/) 🧑‍🎓 866 | 🗺 _San Jose, CA_ 867 | 868 | * Machine Learning accelerator compiler 869 | * Hardware software co-design 870 | 871 | ## [SiPerl](https://careers.sipearl.com/en#jobs) 🧑‍🎓 872 | 🗺 _Multiple locations, Europe_ 873 | 874 | * LLVM-based compiler 875 | 876 | ## [Snowflake](https://careers.snowflake.com) 877 | 🗺 _ Bellevue, WA, & San Mateo, CA_ 878 | 879 | * Database query compiler 880 | 881 | ## [Snyk](https://snyk.io/careers/all-jobs/) 882 | 🗺 _Bucharest, Romania_ 883 | 884 | * [Snyk Code](https://snyk.io/product/snyk-code/), a static analysis tool that exists as part of the Snyk platform 885 | 886 | ## [Solana](https://jobs.solana.com/) 887 | 888 | * Solang, a compiler for Solidity that targets WebAssembly and BPF 889 | 890 | ## [Sonatype](https://www.sonatype.com/company/careers) 📤 891 | 🗺 _US, Canada, Colombia_ 892 | 893 | * [Sonatype Lift](https://www.sonatype.com/products/sonatype-lift), a code quality analysis platform 894 | 895 | ## [Sony](https://www.sonyjobs.com/find-a-job.html) 896 | 🗺 _Bangalore, India, UK_ 897 | 898 | * LLVM Compiler Development 899 | 900 | ## [Splunk](https://www.splunk.com/en_us/careers.html) (acquired by Cisco) 📤 901 | 🗺 _Seattle, WA + multiple locations_ 902 | 903 | * Query language / compiler development 904 | 905 | ## [STMicroelectronics](https://www.st.com/content/st_com/en/about/careers/careers.html) 906 | 🗺 _Grenoble, France_ 907 | 908 | * Support for STMicroelectronic products 909 | * Clang, LLVM 910 | 911 | ## [Stripe](https://stripe.com/jobs) 912 | 913 | * [Sorbet type checker for Ruby](https://github.com/sorbet/sorbet) 914 | * [LLVM-based AOT compiler for Ruby](https://twitter.com/penelope_zone/status/1410652824422260738?s=20) 915 | 916 | ## [Styra](https://www.styra.com/careers) 📤 917 | 🗺 _US, Canada, Europe_ 918 | 919 | * Makers of [Open Policy Agent](https://www.openpolicyagent.org/) 920 | and the datalog-derived logic programming language Rego. 921 | * Interpreters, compiler (e.g. compiling Rego to Wasm), and applications of static analysis. 922 | 923 | ## [Synopsys](https://www.synopsys.com/company/synopsys-careers.html) 924 | 925 | * Makers of Coverity 926 | * LLVM work on the ARC backend 927 | * LLDB 928 | * Neural Network Compiler 929 | 930 | ## [Synthetic Minds](https://www.workatastartup.com/jobs/44386) 📤 931 | 932 | * Working on Program Synthesis 933 | 934 | ## [Tachyum](https://www.tachyum.com/jobs/) 935 | 936 | * Compiler toolchain development for a new architecture that supports binary translation. 937 | 938 | ## [Tarides](https://tarides.com/careers/) 📤 939 | 🗺 _Paris, France, Cambridge, UK, Chennai, India_ 940 | 941 | * OCaml compiler 942 | 943 | ## [Tenstorrent](https://tenstorrent.com/careers/) 📤 (some positions) 944 | 🗺 _Toronto, ON_ 945 | 946 | * Machine learning hardware compilers 947 | * RISC-V LLVM toolchain/compiler work 948 | 949 | ## [Terapines](https://www.terapines.com/post/1965/) 950 | 🗺 _Wuhan, China_ 951 | 952 | * AI compiler development based on LLVM/MLIR 953 | * Mojo language development 954 | * RISC-V compiler toolchain development 955 | * CIRCT compiler development 956 | * ClangIR development 957 | 958 | ## [TetraMem](https://www.tetramem.com/) 959 | 🗺 _SF Bay Area_ 960 | 961 | * Machine learning hardware compilers, LLVM 962 | 963 | ## [The Browser Company](https://thebrowser.company/careers) 📤 (US/Canada) 964 | 🗺 _New York, US_ 965 | 966 | * Swift compiler work 967 | 968 | ## [Theobroma Systems](https://careers.theobroma-systems.com/jobs/) 969 | 🗺 _Vienna_ 970 | 971 | * Compiler support for ARM SoC 972 | 973 | ## [TI](https://careers.ti.com/) 974 | 975 | * LLVM 976 | * TI specific compiler toolchains 977 | 978 | ## [TikTok](https://careers.tiktok.com/) 979 | 🗺 _Mountain View, CA_ 980 | 981 | * Compilers for mobile platforms 982 | 983 | ## [Trail of Bits](https://www.trailofbits.com/careers) 📤 🧑‍🎓 984 | 985 | Security firm that does [compiler engineering and research](https://www.trailofbits.com/services/research-and-development) 986 | 987 | ## [TrustInSoft](https://trust-in-soft.com/trustinsoft-careers/) 988 | 🗺 _San Francisco, Paris_ 989 | 990 | * [TrustInSoft Analyzer](https://trust-in-soft.com/product-c-and-c-source-code-analyzer/), a source code verification tool for C and C++ 991 | 992 | ## [Unity](https://careers.unity.com/) 993 | 994 | * .NET 995 | * Mono 996 | * IL2CPP, a compiler to convert .NET IL to C++ 997 | 998 | ## [UPMEM](https://www.upmem.com) 999 | 🗺 _Grenoble, France_ 1000 | 1001 | Building a processing-in-memory product. 1002 | 1003 | * LLVM-based compiler 1004 | 1005 | ## [Vector](https://jobs.vector.com/global/our-jobs) 1006 | 1007 | * Static analysis and abstract program interpretation for software hardening 1008 | 1009 | ## [Veeva Systems](https://careers.veeva.com/) [📤](https://careers.veeva.com/work-anywhere/) 1010 | 🗺 _Pleasanton, Columbus, Boston, Kansas City, New York City, Raleigh, and Toronto_ 1011 | 1012 | * Work on Language and Runtime system 1013 | 1014 | ## [Ventana](https://jobs.jobvite.com/ventanamicro/) 1015 | 1016 | * RISC-V Architecture 1017 | * GCC 1018 | * LLVM 1019 | * Performance Analysis 1020 | 1021 | ## [Vercel](https://vercel.com/careers?department=Engineering) 1022 | 🗺 United States 1023 | 1024 | Static analysis framework for JavaScript applications 1025 | 1026 | ## [Veridise](https://veridise.com/careers/) 📤 1027 | 1028 | Automated analysis of blockchain programs, built atop LLVM 1029 | 1030 | ## [Vypercore](https://www.vypercore.com/team) 1031 | 🗺 _Bristol / Cambridge_ 1032 | 1033 | Toolchain development for RISC-V core with novel hardware memory allocation management technology. 1034 | 1035 | ## [Wasmer](https://www.workatastartup.com/jobs/15822) 1036 | 1037 | * WebAssembly runtime (LLVM) 1038 | 1039 | ## [Waymo](https://waymo.com/careers/) 1040 | 🗺 _Mountain View, CA_ 1041 | 1042 | * Machine learning hardware compiler 1043 | 1044 | ## [Well-Typed](https://www.well-typed.com/) 📤 1045 | 1046 | * Glasgow Haskell Compiler (GHC) 1047 | 1048 | ## [Weta Digital](https://careers.wetafx.co.nz/) 1049 | 🗺 _Wellington, NZ_ 1050 | 1051 | * Shader Language development 1052 | * LLVM 1053 | 1054 | ## [WhatsApp](https://www.whatsapp.com/join) 1055 | 1056 | * Erlang 1057 | 1058 | ## [Wibu-Systems](https://jobs.wibu.com/de?id=d7d9f1) 🧑‍🎓 1059 | 🗺 _Karlsruhe, Germany_ 1060 | 1061 | * compiler development and security research with LLVM, .NET CIL, Python and more 1062 | 1063 | ## [WindRiver](https://www.windriver.com/careers/) 1064 | 1065 | * Compilers for VxWorks 1066 | 1067 | ## [Wolfram Research](https://www.wolfram.com/company/careers/) 1068 | 🗺 _Linköping, Sweden_ 1069 | 1070 | * Wolfram language, WolframAlpha, Mathematica 1071 | * Modelica 1072 | 1073 | ## [Workday](https://www.workday.com/en-us/company/careers/overview.html) 1074 | 🗺 _Pleasanton, CA_ 1075 | 1076 | * Compiler, runtime and IDE for Workday's proprietary programming languages, XpressO and YP 1077 | 1078 | ## [Woven Planet](https://woven.toyota/en/careers/) 1079 | 🗺 _Tokyo, Japan_ 1080 | 1081 | * Static analysis and developer tools for vehicle software. 1082 | 1083 | ## [Xilinx](https://careers.xilinx.com/) 1084 | 🗺 _Cologne, Germany_ 1085 | 1086 | * Compiler for FPGA Systems 1087 | 1088 | ## [Xanadu](https://www.xanadu.ai/careers/) 1089 | 🗺 _Toronto, Canada_ 1090 | 1091 | * Compilation stack for quantum computing and hybrid computation 1092 | * LLVM, MLIR, QIR 1093 | 1094 | ## [YoYo Games](https://www.yoyogames.com/en/jobs) 📤 1095 | 🗺 _Dundee, Scotland_ 1096 | 1097 | * LLVM 1098 | * GML (GameMaker Language) compiler 1099 | * JavaScript compiler 1100 | * Integrated Development Environment targeting desktop, web, mobile and games console environments 1101 | 1102 | ## [Yosys HQ](https://www.yosyshq.com/jobs) 📤 1103 | 🗺 _Multiple locations, Earth_ 1104 | 1105 | * Open source FPGA and ASIC logic synthesis and hardware formal verification with model checking 1106 | * MLIR, CIRCT 1107 | 1108 | ## [Zoox](https://zoox.com/careers/) 1109 | 🗺 _Foster City, CA_ 1110 | 1111 | * Program analysis tools for verifying firmware 1112 | --------------------------------------------------------------------------------