2 proof-checking-postdoc-computer-science-logic Fellowship positions at Institute for Basic Science
Sort by
Refine Your Search
-
the appointment start date (March 1, 2027) Deadline: to June 10, 2026 until 16:00 KST ECOPRO is a research group that was established on April 1st, 2022 at Institute for Basic Science (IBS), led by Prof. Hong Liu
-
on December 1, 2018 at the Institute for Basic Science (IBS), led by its Chief Investigator (CI) Sang-il Oum. DIMAG is located at the headquarters of IBS in Daejeon, South Korea, a city of 1.5 million people
Searches related to proof checking postdoc computer science logic
Enter an email to receive alerts for proof-checking-postdoc-computer-science-logic positions