PhD Fellowship - Labex Digicosme - Paris-Saclay (LIX, LMF) Urgent: deadline for application = June 10th 2021
We are looking for a candidate for the PhD proposal "REASONING ABOUT CONCURRENT GAME STRUCTURES WITH NUMERICAL RESOURCES" More details can be found at http://www.lsv.fr/~demri/PhDProposal2021.pdf Financement is secured, assuming that the candidate is known to Labex Digicosme by June 15th. The candidate must hold a Master degree in Computer Science, with a solid background in Theoretical Computer Science or Symbolic AI. Typically, candidates with a good knowledge on formal methods, logics for artificial intelligence and proof theory are much appreciated. Applications can be sent either in English or in French. To apply to the position, please send a CV to de...@lsv.fr and l...@lix.polytechnique.fr. --- Stéphane Demri (CNRS, LMF) https://cv.archives-ouvertes.fr/stephane-demri -- Elaine. ------------------------------------------------- Elaine Pimentel Full professor - DMAT/UFRN Vice-head of PPGMAE/UFRN Address: Departamento de Matemática Universidade Federal do Rio Grande do Norte Campus Universitário - Av. Senador Salgado Filho, s/nº Lagoa Nova, CEP: 59.078-970 - Natal - RN Webpage: http://sites.google.com/site/elainepimentel/ DBLP: https://dblp.org/pid/53/5809.html Orcid: https://orcid.org/0000-0002-7113-0801 Lattes: http://lattes.cnpq.br/3298246411086415 -------------------------------------------------------- -- 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/CAHQVs%2BWOOy_LW6DtXF6knW9B_UyVWOi1zV3uC3XXMat%2BrsGPsQ%40mail.gmail.com.
