Two Open Research Assistant Positions in Knowledge Representation and Reasoning Group at TU Dresden (Germany)

Two Open Research Assistant Positions in Knowledge Representation and Reasoning Group

In my research group, two positions as research assistants are
available from March 15, 2018 onwards.

Currently, my group is doing research in two main areas:
Satisfiability Testing and Computational Modeling of Human
Reasoning. We intend to strengthen these areas. Hence, possible
research topics include -- but are not limited to -- the following:

Satisfiability Testing:

- further development of our SAT-solver RISS
- parallel SAT-solving (DFG research grant)
- verification of SAT-solvers
- model counting
- incremental SAT-solving
- planning and bounded model checking
- satisfiability modulo theories
- application of novel learning techniques to SAT-solvers
- application of SAT-solvers to real-world problems

Computational Modeling of Human Reasoning:

- further development of our logic programming approach,
the weak completion semantics
- modeling conditionals in real-world applications
- bounded skeptical abduction
- modeling individual reasoners
- application of novel learning techniques to human reasoning tasks
- further developing of our connectionist (or neural network) model
for the weak completion semantics

The new research assistants will receive full-employment contracts
with the Technische Universität Dresden for six and three years (the
latter being extendable to six years). The monthly salary is about
4600 EUR.

Research assistants should pursue their research interests with the
goal of successfully defending a PhD- or a Habilitation-thesis. They
will receive a teaching assignment of four hours per week during the
lecturing periods; they are responsible for exercises and the
supervision of students; they support me in examinations and other
administrative duties including the acquisition of third-party
research funds and the management of the European master's program in
Computational Logic. Besides that, applicants must hold a master (or
equivalent) degree in Computer Science or related fields. Very good
knowledge in one or more of the following areas is desirable:

- logics in computer science
- artificial intelligence
- automated reasoning
- non-monotonic reasoning
- theoretical computer science
- human reasoning

The positions are also open to Post-Docs.

The languages used in my research group are German and English. The
teaching assignments are usually within the European Master's Program
in Computational Logic and, thus, are in English. However,
occasionally I also have to teach in the undergraduate programs of the
Faculty of Computer Science and teaching assignments in these programs
are in German.

At the Faculty of Computer Science, each research group maintains its
own computers, which in our case are Linux and Apple
systems. Currently, our computer systems are maintained by students
and we expect that one of the new research assistants is interested
and able to guide these students. The Technische Universität Dresden
has a High Performance Cluster for running experiments, which my group
has used extensively in the past for evaluating our SAT-solvers.

If you are interested in one of these positions then please contact
me. The official deadline for applications is January 31, 2018.

Prof. Steffen Hölldobler

email: sh at iccl.tu-dresden.de
phone: +49 351 463 38340
web: https://iccl.inf.tu-dresden.de/web/Steffen_Hölldobler
__________________________________________________________

Prof. Dr. Steffen Hölldobler
International Center for Computational Logic
Technische Universität Dresden
01062 Dresden, Germany

phone: [+49](351)46 33 83 40
fax: [+49](351)46 33 83 42
email: sh at iccl.tu-dresden.de
skype: shiccl
visiting address: Nöthnitzer Straße 46, room 2007