PhD in logic. Associate senior lecturer (≈tenure-track assistant professor) in computational linguistics, University of Gothenburg, Sweden.