[Publicity] PostDoc Position in Computational Logic

[Secretary]

PostDoc Position in Computational Logic
---------------------------------------
http://www.risc.jku.at/research/formal/projects/LogicGuard/PostDoc.pdf

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 2012. 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 monthly gross salary of
approx. €3,283.- (net salary approx. €2,038.-) fourteen times per year
with social and health insurance included. The working place is the
castle of Hagenberg near Linz, the site of RISC.

The project 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 is 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 is to develop the formal calculus
for translating logic specifications into executable programs and to
analyze the corresponding runtime/space complexity; the corresponding
software development will be pursued by the partner institutions.

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

  November 1, 2011

to

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