---------- Forwarded message --------- Dear all,
We are hiring PhD students in Computational Mathematics and Mathematics at Stockholm University: https://su.varbi.com/what:job/jobID:807359/where:4/ https://su.varbi.com/what:job/jobID:803014/where:4/ Application deadline: April 22 Please help spread the word to students who are interested in doing a PhD on type theory, HoTT, computer formalization of CS and math, constructive mathematics, etc. Note that PhD students here are employed with a salary and that the position comes with benefits. There are also no tuition fees. If you are a student interested in doing a PhD with me you are welcome to apply to both positions above, just make sure you apply to the one in Computational Mathematics as that is the division I formally belong to. Please also specify clearly that you want me as an advisor in your application (e.g. in your cover letter). Please don't hesitate to contact me if you have any questions. Best, Anders Mörtberg -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <[email protected]> --- 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 conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Lh4zyvNtwt_ueoR1HNRrUbL2841mU7sUgiscaaxR-LySQ%40mail.gmail.com.
