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