Minimum qualifications: PhD degree in computer science, programming languages, formal methods, software engineering, or a related technical field, or equivalent practical experience. 4 years of experience in one or more of the following: programming language semantics,