[isabelle] PostDoc Position in Computational Logic

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

- -- +--------------------------------------------------------------------
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 at 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

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.