【工作内容】

协助软件验证的工具开发与实验

【应征条件】

1. 须熟悉 Python 或 Java (IntelliJ IDEA)
2. 须了解自动机与正规语言算法，或有意愿与能力在短时间内建立相关知识

【待遇】

以科技部计画兼任助理待遇标准为参考，视个别状况调整。

意者请 E-mail 个人履历至 chihduo at nccu.edu.tw