Universiteit van Amsterdam

Please note that this newsitem has been archived, and may contain outdated information or links.

Tenure track research position on automation of formal reasoning, Prague (Czech Republic)

Deadline: Friday 17 July 2020

The Institute of Computer Sciences of the Czech Academy of Sciences (ICS CAS), Prague, Czech Republic, invites applications for one tenure-track position in Computer Science. We especially seek applicants from fields that in one way or other contribute to the automation of formal reasoning, such as formal verification/model checking, computer assisted proofs, intelligent computer mathematics, automated deduction, verified numerical computation, and automated planning/control/synthesis.

Please note that this newsitem has been archived, and may contain outdated information or links.