中国僵尸片,亚洲欧美国产另类视频,亚洲精品无码人妻无码,亚洲有码转帖,亚洲欧美精品伊人久久,97精品依人久久久

職位：數(shù)學研究員 / 算法工程師（聯(lián)合創(chuàng)始人）（居家辦公）
方向：CompareGPT「TrustWorthy · Axiom」數(shù)學驗證與可解釋性模塊
職位描述
我們正在研發(fā) CompareGPT 的 TrustWorthy · Axiom ——面向 數(shù)學與金融 的可信驗證引擎，目標是打造可解釋、可推理、可驗證的 AI 系統(tǒng)。
未來的 AI 不僅要“會回答”，更要“能證明”。
我們需要一位熱愛數(shù)學與算法的伙伴，共同在 公理化證明（Axiom）、符號推理 與 AI 可驗證性 上開拓新的標準。
我們誠邀您加入創(chuàng)業(yè)團隊的核心管理與技術(shù)隊伍（聯(lián)合創(chuàng)始人），與我們攜手成長，共同邁向財務自由！
你將負責

• 核心算法設計：
  
  • 研究并實現(xiàn)符號推理、定理證明（如 Lean / Coq / Isabelle）與數(shù)值驗證（如 SymPy、Mathematica）相結(jié)合的方案；
    
  • 將 “大語言模型 + Axiom 驗證” 融合到可信框架中，保證結(jié)果可追溯、可審計。
    
• 可信驗證模塊：
  
  • 設計并實現(xiàn) 數(shù)學推理鏈（Reasoning Chain）、證明生成器、引用校驗工具；
    
  • 參與 CompareGPT 的「可信模式」建設：實現(xiàn)數(shù)學/金融計算中的“一致性 + 可驗證性”。
    
• 跨學科融合：
  
  • 與全棧工程師、金融專家協(xié)作，推動數(shù)學引擎與金融可信驗證模塊落地；
    
  • 將數(shù)學可驗證思路擴展到風險分析、合規(guī)報告等高價值場景。
    

任職要求

• 數(shù)學與邏輯功底：
  
  • 熟悉代數(shù)、數(shù)論、微積分、概率統(tǒng)計等核心數(shù)學分支；
    
  • 熟悉數(shù)理邏輯、公理系統(tǒng)、形式化證明工具（如 Lean / Coq / HOL / Isabelle）者優(yōu)先。
    
• 編程與實現(xiàn)能力：
  
  • 精通 Python（SymPy、NumPy、JAX 等）；
    
  • 有 定理證明器 / SMT Solver / 自動推理 相關(guān)經(jīng)驗優(yōu)先；
    
  • 能與工程團隊對接，將數(shù)學邏輯轉(zhuǎn)化為可運行的服務。
    
• 研究與學習能力：
  
  • 對 LLM、數(shù)學證明生成、符號 AI 感興趣；
    
  • 愿意探索 Proof-of-Truth、可驗證 AI 的新方法。
    
• 加分項：
  
  • 有科研背景（數(shù)學 / 計算機 / AI / 金融數(shù)學 / 形式化方法）；
    
  • 發(fā)表過相關(guān)論文，或在數(shù)學建模/算法競賽中獲獎；
    
  • 對 金融風險建模、數(shù)值穩(wěn)定性驗證、合規(guī)計算 有興趣。
    

激勵與發(fā)展

• 股權(quán)激勵：核心成員可進入股權(quán)池（預期價值數(shù)千萬級別，隨服務年限遞增）。
  
• 成長機會：
  
• 成為 可信 AI / 數(shù)學驗證方向的開拓者；
  
• 與美國前沿團隊合作，主導 CompareGPT 的數(shù)學與可信性標準化；
  
• 直接成為 聯(lián)合創(chuàng)始人 + 核心算法負責人。
  

我們在找的“你”

• 既能鉆研數(shù)學證明，也能寫出可落地的算法；
  
• 既熱愛學術(shù)探索，也希望在創(chuàng)業(yè)公司把成果快速應用；
  
• 對“AI 的可信未來”有執(zhí)著與理想。
  

應聘方式
請將簡歷發(fā)送至UCLA的楊博士郵箱，并在郵件主題中注明：“數(shù)學研究員 / 算法工程師（聯(lián)合創(chuàng)始人）（居家辦公）”。
（可附論文、項目代碼、GitHub/數(shù)學證明作品集）
我們期待您的加入，共同創(chuàng)造智能未來！