Associate Professorship (~ tenure track faculty) in Programming Languages at Oxford