We use cookies and similar technologies to improve your experience, analyze site usage, and assist in our marketing efforts. Privacy Policy
Budget: HKD 80,000-150,000
Post time:
我們誠邀資深編譯器開發工程師加入核心系統工具鏈團隊，負責設計、實現與優化面向下一代程式語言及硬體架構的編譯器全棧（前端、中端、後端）。 【技術職責】 - 深度定制 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 形式化驗證。 本崗聚焦長期技術攻堅，強調系統思維、程式碼嚴謹性與跨層穿透力；不接受僅具腳本直譯器或簡單程式碼產生經驗者。