ID：412572
Kierkegaard📜
架构师
- 公司信息：
- Apodeixis Technology LLC
- 工作经验：
- 2年
- 兼职日薪：
- 500元/8小时
- 兼职时间：
- 下班后
- 周六
- 周日
- 可工作日远程
- 可工作日驻场（自由职业原因）
- 所在区域：
- 广州
- 天河
技术能力
精通前端框架Nuxt、Next、Vue、React，Tailwindcss和Shadcn等组件库，Web3组件如Wagmi、Viem等，擅长EVM智能合约开发，后端框架掌握Nest、express、精通Graphql. 精通形式化证明语言，擅长编写Lean4定理证明. 掌握安全隐私计算TEE技术.
项目经验
开发了Apodeixis去中心化Lean4形式化证明悬赏平台，该项目运用谷歌TEE服（可信执行环境）服务搭建，允许用户做隐私保护的悬赏证明任务.
案例展示
-
Apodeixis形式化证明悬赏平台
Apodeixis 是一个创新的 Web3 平台，旨在通过密码学和可信硬件技术解决复杂计算任务的验证问题。平台核心集成了 Lean4 形式化验证与 Google Cloud TEE（可信执行环境），构建了一个无需许可的赏金市场。
-
Anamnesis古籍识别整理软件
是一个专为数字人文（Digital Humanities）领域设计的桌面端应用。它致力于解决中世纪手稿数字化过程中的痛点——即 OCR 识别结果的不准确性与排版的不规则性。通过集成 Kraken OCR 引擎与 CATMuS 模型，本工具允许用户在本地完成从图片到文本的自动化识别
相似人才推荐
-
500元/天高级PHP研发师冉阳教育概要：会前端 python 全栈 爬虫 小程序 小游戏 各类大型项目 * 全栈开发： 精通 P -
500元/天无无概要：能够熟练使用Python爬虫，利用爬虫技术熟练地爬取所需要的东西，还可以想取出来的东西进行excel -
500元/天前端开发工程师蜀顶峰科技有限公司概要：● 熟练掌握 HTML5、CSS3、JavaScript以及Less等动态样式语言，能独立开发多个静
-
700元/天web前端开发工程师武汉三佳医疗信息服务有限 公司概要：从事web前端开发近10年，擅长html5页面、微信小程序、webAPP、门户网站、管理系统等web
-
2000元/天数据分析师字节跳动概要：🔥 全网公开数据爬取・海量数据清洗・可视化轻 / 深度定制・智能看板轻 / 深度开发 🔥 🕷️ 全
-
500元/天高级前端开发工程师北京世纪好未来教育科技有限公司概要：核心技术栈：熟练使用Vue、TypeScript、小程序、HTML、CSS、JavaScript、j
-
500元/天无无概要：• 前端开发：熟练掌握HTML、CSS、JavaScript，掌握Vue2/Vue3框架，能独立完成
-
500元/天高级C#软件工程师东莞市京木厂概要：1、熟悉软件开发流程，开发文档格式; 2、熟悉BS、CS模式，掌握面向对象的设计开发思想; 3、
