verus形式化程序验证兼职招募
💡
原文中文，约400字，阅读约需1分钟。
📝
内容提要
我们正在训练AI模型，需要提供20-50条verus训练数据，以提高代码输出效率和准确性。欢迎投简历，联系方式：764586552@qq.com，期待长期合作。
🎯
关键要点
- 正在训练AI模型，需要verus训练数据。
- 目标是提高代码输出的效率和准确性。
- 初次合作提供20-50条数据，按条计算薪资。
- 质量确认后将成为长期任务。
- 欢迎投简历，联系方式为764586552@qq.com。
- 结算方式为初次完成后结算50%，剩余部分验收后结算。
- 后续希望次月结算，期待长期合作。
- 提供数据样例链接，供报价参考。
➡️
