我们使用Cookie和类似技术来改善您的体验、分析网站使用情况并协助我们的营销工作。我们收集的数据包括页面访问记录和匿名使用统计。 隐私政策
职位预算: HKD 80,000-150,000
发布时间:
我們誠邀資深編譯器開發工程師加入核心系統工具鏈團隊,負責設計、實現與優化面向下一代程式語言及硬體架構的編譯器全棧(前端、中端、後端)。 【技術職責】 - 深度定制 LLVM 或自研框架:AST 建構、語意分析、IR 產生與優化(SSA、Loop、指令選擇)、x86-64/ARM64/RISC-V 程式碼產生; - 開發前端剖析器與類型檢查器,支援泛型、巨集、模式匹配、借用檢查等多範式特性; - 構建高效能 JIT 流水線,整合 GC 執行時期與 DWARF/CodeView 除錯符號; - 搭建測試基礎設施:lit/llvm-test-suite 覆蓋率測試、libFuzzer/AFL 模糊測試、SPEC CPU/PolyBench 效能基準; - 協同語言設計團隊定義 IR 語意與 ABI,推動編譯器-執行時期-硬體協同優化。 【硬性要求】 - 電腦相關專業本科+,5年+編譯器/VM/靜態分析經驗; - 精通 C++17+;熟悉 Rust 為加分項; - 扎實掌握編譯原理:詞法/語法分析、資料流/控制流分析、暫存器配置、指令排程與向量化; - 具備 LLVM 貢獻(Phabricator/主流 fork)或 GCC 中後端開發經驗; - 熟悉至少一種 ISA(x86/ARM/RISC-V)呼叫約定、例外機制與 SIMD; - 熟練使用 CMake、GDB/LLDB、perf、VTune; - 能研讀 PLDI/POPL/ASPLOS 論文並工程化關鍵演算法。 【優先考慮】 - 主導開源編譯器子項目(Swift、Cranelift、GraalVM); - 具備 WASM(Binaryen/Wabt)或 DSL 編譯器經驗; - 擁有編譯器方向專利或頂會論文; - 熟悉 Coq/K Framework 形式化驗證。 本崗聚焦長期技術攻堅,強調系統思維、程式碼嚴謹性與跨層穿透力;不接受僅具腳本直譯器或簡單程式碼產生經驗者。