Academia Sinica Logo

Institute of Information Science

Postdoctoral Position in Program Analysis & Verification

We are looking for a postdoctoral researcher to work on one of the following existing topics:

- Verification of the crash recovery mechanism of storage systems
- SMT over the theory of string or bit-vectors

Or form new research projects in the following directions.

- Verification of quantum (cryptographic) programs/algorithms
- 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)

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.

中研院資訊所

60k-80k NTD per month, depending on the qualification

Dr. Yu-Fang Chen

北市南港區研究院路二段128號資訊所

2788-3799 #1514

Please send your CV and other related document to Dr. Yu-Fang Chen

2020-01-03

2024-12-31