mgaudet/CompilerJobs
GitHub: mgaudet/CompilerJobs
这是一个编译器、语言与运行时团队的工作机会列表,帮助求职者找到相关领域的职位。
Stars: 769 | Forks: 76
# 编译器、语言与运行时团队
为寻找该领域工作机会的人们整理的编译器、语言与运行时团队列表。我整理此列表的动机详见[此博客文章](https://www.mgaudet.ca/technical/2019/12/10/compiler-jobs)。
### 范围
- 致力于语言实现、语言编译器、语言运行时、静态分析等工作的团队。包括如下领域:
- 数据库查询编译器
- 硬件描述语言(HDL)及综合编译器
- 我希望尽量开放!这个领域很广泛,我不想在这里过于狭隘。
- 我通常希望有证据表明某家公司过去曾招聘或未来有招聘计划(这排除了一些精品公司和早期初创公司)。
### 注释:
* 📤: 支持远程工作
该图标添加时,该公司提供远程工作机会。
* 🧑🎓: 提供实习机会
已知这些公司在编译器、语言和运行时领域提供实习或合作项目。
* 🗺 : 工作地点
根据职位发布或其他信息得出,这是团队工作地点。肯定不全面!**也请帮助我更新此项!**
# 公司 ()
## [Access Softek Toolchains](https://www.softek-toolchains.com/careers) 📤
* LLVM 工具链开发
## [AdaCore](https://www.adacore.com/company/careers) 📤 🧑🎓
🗺 _纽约(美国),巴黎、格勒诺布尔、图卢兹、瓦讷(法国),布里斯托尔(英国),塔林(爱沙尼亚)_
* Ada 运行时与前端([GNAT](https://github.com/gcc-mirror/gcc/tree/master/gcc/ada),[libadalang](https://github.com/AdaCore/libadalang))。
* 上述前端的后端([GCC](https://gcc.gnu.org/),[LLVM](https://github.com/AdaCore/gnat-llvm),[Infer](https://github.com/facebook/infer),[Why3](https://github.com/AdaCore/spark2014)...)。
* 多种自定义语言(例如 [langkit](https://github.com/AdaCore/langkit),[gprbuild](https://github.com/AdaCore/gprbuild),[recordflux](https://github.com/Componolit/RecordFlux)...)。
## [Aicas](https://www.aicas.com/cms/en/careers)
🗺 _卡尔斯鲁厄,德国_
* 实时 JVM
## [Amazon](https://www.amazon.jobs)
* [Corretto](https://aws.amazon.com/corretto/)
* [Inferentia](https://aws.amazon.com/machine-learning/inferentia/)
* [Rust](https://aws.amazon.com/blogs/opensource/how-our-aws-rust-team-will-contribute-to-rusts-future-successes/)
## [Ambarella](https://www.ambarella.com/)
🗺 _圣克拉拉,加利福尼亚州,台湾_
* 计算机视觉 AI 硬件编译器
## [AMD](https://jobs.amd.com/) 📤(大多数团队)
* [AOCC](https://developer.amd.com/amd-aocc/)
* [ROCm](https://rocmdocs.amd.com/en/latest/)
* 两个 LLVM 团队:致力于用于图形和计算的 AMDGPU 后端
## [Ampere Computing](https://amperecomputing.com/apply/)
* 参与 OpenJDK 开发
## [Anaconda](https://www.anaconda.com/careers)
* [Pyston](https://www.anaconda.com/blog/pyston-team-joins-anaconda):通用 Python JIT,最初在 Dropbox 开发
## [Anyon Systems](https://anyonsys.com/)
🗺 _多伦多/万锦市,加拿大_
* 量子编译器开发
* MLIR/LLVM
## [Apple](https://www.apple.com/jobs/) 🧑🎓
🗺 _库比蒂诺,加利福尼亚州,伦敦,英国,以色列_
* Clang 和 LLVM
* Swift
* GPU 编译器
* JSC(作为 WebKit 一部分创建的 JavaScript 解释器)
* 静态分析工具
## [Arm](https://www.arm.com/company/careers)
🗺 _剑桥,曼彻斯特,英国_
* GCC
* LLVM 工作以支持 Arm32(嵌入式),以及可扩展矢量扩展(SVE)
* 基于 LLVM 的下游 GPU 编译器,用于 Mali GPU
* 机器学习编译器
## [Ascenium](https://www.ascenium.com/careers)
🗺 _坎贝尔,加利福尼亚州_,_斯塔万格和奥斯陆,挪威_
* LLVM 与硬件协同设计。
## [Astral](https://astral.sh/) 📤
* [Ruff](https://astral.sh/ruff),一个用 Rust 编写的 Python 代码 linter 和自动格式化工具。
## [Autodesk](https://www.autodesk.com/careers/overview) 📤
🗺 _魁北克,安大略_
* 用于 [Bifrost for Maya](https://newpossible.autodesk.com/bifrost) 的 JIT 编译器(LLVM?)
## [Azul](https://www.azul.com/careers-at-azul-systems/) 📤
* Java 虚拟机
* Falcon JIT 编译器 (LLVM)
## [Bodo](https://angel.co/company/bodoai) 📤
🗺 _匹兹堡,宾夕法尼亚州_
* Python,LLVM
## [Broad Institute](https://broadinstitute.wd1.myworkdayjobs.com/broad_institute)
🗺 _剑桥,马萨诸塞州_
* 构建用于基因组学的 [Hail](https://hail.is/) 项目,包括自定义语言和编译器。
## [Brookhaven National Laboratory](https://jobs.bnl.gov/)
🗺 _厄普顿,纽约州_
在计算科学倡议的编程模型与编译器(PMC)组工作。
## [ByteDance](https://jobs.bytedance.com)
🗺 _山景城,加利福尼亚州_
* 性能分析与优化
## [Canonical](https://canonical.com/careers/) 📤
* 为 Ubuntu 构建和改进 Rust 编译器及工具链
## [Category Labs](https://www.category.xyz/) 📤
🗺 _纽约市_
* 加速区块链
## [Celestial AI](https://www.celestial.ai/careers)
🗺 _圣克拉拉,加利福尼亚州,海得拉巴,印度,多伦多,加拿大_
* Celestial AI 机器学习加速器架构的编译器后端
## [Cerebras](https://cerebras.net/careers/)
🗺 _洛斯阿尔托斯,加利福尼亚州,圣地亚哥,加利福尼亚州或多伦多,加拿大_
* LLVM 及更多
## [Cisco](https://www.cisco.com/c/en/us/about/careers.html)
🗺 _贝尔格莱德,塞尔维亚_
* 从事 CISCO Silicon One™ 编译器开发
## [Cloudflare](https://www.cloudflare.com/careers/)
* Cloudflare Workers: V8(WebAssembly, Javascript,部署在边缘)
## [Codasip](https://codasip.com/company/careers/) 🧑🎓📤(欧洲/美洲)
🗺 _布尔诺/布拉格,捷克共和国,慕尼黑,德国,布里斯托尔,英国_
* LLVM 的 CHERI 扩展(RISC-V)
* LLVM 工程师,支持 RISC-V 矢量处理单元
## [Codeplay](https://www.codeplay.com/company/careers/)
* Clang,LLVM,LLDB
## [Cognitect](https://www.cognitect.com/careers.html)
* Clojure 和 ClojureScript
## [Coherent Logix](https://www.coherentlogix.com/careers/)📤
🗺 _奥斯汀,德克萨斯州_
* 为 Coherent Logix 的多核芯片构建基于 LLVM 的 C 编译器。
## [Columbia University - Data Science Institute](https://apply.interfolio.com/91828)
🗺 _纽约市_
* 为概率编程和因果推理构建语言。
* 静态/动态分析与代码转换。
* 面向 Julia。
## [Compiler Tool Chain Consulting Services](https://compiler-toolchain-for.me/careers) 📤
* 为客户定制基于 LLVM 的编译器工具链
## [Crowdstrike](https://www.crowdstrike.com/careers/) 📤
🗺 _美国,加拿大_
* 传感器与语言工具(SaLT)团队致力于一种 DSL,用于编写 Falcon 威胁检测传感器的脚本
## [d-Matrix](https://www.d-matrix.ai/careers)
🗺 _圣克拉拉,加利福尼亚州_
* 深度神经网络硬件及配套编译器(LLVM+MLIR)
## [DashBit](https://dashbit.co/)
* Elixir
## [DataChemist](https://www.datachemist.com/company/our-team)
* WOQL 编译器
## [DeepX](https://deepx.career.greetinghr.com/ko/career)
🗺 _城南,韩国_
* 面向 NPU 硬件的深度学习编译器
## [Deno](https://jobs.ashbyhq.com/Deno) 📤
* 用 Rust 编写的 JavaScript 运行时与工具
## [Distributive](https://distributive.network) 📤
🗺 金斯顿,安大略省(加拿大)
* Web 栈上的分布式计算 - 调度、WASM 工具链等。
* PythonMonkey,将 SpiderMonkey(JS 引擎)深度嵌入 Python 虚拟机
## [Dfinity](https://dfinity.org/careers/)
🗺 _旧金山,加利福尼亚州,帕洛阿尔托,加利福尼亚州,苏黎世,瑞士_
* Motoko 编程语言及区块链智能合约系统。
## [Digital Mars](https://digitalmars.com/)
* C/C++ 编译器
* D 编译器
## [Dropbox](https://www.dropbox.com/jobs)
* Python
* [MyPy](http://mypy-lang.org/about.html)
## [Dyalog](https://www.dyalog.com/careers.htm)
* Dyalog APL
## [Edgecortix](https://www.edgecortix.com/)
🗺 _东京,日本_
* 机器学习硬件编译器
## [Efficient Computer](https://www.efficient.computer/about#careers)
🗺 _圣何塞,加利福尼亚州_ 或 _匹兹堡,宾夕法尼亚州_
* 为节能可编程处理器开发编译器
## [Embecosm](https://www.embecosm.com/about/careers/)
🗺 _南安普顿,英国,纽伦堡,德国_
* 开源工具链开发,主要专注于 GCC、LLVM 和 Verilator。
## [emmtrix Technologies](https://www.emmtrix.com/company/jobs) 🧑🎓
🗺 _卡尔斯鲁厄,德国_
* 源到源编译器
* 静态分析(LLVM)
* 并行化转换
## [EnCharge AI](https://www.enchargeai.com/careers)
🗺 _美国,加拿大,德国,挪威_
* 用于 AI/ML 工作负载的图编译器。
## [Enso](https://www.ycombinator.com/companies/enso)
* 可视化编程语言编译器,基于 Graal/Truffle 的 JIT。
## [Epic Games](https://www.epicgames.com/site/en-US/careers)
* 游戏开发的 DSL 编译器与工具链
## [Esperanto Technologies](https://www.esperanto.ai/careers/)
🗺 _山景城,加利福尼亚州,奥斯汀,德克萨斯州,波特兰,俄勒冈州,巴塞罗那,西班牙_
* 用于 RISC-V AI 加速的 LLVM 和 GLOW 编译器团队。
## [Espressif](https://www.espressif.com/en/join-us/job-search) 📤
🗺 _布尔诺,捷克_
* 针对 Xtensa 和其他架构的 GNU GCC,GDB,Binutils 开发。
## [Ericsson](https://www.ericsson.com/en/careers)
* Erlang
## [F5](https://www.f5.com/company/careers)
🗺 _圣何塞,西雅图_
* 安全工作的编译器
## [Fabric Cryptography](https://www.fabriccryptography.com) 📤
* 面向自定义密码硬件的基于 LLVM 的编译器
## [Fastly](https://www.fastly.com/about/careers)
* [Lucet](https://www.fastly.com/blog/announcing-lucet-fastly-native-webassembly-compiler-runtime),一个用于边缘计算的 WebAssembly 编译器和运行时。
* [Cranelift](https://github.com/bytecodealliance/cranelift)
* [VCL](https://developer.fastly.com/reference/vcl/)
## [Flow Computing](https://flow-computing.com/company/) 📤(优选欧洲)
🗺 _奥卢,芬兰_
* LLVM(主要为后端)
## [Fluence Labs](https://fluence.network/join.html) 📤
* Aquamarine,一种分布式编排语言与平台
## [Flux Computing](https://www.fluxcomputing.com/careers)
🗺 _伦敦,英国,_
* 面向光学 TPU 硬件的机器学习编译器
## [Fuel Labs](https://jobs.lever.co/fuellabs) 📤
* 构建 [Sway](https://github.com/FuelLabs/sway),一种智能合约编程语言
## [Furiosa](https://furiosa.ai/jobs)
🗺 _首尔,韩国_
* AI 加速器
## [FutureWei Technologies](https://www.futurewei.com/index.php/careers)
* Rust 编译器工作。
## [Galois](https://galois.com/careers/)
🗺 _阿灵顿,弗吉尼亚州_
* 为构建可信计算而进行的编程语言设计与实现。
## [GitHub](https://github.com/about/careers) 📤
* [CodeQL](https://securitylab.github.com/tools/codeql/),一种用于编写自定义静态分析规则的查询语言
## [Google](https://careers.google.com/) 📤
🗺 _山景城,加利福尼亚州,西雅图,华盛顿州,伦敦,英国_
无数项目,但首先想到的是:
* [Go](https://golang.org/)
* LLVM 贡献
* [V8](https://v8.dev/)
* [Dart](https://dart.dev/)
* [MLIR](https://www.tensorflow.org/mlir)
## [GrammaTech](https://www.grammatech.com/careers) 📤(仅限美国)
🗺 _伊萨卡,纽约州_
* [CodeSonar](https://www.grammatech.com/products/source-code-analysis),一个静态分析工具
* [CodeSentry](https://www.grammatech.com/codesentry-sca),一个二进制分析工具
## [Graphcore](https://www.graphcore.ai/jobs)
🗺 _布里斯托尔,剑桥,英国_
* 机器学习硬件编译器(LLVM)
## [Greenhills](https://www.ghs.com/jobs.html)
* 经过认证的嵌入式 C/C++
## [Grit](https://about.grit.io/)
* 面向 [GritQL](https://docs.grit.io/language/overview) 的编译器
## [Groq](https://groq.com/careers/)
🗺 _波特兰,山景城,多伦多_
* 机器学习硬件编译器
## [Guardsquare](https://www.guardsquare.com/careers)
🗺 _鲁汶,比利时/慕尼黑,德国_
* ProGuard
* 基于 LLVM 的软件保护与加固
* Android 应用保护与加固
* 移动应用安全测试
## [Horizon Quantum Computing](https://horizonquantum.applytojob.com/)
🗺 _新加坡_
* 量子计算编译器
## [HPE](https://careers.hpe.com/jobs) 📤🧑🎓
* [Chapel](https://chapel-lang.org/)
* Cray 编程环境,一套 Fortran、C 和 C++ 编译器
* LLVM 贡献
## [Huawei](https://www.huawei.com/ch-en/about-huawei/careers)
* 编译器和运行时系统的研发工作。
* LLVM
* Rust
## [IBM](https://www.ibm.com/employment/) 🧑🎓
🗺 _万锦市,安大略省,加拿大_
* Eclipse [OMR](https://github.com/eclipse/omr) 和 [OpenJ9](https://github.com/eclipse/openj9)
* [XLC](https://www.ibm.com/us-en/marketplace/ibm-c-and-c-plus-plus-compiler-family)
* [XL Fortran](https://www.ibm.com/us-en/marketplace/xl-fortran-linux-compiler-power)
* [IBM Cobol](https://www.ibm.com/us-en/marketplace/ibm-cobol)
以及其他一些 IBM 内部编译器和 LLVM 项目。
## [Imagination Technologies](https://www.imaginationtech.com/careers/vacancies/)
🗺 _剑桥,曼彻斯特,布里斯托尔,金斯兰利,英国,波兰_
* PowerVR GPU 编译器(中端基于 LLVM,但后端不是)
## [Immunant](https://immunant.com/jobs/) 📤
* 构建 [C2Rust 转译器](https://github.com/immunant/c2rust)
## [Inria](https://www.inria.fr/en/)
🗺 _法国多个地点_
* OCaml,Coq
## [Intel](https://www.intel.com/content/www/us/en/jobs/jobs-at-intel.html) 📤(少数 Intel Labs 团队)
* [Intel C++ 编译器](https://software.intel.com/en-us/c-compilers)
* [Intel FPGA OpenCL 编译器](https://www.intel.ca/content/www/ca/en/software/programmable/sdk-for-opencl/overview.html)
* [Intel Labs](https://www.intel.com/content/www/us/en/research/overview.html) 从事 ML 编译器和 MLIR 工作
* LLVM 贡献(主要为 X86 后端)
## [Igalia](https://www.igalia.com/jobs/) 📤🧑🎓
🗺 _拉科鲁尼亚,加利西亚,西班牙/全球_
* 一家深度参与自由开源软件和网络平台的咨询公司。在编译器领域以脚本引擎(SpiderMonkey、V8、JSC)以及 LLVM 和 Guile 方面的工作而闻名。
## [Jane Street](https://www.janestreet.com/join-jane-street/apply/) 🧑🎓
🗺 _纽约,伦敦_
Jane Street 招聘编译器工程师从事 [OxCaml](http://oxcaml.org)(其内部的 OCaml 分支)以及其他面向语言的项目。
* 一篇[关于在 JS 从事 OCaml 工作的博文](https://blog.janestreet.com/work-on-the-ocaml-compiler-at-jane-street/)
* 一个专注于 OxCaml 的[编程语言工程师](https://www.janestreet.com/join-jane-street/position/4275921002/)职位。
* 一个[语言与运行时工程师](https://www.janestreet.com/join-jane-street/position/6378838002/)职位,旨在开发一个由图结构计算引擎支持的内部语言系统。
* [工具与编译器研究员实习](https://www.janestreet.com/join-jane-street/position/5869205002/)
* 一个面向希望在进入学术 PL 教职前在工业界工作一年的人的[预备教职](https://www.janestreet.com/join-jane-street/programs-and-events/visiting-researcher-prefaculty/)职位。
其他内部面向语言的项目包括在 OCaml 中开发类似 [Haxl](https://hackage.haskell.org/package/haxl) 的库、OCaml 到 Javascript 和 Wasm 的编译管道,以及一个具有多种自定义执行引擎的 SQL 变体。
## [Jetbrains](https://www.jetbrains.com/careers/apply/)
🗺 _慕尼黑和柏林,德国,布拉格,捷克共和国,阿姆斯特丹,荷兰,塞浦路斯,塞尔维亚,亚美尼亚(其他地点为非编译器职位)_
* Kotlin
## [JITX](https://www.jitx.com/careers) 📤
🗺 _旧金山湾区,加利福尼亚州_
* 用于生成电路板设计的 DSL
## [Jsoftware](https://www.jsoftware.com/#/contact)
* J 编程语言
## [Julia Computing](https://juliahub.com/company/jobs) 📤🧑🎓
🗺 _波士顿,马萨诸塞州_
* [Julia](https://julialang.org/) 的开发
## [Klara](https://klarasystems.com/careers/) 📤
* 面向 FreeBSD 上 ARM 的 LLVM
## [Kx Systems](https://kx.com/about/careers/)
* K 编程语言
## [Lemurian Labs](https://www.lemurianlabs.com/)
* AI 可移植性
## [Lightmatter](https://lightmatter.co/people/join-us/)
* 机器学习硬件编译器
## [Linaro](https://www.linaro.org/careers)
* 支持 Arm 架构的 LLVM 工作
## [Lokad](https://www.lokad.com/jobs-senior-compilation-engineer)
🗺 _巴黎,法国_
* 用于[供应链优化](http://blog.lokad.com/journal/2016/9/26/will-compilation-save-supply-chains)的 DSL 编译器
## [lowRISC](https://lowrisc.org/jobs/)
🗺 _剑桥,英国_
* 从事 LLVM RISC-V 工作的非营利组织
## [Lynx Tool](https://lynxtool.com/careers)
* 可视化编程语言编译器。
## [MathWorks](https://www.mathworks.com/company/jobs/opportunities.html?source=19210&s_eid=Rci_19210)
🗺 _纳蒂克,马萨诸塞州,美国_
* [MATLAB](https://www.mathworks.com/products/matlab.html)
* [Simulink](https://www.mathworks.com/products/simulink.html)
* [HDL Coder](https://www.mathworks.com/products/hdl-coder.html)
* [LLVM](https://llvm.org/devmtg/2014-10/Slides/Cheng-InteractiveModeling.pdf)
* [JIT](https://www.mathworks.com/company/jobs/opportunities/9537-senior-software-engineer-jit-compiler?source=19210&s_eid=Rci_19210)
## [Matter Labs](https://matter-labs.io) 📤
* 基于 LLVM 的编译器,用于执行以太坊智能合约
## [Marvell](https://www.marvell.com/company/careers/)
* GCC 贡献
## [Meta](https://www.metacareers.com)
多种项目,以下是我所知的有限部分。
* [PyTorch](https://pytorch.org/)
* [HHVM](https://hhvm.com/)
* [Python (Cinder)](https://github.com/facebookincubator/cinder)
* LLVM 贡献(MLIR,LLDB,ThinLTO,BOLT 等)
## [MCST](http://www.mcst.ru/vakansis)
🗺 _莫斯科,俄罗斯_
* [LCC](http://www.mcst.ru/lcc) 针对 MCST 芯片的优化编译器
* 从 x86 到其自有的 Elbrus ISA 的二进制转译器
## [MediaTek](https://careers.mediatek.com/)
🗺 _沃本,马萨诸塞州,美国_
* 联发科芯片的编译器开发
## [Micron](https://www.micron.com/careers)
* 深度学习编译器
## [Microchip](https://careers.microchip.com/)
* Microchip 芯片的编译器开发。
## [Microdoc](https://www.microdoc.com/career/) 📤
🗺 _柏林,慕尼黑,斯图加特,德国_
我们开发用于嵌入式系统的定制 GraalVM 和 Java 运行时环境及虚拟机:
* [GraalVM](https://www.graalvm.org/) 企业版和社区版运行时环境。
* Java SE,OpenJDK 和 J9 运行时环境。
* 目标操作系统包括 QNX、Linux、Android、Windows CE、OSE。
* 目标处理器架构包括 ARM 64 位和 32 位、Intel x86 32 位、AMD x86_64、MIPS、PowerPC。
* 在 JVM 或标准库内部实现自定义功能。
## [Microsoft](https://careers.microsoft.com/)
* MSVC
* C#,F#
* [Checked C](https://github.com/Microsoft/checkedc)
* TypeScript
* JVM
* Rust 编译器
* [Python](https://github.com/faster-cpython)
## [Microsoft Research](https://www.microsoft.com/en-us/research/careers/)
* Koka,Lean,F* (F-star)
* 可能还有其他。
## [Modular](https://www.modular.com/company/careers) 📤(美国/加拿大)
* AI 图编译器:MLIR
## [Mozilla](https://careers.mozilla.org/listings/) 📤 🧑🎓
* [SpiderMonkey 开发](https://spidermonkey.dev)
## [Mutual Knowledge Systems (MuKn)](https://mukn.io/) 📤
* 构建 [Glow](https://glow-lang.org),一种用于 DApps 的语言
## [Mythic](https://www.mythic-ai.com/join/)
🗺 _旧金山湾区,加利福尼亚州_
* 机器学习硬件编译器
## [Nethermind](https://boards.eu.greenhouse.io/nethermind/jobs/4034249101) 📤 🧑🎓
* 可以为具有新颖内存模型的目标语言编译器做贡献
* 有机会参与工具链支持工作
## [NextSilicon](https://www.nextsilicon.com/careers)
🗺 _以色列,苏黎世_
* 针对专用 HPC 硬件的 MLIR 工作
## [=nil.foundation;](https://nil.foundation/careers/jobs)
* 以太坊 L2
## [Nintendo](https://careers.nintendo.com/job-openings/)
🗺 _雷德蒙德,华盛顿州_
* 编译器工程
## [Nomic Foundation](https://nomic.foundation/) 📤
* 编译器工程(Rust)- Slang
* 以太坊开发运行时(Rust)- EDR
## [NVIDIA](https://www.nvidia.com/en-us/about-nvidia/careers/) 📤(部分团队)
* LLVM 中端/后端贡献
* nvcc 前端工作以支持 CUDA
* Flang
* 机器学习编译器
## [NXP](https://www.nxp.com/company/about-nxp/careers:CAREERS)
* LLVM
## [OCamlPRO](https://ocamlpro.com/) 🧑🎓
🗺 _巴黎,法国_
* OCaml、COBOL 和 Rust 的工具链
* 面向工业的博士论文和实习职位
## [Octasic](http://www.octasic.com/careers/#openings)
🗺 _蒙特利尔,魁北克省,加拿大_
* 用于 Octasic 多核数字信号处理器的编译器(LLVM)
## [OctoML](https://octoml.ai/company/careers/) 📤
* [Apache TVM](https://tvm.apache.org/)
## [Omni Design](https://www.omnidesigntech.com/about/careers/)
🗺 _美国多个地点_
* 半导体电路编译器,如存储器编译器、寄存器文件和 SRAM 生成,以及软件驱动的电路拓扑创建。
## [OpenAI](https://openai.com/careers/)
🗺 _旧金山_
* [Triton](https://github.com/openai/triton),一种用于编写高效自定义深度学习原语的语言和编译器
## [OpenText](https://careers.opentext.com/)
🗺 _列治文山,安大略省,加拿大滑铁卢,安大略省,加拿大渥太华,安大略省,加拿大密西沙加,安大略省,加拿大_
* 应用安全静态分析(OpenText Fortify)
## [Oracle](https://www.oracle.com/corporate/careers/)
* OpenJDK,包括 hotspot 编译器
🗺 _苏黎世_,_林茨_,_加利福尼亚_,_布拉格_,_布尔诺_,_利沃夫_,_卡萨布兰卡_,_贝尔格莱德_,_远程_ (📤)
* [GraalVM](https://www.graalvm.org/)(也提供[实习机会](https://www.graalvm.org/community/internship/))
## [Oso](https://www.osohq.com/company/jobs) 📤
🗺 *纽约,美国/远程(美国/欧洲)*
* [Polar](https://docs.osohq.com/learn/polar-foundations.html):一种逻辑编程语言,用于表达授权逻辑和策略。
## [Oven](https://oven.sh)
🗺 旧金山, 📤 远程
* [Bun](https://bun.sh):一个 JavaScript 运行时,内置原生打包器、转译器、任务运行器和 npm 客户端。
* 用 Zig 编写
## [Partisa](https://partisia.com/careers/)
🗺 _奥胡斯,丹麦_
* 创建一种用于多方计算的语言。
## [Pensando](https://recruiterflow.com/Pensando-Systems/jobs)
🗺 _米尔皮塔斯,加利福尼亚州_
* 面向 Capri 处理器的 P4 编译器(LLVM)
## [Persimmons](https://apply.workable.com/persimmons-ai/)
🗺 _圣何塞,加利福尼亚州_
* 用于 Persimmons 专有 ML 加速器硬件的编译器。
## [PGI](https://www.pgroup.com/about/jobs.htm)
🗺 _波特兰_
* PGI 的编译器
* [Flang](https://github.com/flang-compiler/flang),一个用于 LLVM 的 Fortran 前端
## [Praetorian](https://www.praetorian.com/company/careers/) 📤
🗺 _美国_
* [Chariot Source Code](https://www.praetorian.com/chariot/source-code/),一个作为 Chariot 平台一部分存在的静态分析工具
## [Prophecy.io](https://angel.co/company/prophecy-io/jobs)
🗺 _旧金山_
* Scala + Spark 工程(查询优化器)
## [Quadric](https://quadric.io/#join-the-team)
🗺 _伯灵格姆,加利福尼亚州_
* 用于 Quadric 平台的 LLVM 开发
## [Qualcomm](https://www.qualcomm.com/company/careers) 📤(部分团队)
* LLVM(Hexagon,AArch64 和 RISC-V 团队)
* GCC
* GPU 编译器
* 机器学习编译器
## [Quantinuum]( )
🗺 _英国/美国/日本多个地点_
* 量子编译器
## [Quarkslab](https://www.quarkslab.com/careers-jobs/)
🗺 _巴黎,法国_(法国境内提供远程)
* 基于 LLVM 构建的安全产品
## [R2C](https://r2c.dev/) 📤
🗺 _旧金山,加利福尼亚州_
* 程序分析工具
## [Radix Labs](https://www.radix.bio/careers) 📤
* 用于优化生物技术流程并在物理生物实验室执行的 DSL
## [Raincode Labs](https://www.raincodelabs.com/careers/)
* 多种编译器/语言工程项目,提供现代化和成本降低。
## [Rebellions](https://rebellions.ai/career/)
🗺 _城南,韩国_
* 在 NPU 产品上加速深度学习模型的编译器栈。
## [Red Hat](https://www.redhat.com/en/jobs)
* GCC
* JVM (OpenJDK)
* LLVM
## [Rigetti Computing](https://www.rigetti.com/careers) 📤
* 量子计算编译器(LLVM + Rust)
## [Rivos](https://www.rivosinc.com/)
🗺 _山景城,加利福尼亚州,奥斯汀,德克萨斯州,波特兰,俄勒冈州,柯林斯堡,科罗拉多州,剑桥,英国_
* RISC-V 的 LLVM 贡献
## [Roblox](https://corp.roblox.com/careers/)
🗺 _圣马特奥,加利福尼亚州_
* 用于 Roblox 游戏引擎的嵌入式脚本语言,例如 [Luau](https://luau-lang.org/)
## [Runtime Verification](https://runtimeverification.com/careers/) 📤
* K 框架
## [Sambanova](https://sambanova.ai/careers/)
* 深度学习编译器(MLIR)
* 布局与布线(PNR)
## [Samsung](https://www.samsung.com/us/careers/)
🗺 _圣何塞_
* 用于三星 GPU 的 JIT 编译器(OpenGL-ES,OpenCL)
## [SAP](https://jobs.sap.com/)
* ABAP
* JVM
* Node.js
## [Scala Center - EPFL](https://scala.epfl.ch/)
* 非营利组织,从事 Scala 编译器工作(JVM,Scala.js,Scala native),编辑器集成和工具
## [SCI Semiconductor](https://www.scisemi.com/careers/) 📤
* 为 [CHERIoT](https://cheriot.org/) 提供 LLVM 支持
## [SEGGER](https://www.segger.com/about-us/job-offers/) 📤
* [专为嵌入式开发设计的基于 Clang 的编译器](https://blog.segger.com/the-segger-compiler/)
## [Semantic Designs](http://www.semdesigns.com/Careers/)
🗺 _奥斯汀,德克萨斯州_
* [DMS](http://www.semdesigns.com/Products/DMS/index.html),一套用于大型软件系统的程序转换工具
* [PARLANSE](http://www.semdesigns.com/Products/Parlanse/index.html),一种并行编程语言
## [SEMRON](https://semron.ai/)
🗺 _德累斯顿,德国_
- LLVM,MLIR
## [ShiftLeft](https://www.shiftleft.io/) 📤
* 用于应用程序安全的编译器技术。
## [Shopify](https://www.shopify.com/careers) 📤
* Ruby
* 静态分析与类型化
* 解释器,垃圾回收器
* JVM,Truffle,Graal
## [Shorebird](https://shorebird.dev/jobs/) 📤
* Dart 虚拟机与编译器
## [Siemens](https://new.siemens.com/global/en/company/jobs.html)
🗺 _多个地点_
多个编译器/语言项目:
* HDL 编译器
* DSL 编译器
* 工业自动化编译
## [SiFive](https://www.sifive.com/jobs)
🗺 _圣马特奥,加利福尼亚州,新竹,台湾_
* LLVM,MLIR
## [Silexica](https://www.silexica.com/careers/)
🗺 _科隆_
* 异构架构开发
## [SiMa.ai](https://sima.ai/careers/) 🧑🎓
🗺 _圣何塞,加利福尼亚州_
* 机器学习加速器编译器
* 硬件软件协同设计
## [SiPerl](https://careers.sipearl.com/en#jobs) 🧑🎓
🗺 _欧洲多个地点_
* 基于 LLVM 的编译器
## [Snowflake](https://careers.snowflake.com)
🗺 _贝尔维尤,华盛顿州,及圣马特奥,加利福尼亚州_
* 数据库查询编译器
## [Snyk](https://snyk.io/careers/all-jobs/)
🗺 _布加勒斯特,罗马尼亚_
* [Snyk Code](https://snyk.io/product/snyk-code/),一个作为 Snyk 平台一部分存在的静态分析工具
## [Solana](https://jobs.solana.com/)
* Solang,一个以 WebAssembly 和 BPF 为目标的 Solidity 编译器
## [Sonatype](https://www.sonatype.com/company/careers) 📤
🗺 _美国,加拿大,哥伦比亚_
* [Sonatype Lift](https://www.sonatype.com/products/sonatype-lift),一个代码质量分析平台
## [Sony](https://www.sonyjobs.com/find-a-job.html)
🗺 _班加罗尔,印度,英国_
* LLVM 编译器开发
## [Splunk](https://www.splunk.com/en_us/careers.html)(被思科收购) 📤
🗺 _西雅图,华盛顿州,及多个地点_
* 查询语言/编译器开发
## [STMicroelectronics](https://www.st.com/content/st_com/en/about/careers/careers.html)
🗺 _格勒诺布尔,法国_
* 支持意法半导体产品
* Clang,LLVM
## [Stripe](https://stripe.com/jobs)
* [用于 Ruby 的 Sorbet 类型检查器](https://github.com/sorbet/sorbet)
* [基于 LLVM 的 Ruby AOT 编译器](https://twitter.com/penelope_zone/status/1410652824422260738?s=20)
## [Styra](https://www.styra.com/careers) 📤
🗺 _美国,加拿大,欧洲_
* [Open Policy Agent](https://www.openpolicyagent.org/) 的创造者
* 以及源自 datalog 的逻辑编程语言 Rego。
* 解释器,编译器(例如将 Rego 编译为 Wasm),以及静态分析的应用。
## [Synopsys](https://www.synopsys.com/company/synopsys-careers.html)
* Coverity 的创造者
* LLVM 的 ARC 后端工作
* LLDB
* 神经网络编译器
## [Synthetic Minds](https://www.workatastartup.com/jobs/44386) 📤
* 从事程序综合工作
## [Tachyum](https://www.tachyum.com/jobs/)
* 为支持二进制转译的新架构开发编译器工具链。
## [Tarides](https://tarides.com/careers/) 📤
🗺 _巴黎,法国,剑桥,英国,金奈,印度_
* OCaml 编译器
## [Tenstorrent](https://tenstorrent.com/careers/) 📤
🗺 _全球远程。办公室:多伦多,安大略省,圣克拉拉,加利福尼亚州_
* 基于 MLIR 的机器学习硬件编译器
* RISC-V LLVM 工具链/编译器工作
## [Terapines](https://www.terapines.com/post/1965/)
🗺 _武汉,中国_
* 基于 LLVM/MLIR 的 AI 编译器开发
* Mojo 语言开发
* RISC-V 编译器工具链开发
* CIRCT 编译器开发
* ClangIR 开发
## [TetraMem](https://www.tetramem.com/)
🗺 _旧金山湾区_
* 机器学习硬件编译器,LLVM
## [The Browser Company](https://thebrowser.company/careers) 📤(美国/加拿大)
🗺 _纽约,美国_
* Swift 编译器工作
## [Theobroma Systems](https://careers.theobroma-systems.com/jobs/)
🗺 _维也纳_
* ARM SoC 的编译器支持
## [TI](https://careers.ti.com/)
* LLVM
* TI 特定的编译器工具链
## [TikTok](https://careers.tiktok.com/)
🗺 _山景城,加利福尼亚州_
* 移动平台的编译器
## [Trail of Bits](https://www.trailofbits.com/careers) 📤 🧑🎓
从事[编译器工程与研究](https://www.trailofbits.com/services/research-and-development)的安全公司
## [TrustInSoft](https://trust-in-soft.com/trustinsoft-careers/)
🗺 _旧金山,巴黎_
* [TrustInSoft Analyzer](https://trust-in-soft.com/product-c-and-c-source-code-analyzer/),一个用于 C 和 C++ 的源代码验证工具
## [Unity](https://careers.unity.com/)
* .NET
* Mono
* IL2CPP,一个将 .NET IL 转换为 C++ 的编译器
## [UPMEM](https://www.upmem.com)
🗺 _格勒诺布尔,法国_
构建存内计算产品。
* 基于 LLVM 的编译器
## [Vector](https://jobs.vector.com/global/our-jobs)
* 用于软件加固的静态分析与抽象程序解释
## [Veeva Systems](https://careers.veeva.com/) [📤](https://careers.veeva.com/work-anywhere/)
🗺 _普莱森顿,哥伦布,波士顿,堪萨斯城,纽约市,罗利,多伦多_
* 从事语言与运行时系统工作
## [Ventana](https://jobs.jobvite.com/ventanamicro/)
* RISC-V 架构
* GCC
* LLVM
* 性能分析
## [Vercel](https://vercel.com/careers?department=Engineering)
🗺 美国
用于 JavaScript 应用的静态分析框架
## [Veridise](https://veridise.com/careers/) 📤
基于 LLVM 构建的区块链程序自动化分析
## [Vypercore](https://www.vypercore.com/team)
🗺 _布里斯托尔/剑桥_
用于具有新颖硬件内存分配管理技术的 RISC-V 核心的工具链开发。
## [Wasmer](https://www.workatastartup.com/jobs/15822)
* WebAssembly 运行时(LLVM)
## [Waymo](https://waymo.com/careers/)
🗺 _山景城,加利福尼亚州_
* 机器学习硬件编译器
## [Well-Typed](https://www.well-typed.com/) 📤
* 格拉斯哥 Haskell 编译器(GHC)
## [Weta Digital](https://careers.wetafx.co.nz/)
🗺 _惠灵顿,新西兰_
* 着色器语言开发
* LLVM
## [WhatsApp](https://www.whatsapp.com/join)
* Erlang
## [Wibu-Systems](https://jobs.wibu.com/de?id=d7d9f1) 🧑🎓
🗺 _卡尔斯鲁厄,德国_
* 使用 LLVM、.NET CIL、Python 等进行编译器开发和安全研究
## [WindRiver](https://www.windriver.com/careers/)
* 用于 VxWorks 的编译器
## [Wolfram Research](https://www.wolfram.com/company/careers/)
🗺 _林雪平,瑞典_
* Wolfram 语言,WolframAlpha,Mathematica
* Modelica
## [Workday](https://www.workday.com/en-us/company/careers/overview.html)
🗺 _普莱森顿,加利福尼亚州_
* 用于 Workday 专有编程语言 XpressO 和 YP 的编译器、运行时和 IDE
## [Woven Planet](https://woven.toyota/en/careers/)
🗺 _东京,日本_
* 用于车辆软件的静态分析和开发人员工具。
## [Xilinx](https://careers.xilinx.com/)
🗺 _科隆,德国_
* 用于 FPGA 系统的编译器
## [Xanadu](https://www.xanadu.ai/careers/)
🗺 _多伦多,加拿大_
* 用于量子计算和混合计算的编译栈
* LLVM,MLIR,QIR
## [YoYo Games](https://www.yoyogames.com/en/jobs) 📤
🗺 _邓迪,苏格兰_
* LLVM
* GML(GameMaker 语言)编译器
* JavaScript 编译器
* 面向桌面、网页、移动和游戏主机环境的集成开发环境
## [Yosys HQ](https://www.yosyshq.com/jobs) 📤
🗺 _地球,多个地点_
* 开源 FPGA 和 ASIC 逻辑综合及基于模型检查的硬件形式化验证
* MLIR,CIRCT
## [Zoox](https://zoox.com/careers/)
🗺 _福斯特城,加利福尼亚州_
* 用于验证固件的程序分析工具
标签:Ada语言, GCC编译器, HDL编译器, LLVM工具链, 云安全监控, 公司目录, 后端开发, 实习机会, 工具链开发, 开发者就业, 技术团队, 招聘信息, 数据库查询编译器, 数据管道, 编程工具, 编程语言实现, 编译优化, 编译器开发, 职业发展, 计算机科学, 语言运行时, 软件工程, 远程代码执行, 远程工作机会, 防御加固, 静态分析