Applications are invited for a PhD studentship at University College London, under the supervision of Prof. Alexandra Silva and Dr. Matteo Sammartino.   The start date is flexible and can be negotiated. It should be in September 2018 at the latest.   The studentship is funded by the UK Research Institute in Verified Trustworthy Software … Continue a ler BOLSA DE INVESTIGAÇÃO EM LONDRES