Postdoc Position in Mathematical Logic (2 years), Darmstadt (Germany)

The Department of Mathematics at TU Darmstadt is offering a 2 year postdoc position in Mathematical Logic. 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.