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工具链, 云安全监控, 公司目录, 后端开发, 实习机会, 工具链开发, 开发者就业, 技术团队, 招聘信息, 数据库查询编译器, 数据管道, 编程工具, 编程语言实现, 编译优化, 编译器开发, 职业发展, 计算机科学, 语言运行时, 软件工程, 远程代码执行, 远程工作机会, 防御加固, 静态分析