Postdoctoral Position in Program Analysis & Verification
中央研究院(中研院)
- Nangang, Taipei City
- Permanent
- Full-time
- Automatic quantum program verification.Or form new research projects in the following directions.- Verification of block-chain/smart contract implementation/algorithms
- Verification/testing of machine learning-enabled systems
- Other topics that might meet the research interest of Dr. Yu-Fang Chen (http://iis.sinica.edu.tw/~yfc)【工作制度/性質】 工作時間: 日班
休假制度: 週休二日工作性質: 全職
職務類別: 軟體工程師
工作位置: 台北市南港區研究院路二段128號【要求條件】 身份類別: 不拘
工作經驗: 工作經驗不拘
學歷限制: 博士
科系限制: 不拘附加條件: 【應徵資格/條件】
For the new directions, we expect the applicants either already have some experience on the subject or have interests to help with surveying the new area. In general, we expect applicants have a strong background in computer science or related fields and expertise in at least one of logic, algorithms, programming language theory/implementation, formal language theory, and formal verification.【福利制度】 法定項目: 週休二日、勞保、健保、員工體檢、勞退提繳金、公司附設托兒中心
福利制度: 設備類 - 員工餐廳
娛樂類 - 員工電影【職務需求】 需求人數: 1 人
到職日期: 不限
1111人力銀行