2 proof-checking-postdoc-computer-science-logic PhD positions at Universität Bern in Switzerland
Sort by
Refine Your Search
-
for a candidate who meets the following requirements: You are creative and ambitious, hard-working, and persistent. You have an MSc degree in Mechanical Engineering, Biomedical Engineering, Computational
-
Engineering (CVE), which focuses on the study of biomedical flow systems and cardiovascular devices. The research group operates a well-equipped cardiovascular flow lab and a computational lab for the numerical
Searches related to proof checking postdoc computer science logic
Enter an email to receive alerts for proof-checking-postdoc-computer-science-logic positions