New PhD positions on Logics for Computer Science -- TU-WIEN Info here:
http://www.vcla.at/msca/call/ *********************************** The novel interdisciplinary Marie Skłodowska-Curie COFUND doctoral training programme LogiCS@TUWien – Logics for Computer Science Program at TU Wien, co-funded by the European Commission, offers 20 full-time PhD positions. The program is hosted by TU Wien, one of the most successful technical Universities in Europe and the largest one in Austria. The Faculty of Informatics of TU Wien is a leading research and teaching institution which consistently ranks among the top 100 computer science faculties in the global Times Higher Education ranking. In the heart of Europe, Vienna has a prominent history in mathematics, computer science, and logic research, and offers one of the highest living standards in the world. The programme provides a 4-year long doctoral training for international PhD candidates within an English-language curriculum. The doctoral positions are open to international high-potential early-stage researchers with a strong background in Logical Methods in Computer Science and their applications in areas like Artificial Intelligence, Databases, Verification, Algorithms, Security, and Cyber-Physical Systems. Each PhD candidate will be supervised by at least one of the LogiCS@TUWien professors, see http://www.vcla.at/msca/supervisors/. We are looking for exceptional candidates to allocate twenty positions as a university assistant (Pre-Doc) for 4 years for 40 hours/week. Expected start: June 2022. ************************************ -- Elaine. ------------------------------------------------- Elaine Pimentel Full professor - DMAT/UFRN Vice-head of PPGMAE/UFRN President of the Brazilian Logic Society 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%2BU-%2Bh6%3DV9pm_L5A5j8YV7Nhmen%2BvyTNF33w7i%3Dc3WcXaw%40mail.gmail.com.
