Dear all,
We are seeking to appoint a Postdoctoral Research Associate that wants to apply
formal methods for building correct, safe, and secure systems. The post is part
of the growing Security and Trust of Advanced Systems Group
(https://computerscience.exeter.ac.uk/cyber-security/). The
Call for Papers
Journal "KI - Künstliche Intelligenz" (German AI journal)
Special Issue on Non-Classical Reasoning for Contemporary AI Applications
(guest editors: C. Benzmüller and A. Steen)
https://www.springer.com/journal/13218
Extended submission deadline: December