tenure track position in Theoretical Computer Science