- Home
- Recruitment
- Postdoctoral Fellows
Recruitment
Print
Press Ctrl+P to print from browser
Postdoctoral Fellows
:::
Research Lab of Dr. De-Nian Yang
- Date of Expiry
- 2023-01-05 ~ 2023-06-30
- 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 ~ 2024-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 storage systems
- 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)
- 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
- Telephone
- Website
- http://iis.sinica.edu.tw/~yfc/