Institute of Information Science, Academia Sinica

Recruitment

Print

Postdoctoral Fellows

Research Lab of Dr. De-Nian Yang

Date of Expiry
2020-06-30 ~ 2022-12-31
Position
Postdoctoral Fellow
Responsibilities
1. Research topics on networking, social networks, data mining, VR and social applications
2. or with backgrounds in algorithm design, graph theory, optimization, game theory, machine learning, deep learning, statistic inference, stochastic process
3. or network programming or big data analytics
Requirements
Ph.D degree
Salary
MOST or Academia Sinica (According to Performance)
Application
Please send the CV and a short research statement to dnyang@iis.sinica.edu.tw
Contact
Dr. De-Nian Yang
Email
dnyang@iis.sinica.edu.tw
Telephone
(02)2788-3799-1728
Website
http://www.iis.sinica.edu.tw/pages/dnyang/index_en.html

The Formal Verification Lab led by Dr. Yu-Fang Chen

Date of Expiry
2020-01-03 ~ 2025-12-31
Position
Postdoctoral Position in Program Analysis & Verification
Responsibilities
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)
Requirements
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.
Salary
60k-80k NTD per month, depending on the qualification
Application
Please send your CV and other related document to Dr. Yu-Fang Chen
Contact
Yu-Fang Chen
Email
yfc@iis.sinica.edu.tw
Website
http://iis.sinica.edu.tw/~yfc