Tenure Track Research Position – Computer Science – Automation of Formal Reasoning
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 (reasoning about the correctness of systems)
– computer-assisted proofs, intelligent computer mathematics (reasoning about mathematical statements)
– automated deduction (reasoning about logical conclusions)
– verified numerical computation (reasoning about the correctness of numerical computation)
– automated planning, control, synthesis (reasoning about the achievement of goals)
More details can be found here:
https://www.cs.cas.cz/job-offer/Tenure-Track-Position-Computer-Science-1/cs