Divulgando a pedido. Cláudia Nalon ------------------------------------ Departmento de Ciência da Computação Instituto de Ciências Exatas Universidade de Brasília http://www.cic.unb.br/~nalon
________________________________________ From: Clare Dixon <[email protected]> Sent: 02 July 2021 10:38 To: Clare Dixon Subject: Two PDRA vacancies in Formal Verification of Sensor Systems at the University of Manchester We have vacancies for two fixed term postdoctoral researchers in the Autonomy and Verification group, in the Department of Computer Science at the University of Manchester. The roles relate to formal verification applied to sensor networks working on the UKRI/EPSRC funded project Science of Sensor Systems Software with the Universities of Glasgow, St Andrews, Imperial College London and Manchester. More details are at https://www.jobs.manchester.ac.uk/displayjob.aspx?jobid=20435 and informal enquiries can be directed to Clare Dixon ([email protected] or Michael Fisher ([email protected]) We would be grateful if you would pass this onto your networks. Apologies for the unsolicited email and thanks for your help. Many thanks, Clare -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/RO1PR80MB3898AD0D93D913E627301BBADF1F9%40RO1PR80MB3898.lamprd80.prod.outlook.com.
