【工作內容】

協助軟體驗證的工具開發與實驗

【應徵條件】

1. 須熟悉 Python 或 Java (IntelliJ IDEA)
2. 須了解自動機與正規語言演算法，或有意願與能力在短時間內建立相關知識

【待遇】

以科技部計畫兼任助理待遇標準為參考，視個別狀況調整。

意者請 E-mail 個人履歷至 chihduo at nccu.edu.tw