Logic/Semantics/PL/Verification posts at the University of Southampton