KU Leuven’s DistriNet research group is offering a fully funded PhD position in the field of mechanized verification, formal methods, and system security. The research will focus on the development of universal contracts for authoritative semantics of Instruction Set Architectures (ISAs), advancing end-to-end system verification techniques.