Tenure-track assistant professor in Formal Aspects of Programming Languages