[Publicity] PostDoc Position in Computational Logic

JKU Linz - RISC Office secretary at risc.jku.at
Mon Sep 22 11:21:38 CEST 2014

PostDoc Position in Computational Logic
- ---------------------------------------

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,- (net salary approx. €31,034.-)
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
(http://www.risc.jku.at/projects/LogicGuard) 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.

Potential applications should have

* a PhD in mathematics, computer science, or related area with a
   formal focus,
* a strong background in formal logic, automated theorem proving,
   program verification, program synthesis, runtime verification, or
   similar topics,
* good communication skills and fluency in English (German language
   skills are optional), the ability to work both independently and
   in a team.

A letter of application including a detailed curriculum vitae, a list
of publications, copies of (resp. links to) the dissertation and up to
three publications, and preferrably letters of recommendation should be
sent per email as soon as possible, but not later than October 31, 2014

   Wolfgang Schreiner<Wolfgang.Schreiner at risc.jku.at>
   Research Institute for Symbolic Computation (RISC)
   Johannes Kepler University
   Altenberger Straße Linz 69, Austria

If you do not wish to receive announcements from the
Research Institute for Symbolic Computation (RISC),
please send an e-mail to the following address:
secretary at risc.jku.at

More information about the Publicity mailing list