Olás, Esse anúncio talvez interesse alguém por aqui.
[]'s ---------- Forwarded message --------- De: Dmitriy Traytel <[email protected]> Date: qua., 15 de set. de 2021 às 19:25 Subject: [Coq-Club] PhD position at the University of Copenhagen To: [email protected] <[email protected]> Dear all, I have an open PhD position at the University of Copenhagen from January 2022 on the topic of formally verifying a data stream processing framework. Please see the official ad for more details and instructions on how to apply: https://jobportal.ku.dk/phd/?show=154783 The application deadline is 10 October 2021, 23:59 GMT +2. The position is funded by a grant from the Novo Nordisk Foundation. Familiarity with proof assistants is a big plus. Feel free to contact me, if you have any questions or know suitable candidates. Best wishes, Dmitriy -- 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/CANoaj6ppaM-d4ueMso2CUU_zpTe_fhsNAU2uedVWLJv7c_fkFQ%40mail.gmail.com.
