Sort by
Refine Your Search
-
ranked immediately below will be contacted, and so on. Any questions regarding the application may be addressed to Doctor Carina Almeida (carina.almeida@iniav.pt ). Where to apply E-mail bolsas@iniav.pt
-
of Sciences of the University of Porto; 1.º member – Doctor Tânia Alícia Ribeiro Fernandes, Assistant Researcher of the Faculty of Sciences of the University of Porto; 2.º member – Doctor António da Costa
-
(also verified by automated theorem proving) etc. - AUTOMATA TUTOR (available at [1], described in publication [2]) is a tool to teach undergraduate students the basics of theoretical computer science. It
Enter an email to receive alerts for post-doc-computer-science "https:" positions