362 formal-verification-computer-science positions in China

Sort by

Refine Your Search

  • ; | China | about 2 months ago

    of Educational Economics and Administration was founded in 2002, and the Institute of Education was established in 2009 by means of merging. Due to the fast-growing need for training school teachers, Tao Xingzhi

  • now the Chief Scientist of TDLI. Jie Zhang, Academician of the Chinese Academy of Sciences and former President of Shanghai Jiao Tong University, is the current Director of TDLI. TDLI has

  • Beijing Normal University | China | about 11 hours ago

    Beijing Normal University, School of Mathematical Sciences Position ID: 2584 -PDZH [#24771] Position Title: Position Type: Postdoctoral Position Location: Zhuhai, Guangdong 519087, China [map

  • Peking University | China | 2 days ago

    Peking University, Center for High Energy Physics Position ID: Peking University -Center for High Energy Physics -PD_PKU3 [#29324] Position Title: Position Type: Postdoctoral Position Location: Beijing, Beijing 100871, China [map ] Subject Area: Physics / HEP-Phenomenology (hep-ph) Appl...

  • Beijing Normal University | China | about 11 hours ago

    Beijing Normal University, School of Mathematical Sciences Position ID: 2584 -FACULTYBJ [#24772] Position Title: Position Type: Tenured/Tenure-track faculty Position Location: Beijing, Beijing

  • Sun Yat-Sen University, School of Mathematics Position ID: 1761 -TT4 [#25790] Position Title: Position Type: Tenured/Tenure-track faculty Position Location: Guangzhou, Guangdong 510275, China [map ] Appl Deadline: 2025/11/30 11:59PM (posted 2024/11/06, listed until 2025/11/30) Position...

  • Beijing Normal University | China | about 11 hours ago

    Beijing Normal University, School of Mathematical Sciences Position ID: 2584 -FACULTYZH1 [#24773] Position Title: Position Type: Tenured/Tenure-track faculty Position Location: Zhuhai, Guangdong

  • Peking University | China | 1 day ago

    policies for recruitment. Salaries and benefits are competitive. Candidates may choose his/her home department from the following two institutes SMS The School of Mathematical Sciences (SMS) at Peking

  • ; | China | 4 days ago

    Xi'an Jiaotong - Liverpool University – Institute of Leadership & Education Advanced Development (ILEAD) School: Academy of Future Education Contract Type: Fixed-term, renewable. 3rd contract is open-ended ABOUT XJTLU In 2006 Xi’an Jiaotong-Liverpool University (XJTLU) was created by the...

  • Fudan University | China | 1 day ago

    Fudan University, School of Mathematical Sciences Position ID: 2497 -POSTDOC1 [#20086] Position Title: Position Type: Postdoctoral Position Location: Shanghai, Shanghai, China Appl Deadline: none

Enter an email to receive alerts for formal-verification-computer-science positions