Tenure Track @ Czech Academy of Sciences (ICS CAS)

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: