Logic List Mailing Archive

PhD student position or postdoctoral position in computational logic, Dresden (Germany), Deadline: 30 Jun 2020 (!) or until position filled

The Chair of Computational Logic at the Institute of Artificial 
Intelligence offers two positions as

Research Associate / PhD Student / Postdoc (Subject to personal 
qualification employees are remunerated according to salary group E 13 
TV-L)

starting at the next possible date with a maximal duration of 6 years. The 
period of employment is governed by the Fixed Term Research Contracts Act 
(Wissenschaftszeitvertragsgesetz ? WissZeitVG). The position is suitable 
for PhD Students and for Postdocs and offers the chance to obtain further 
academic qualification (e.g. Ph.D. or habilitation thesis). Balancing 
family and career regarded an important issue. The posts are basically 
suitable for candidates seeking part-time employment. A part-time 
employment of 50% of the fulltime weekly hours is possible.

As a member of the Computational Logic Group you will be part of a 
successful team of experienced researchers of many nationalities and 
backgrounds. You will work in the vibrant scientific environment of an 
internationally recognized research group at TU Dresden, one of the 
leading German research universities. Dresden is a highly livable city 
with a rich cultural life, beautiful nature, and comparably low cost of 
living.

Tasks: As a researcher in the Computational Logic Group you will perform 
foundational research in the area of logic-based knowledge representation. 
Publication and presentation of results in high-ranking journals and at 
renowned international conferences is a central part of the work. In the 
course of academic teaching, you contribute to knowledge transfer and 
promotion of junior academics. Proactively and with community spirit, you 
take over arising administrative and organizational tasks. Requirements: 
We are looking for motivated and talented staff members with a very good 
university degree (M.Sc. or equivalent) in computer science, mathematics 
or a related area, if applicable a PhD, and with firm background knowledge 
in one or more of the following topics:

* knowledge representation and logical reasoning
* handling of uncertain knowledge
* mathematical logic, model theory, algebra
* semantic technologies, knowledge graphs
* database theory

Postdocs should have made significant research contributions to one of the 
above areas. Candidates should be independent in organizing their work, 
keen on working with teams of experts across other projects, and fluent in 
English, oral and written. Knowledge of German, IT-skills and teaching 
experiences are preferable. Applications from women are particularly 
welcome. The same applies to people with disabilities. Please submit your 
comprehensive application (including motivation letter, CV and record of 
publications) by 30th of June 2020 (stamped arrival date of the university 
central mail service applies, later applications will be taken into 
account until the position is filled), preferably via the TU Dresden 
SecureMail Portal https://securemail.tu-dresden.de by sending it as a 
single PDF document to sebastian.rudolph@tu-dresden.de or by postal mail 
to TU Dresden, Fakultät Informatik, Institut für Künstliche Intelligenz, 
Professur für Computational Logic, Prof. Dr. Sebastian Rudolph, 
Helmholtzstr. 10, 01069 Dresden. Please submit copies only, as your 
application will not be returned to you. Expenses incurred in attending 
interviews cannot be reimbursed.
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam