5 proof-checking-postdoc-computer-science-logic positions at Peking University

Filters Search
  • Peking University | China | about 2 months ago

    research across a wide range of disciplines including mathematics, the sciences and computer science, with an emphasis on the theoretical foundation of machine learning, new algorithms and AI for Science

  • Peking University | China | 2 months ago

    e-mail or regular mail) Further Information:https://bicmr.pku.edu.cn/ Contact： Mrs. He Liu bicmr-postdoc@bicmr.pku.edu.cn Tel/Fax: +86-10-6274 4134 Beijing International Center for Mathematical

  • Peking University | China | about 2 months ago

    Science (including Machine Learning, Actuarial Science, Mathematical Finance, Bioinformatics, Artificial Intelligence, etc.) at the highest level, to establish an internationally reputable research program

  • Peking University | China | about 2 months ago

    Position Description The Department of Environmental Management at the College of Environmental Sciences and Engineering (CESE) of Peking University in Beijing, China invites applications for open

  • Peking University | China | about 2 months ago

    the following two institutes SMS The School of Mathematical Sciences (SMS) at Peking University started enrolling students in 1913, heralding China's higher education of modern mathematics. The SMS enjoys a

Searches related to proof checking postdoc computer science logic

Enter an email to receive alerts for proof-checking-postdoc-computer-science-logic positions