Postdoctoral position in computational logic, Linz (Austria)

The Research Institute for Symbolic Computation (RISC) of the Johannes Kepler University in Linz, Austria, offers a PostDoc position for the duration of 2 years starting with January 2015 (or earlier). The position is funded by the Austrian Research Promotion Agency (FFG) in the frame of a research project that is jointly pursued by the RISC institute, the RISC Software company, and the SecureGUARD company, a leading European manufacturer of high-quality integrated security solutions. The PostDoc contract guarantees full employment with a yearly gross salary of approx. €48.762,- with social and health insurance included. The working place is the castle of Hagenberg near Linz, the site of RISC.

The project is a continuation of the "LogicGuard" project which pursues research on a security solution whose core is a language based on classical predicate logic for specifying a property of a stream of messages transmitted over the network. The goal of the former project was to automatically translate such a specification into a program that efficiently monitors the network for a violation of the property. The core task of the PostDoc researcher in the new project is to analyze the resource complexity of runtime monitors that were generated from logic specifications to observe traffic in a network; there may be also some corresponding software development involved.

A letter of application should be sent as soon as possible, but not later than October 31, 2014. For more information, see http://www.risc.jku.at/projects/LogicGuard/PostDoc.pdf.