Logic List Mailing Archive

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

Tenure Track Research Position in 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:
http://www.cs.cas.cz/job-offer/Tenure-Track-Position-Computer-Science-1/en

--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam