The University of Cambridge is seeking a Research Associate for the New Spaces for Denotational Semantics project in Newtown, Wales. The role involves leading the development of a new proof assistant for constructive mathematics, collaborating on open-source software, and publishing research. Candidates should hold a PhD in Computer Science or a closely related field, and possess a strong record of research excellence. Join a dynamic team under the guidance of Dr. Jon Sterling.
#J-18808-Ljbffr