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.
For more information, see
http://www.cs.cas.cz/job-offer/Tenure-Track-Position-Computer-Science-1/en.
Please note that this newsitem has been archived, and may contain outdated information or links.