PhD or Postdoc Position available (in the AVACS project)

[Viorica Sofronie-Stokkermans]

---------------------------------------------------------------------
       PhD or Postdoc Position in the AVACS project
---------------------------------------------------------------------

A position at PhD or postdoc level is available in the AVACS project
    SFB TR 14 Automatic Verification And Analysis of Complex Systems
                    http://www.avacs.org/
in the group of Professor Viorica Sofronie-Stokkermans
http://www.uni-koblenz-landau.de/koblenz/fb4/institute/IFI/RGVSS

The position will start as soon as possible, and will end on
31 December 2015.

Tasks:
------
The research activity will aim at investigating and developing novel
techniques, methodologies and tools for automated reasoning in
complex logical theories (in particular devising decision procedures
for complex data types) and applying the results of this research
in the verification of real time systems and hybrid systems.

Profile:
--------
Candidates must have a MSc (or a PhD) in Computer Science
and a very good background in logic.
Familiarity with automated reasoning, satisfiability modulo
theories (SMT), and/or verification will be of advantage.

Application:
------------
Applicants should send their application, consisting of:
 - a statement of interest,
 - a Curriculum Vitae
 - a list of publications and
 - the names of at least two references
to Viorica Sofronie-Stokkermans (E-Mail: sofronie at mpi-inf.mpg.de)

Deadline for sending the applications:
--------------------------------------
August 15, 2012

Applications might be accepted also after this deadline,
until the position is filled.