一、課題組簡介

東莞市大灣區(qū)高等研究院智能計(jì)算研究中心于2024年1月12日正式成立，中心開展高水平科學(xué)研究、建立有國際影響力的學(xué)術(shù)平臺，培養(yǎng)和引進(jìn)高層次人才、形成一支梯隊(duì)合理的學(xué)術(shù)隊(duì)伍，服務(wù)于大灣區(qū)大學(xué)的人才培養(yǎng)、服務(wù)于大灣區(qū)的數(shù)字經(jīng)濟(jì)建設(shè)、服務(wù)于國家的重大戰(zhàn)略需求。

智能計(jì)算中心文再文教授AI for Mathematics研究組關(guān)注人工智能技術(shù)與數(shù)學(xué)形式化在數(shù)學(xué)研究和教學(xué)中的應(yīng)用。研究方向包括但不限于基于人工智能技術(shù)的Lean4數(shù)學(xué)自動形式化、基于人工智能技術(shù)的Lean4輔助工具開發(fā)、應(yīng)用人工智能技術(shù)的Lean4集成開發(fā)教學(xué)環(huán)境的開發(fā)、在Lean4實(shí)現(xiàn)最優(yōu)化相關(guān)教材的形式化等。

二、招聘信息

招聘崗位

開發(fā)工程師1人，一共有前端、后端兩個方向領(lǐng)域，優(yōu)先招到適合人選的錄用

崗位職責(zé)

一、前端開發(fā)工程師

（1）設(shè)計(jì)與實(shí)現(xiàn)和項(xiàng)目相關(guān)的網(wǎng)頁、Web應(yīng)用與內(nèi)部管理頁面；

（2）實(shí)現(xiàn)基于Web技術(shù)的富文本集成開發(fā)環(huán)境；

（3）拓展編輯器的功能：為編輯器提供語言服務(wù)器、定義可視化、與項(xiàng)目的其他服務(wù)集成等能力；實(shí)現(xiàn)主題、鍵位、用戶配置等可用戶自定義功能；

（4）為項(xiàng)目搭建前端開發(fā)所需要的基礎(chǔ)架構(gòu)：如優(yōu)化打包流程，部署組件展示與developpreview等；

（5）為前端系統(tǒng)編寫端到端測試。

二、后端開發(fā)工程師

（1）設(shè)計(jì)具體項(xiàng)目的架構(gòu)，對各個服務(wù)與中間件進(jìn)行組織：如設(shè)計(jì)業(yè)務(wù)表單、RPC、緩存、數(shù)據(jù)庫、計(jì)算節(jié)點(diǎn)、消息中間件、網(wǎng)關(guān)等基礎(chǔ)架構(gòu)；

（2）編寫項(xiàng)目的實(shí)現(xiàn)與測試，并協(xié)同前端開發(fā)進(jìn)行調(diào)試與修改；

（3）發(fā)現(xiàn)業(yè)務(wù)的性能關(guān)鍵點(diǎn)，設(shè)計(jì)優(yōu)化方案，并對同一個業(yè)務(wù)的不同優(yōu)化方案實(shí)現(xiàn)進(jìn)行性能測試；

（4）優(yōu)化項(xiàng)目的工作流，編寫項(xiàng)目的自動化與集成設(shè)施，確保項(xiàng)目部署運(yùn)行的可復(fù)現(xiàn)性；

（5）部署項(xiàng)目及其相關(guān)基礎(chǔ)設(shè)施，提升線上項(xiàng)目的可觀測性與穩(wěn)定性。

任職條件

一、前端開發(fā)工程師

（1）數(shù)學(xué)或計(jì)算機(jī)等相關(guān)專業(yè)本科及以上畢業(yè)生，有2年以上開發(fā)工作經(jīng)驗(yàn)，熟悉TypeScript程序設(shè)計(jì)語言，熟悉gRPC、JSONRPC、RESTAPI等API設(shè)計(jì)，對CSS、HTML有較深的了解；

（2）熟悉基于Web技術(shù)的富文本編輯器開發(fā)；

（3）有較強(qiáng)的UI、UX設(shè)計(jì)能力；

（4）熟悉使用現(xiàn)代React開發(fā)Web應(yīng)用；

（5）熟悉有關(guān)TypeScript工作流程有關(guān)的技術(shù)：如monorepo與包管理，開發(fā)環(huán)境與生產(chǎn)環(huán)境的打包、部署，storybook與文檔的自動化、部署，網(wǎng)關(guān)與安全連接的配置等；

（6）熟悉單元測試、集成測試、端到端測試的編寫；

（7）熟悉協(xié)作編輯器的設(shè)計(jì)與CRDT等模型者優(yōu)先；

（8）會使用Figma等設(shè)計(jì)工具者優(yōu)先；

（9）熟悉渲染繪制庫與公式排版技術(shù)者優(yōu)先。

二、后端開發(fā)工程師

（1）數(shù)學(xué)或計(jì)算機(jī)等相關(guān)專業(yè)本科及以上畢業(yè)生，有2年以上開發(fā)工作經(jīng)驗(yàn)，熟悉Rust程序設(shè)計(jì)語言，熟悉gRPC、JSONRPC、RESTAPI等API設(shè)計(jì)；

（2）熟悉網(wǎng)關(guān)、緩存中間件、關(guān)系式數(shù)據(jù)庫、分析式數(shù)據(jù)庫的部署與使用，并且能針對業(yè)務(wù)問題進(jìn)行性能測試與調(diào)優(yōu)；

（3）熟悉單元測試、集成測試、分布式一致性測試、性能基準(zhǔn)測試的編寫；

（4）熟悉容器化技術(shù)，并且掌握容器的部署、調(diào)度和容器化測試、提升服務(wù)可觀測性、provisioning等技能者優(yōu)先；

（5）熟悉Linux系統(tǒng)，掌握基本的運(yùn)維技能與服務(wù)器管理技能，會編寫交互腳本與構(gòu)建系統(tǒng)腳本，會編寫CI、CD任務(wù)者優(yōu)先。

福利待遇

1.根據(jù)項(xiàng)目執(zhí)行期簽訂勞動合同，年薪制聘用。

2.提供具有競爭力的薪酬待遇以及科研條件，具體待遇面議。

3.按東莞市規(guī)定購買社會保險(xiǎn)和住房公積金。

三、應(yīng)聘方式

如有意申請或咨詢，請將以下材料壓縮打包發(fā)送至cinco@gbu.edu.cn，郵件主題命名“xxx開發(fā)工程師-姓名-高校人才網(wǎng)”。【快捷投遞：點(diǎn)擊下方“立即投遞/投遞簡歷”，即刻進(jìn)行職位報(bào)名】

1.個人簡歷（含學(xué)歷學(xué)位證明、主要研究成果、未來工作計(jì)劃等）；

2.專業(yè)技能、項(xiàng)目開發(fā)經(jīng)驗(yàn)陳述；

3.其他可以證明工作能力的材料。

招聘長期有效，招滿即止。