The Artificial Intelligence Group at the University of Hagen (FernUniversität in Hagen), Germany, offers two full-time positions (TV-L 13) for PhD candidates and/or PostDocs in the area of knowledge representation and reasoning. Possible topics include - formal argumentation - non-monotonic reasoning - inconsistency measurement - belief dynamics - probabilistic reasoning The positions should be filled by February 2022, but a later start point is possible as well. The initial employment will be for 36 months. An extended employment is possible, but cannot be guaranteed at this point. The successful candidates will conduct research in the newly founded Artificial Intelligence Group, teach courses for Bachelor and Master students, and help in the general administrative duties of the group. The successful candidate should have a Master's degree in Computer Science or some related field. PostDocs should have a PhD degree in the general area of knowledge representation and reasoning. In addition, candidates are expected to have strong analytical skills, programming skills and experience in the field of logic and knowledge representation. Experience in research on one of the topics mentioned above, for example through a Bachelor/Master/PhD thesis in the field, is desirable but not mandatory. The official job announcement can be found at https://fernuni-hagen.hr4you.org/generator.php?jobkey=LtilQQKVGvmj0HwMa1MlH27PNcqz2eYN1CoxzcrIdfA%3D&id=1427 (only available in German). Applicants should apply, preferrably, by filling out the form linked in the official job announcement. Since the form is only available in German, applicants can also send their application (including at least a cover letter, a CV, and necessary certificates) directly to Matthias Thimm (head of the group), matthias.thimm@fernuni-hagen.de. Women will be given preferred consideration if their suitability, qualifications and professional performance are of equal value and as long as they are under- represented. This does not apply if there are serious reasons in the person of an applicant. Severely disabled applicants with the same qualifications will be given preferred consideration. The application deadline is December 12, 2021. For further inquiries do not hesitate to contact Matthias Thimm (matthias.thimm@fernuni-hagen.de). ******************************************************************************** Prof. Dr. Matthias Thimm Artificial Intelligence Group University of Hagen, Germany Tel.: +49 (0)2331 987-3004 https://www.fernuni-hagen.de/aig - http://www.mthimm.de