(New) Postdoc position in Mathematical Logic at TU Darmstadt [D]

The logic group at the department has links with various application areas of mathematical logic in other fields of mathematics as well as in theoretical computer science. For the present position, preference would be given to candidates with research interests in Model-Theoretic Methods broadly conceived. Main focus is on application domains such as finite and algorithmic model theory, the study of logics of a modal character, or of team semantics.