Olás, Esse anúncio talvez interesse alguém por aqui.
[]'s ---------- Forwarded message --------- De: Dmitriy Traytel <tray...@di.ku.dk> Date: qua., 15 de set. de 2021 às 19:25 Subject: [Coq-Club] PhD position at the University of Copenhagen To: coq-c...@inria.fr <coq-c...@inria.fr> 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 logica-l+unsubscr...@dimap.ufrn.br. 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.
