Logic List Mailing Archive

Postdoctoral position in computational logic, Linz (Austria), Deadline: 31 Oct 2014

PostDoc Position in Computational Logic
- ---------------------------------------
http://www.risc.jku.at/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 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
to

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

- -- 
+--------------------------------------------------------------------
A.Univ.-Prof. Dipl.-Ing. Dr. Wolfgang Schreiner (Associate Professor)
Research Institute for Symbolic Computation (RISC)
Johannes Kepler University, A-4040 Linz, Austria (Europe)
Tel: +43 732 2468-9963 Email:Wolfgang.Schreiner@risc.jku.at
Fax: +43 732 2468-9930 Web:http://www.risc.jku.at/home/schreine
PGP Key:http://www.risc.jku.at/people/schreine/schreine.asc
+--------------------------------------------------------------------