Sort by
Refine Your Search
-
Category
-
Country
-
Employer
- Universidade Católica Portuguesa - Porto
- University of Texas at Austin
- Associação Universidade-Empresa para o Desenvolvimento - TecMinho
- University of Oslo
- Carnegie Mellon University
- INESC ID
- Oak Ridge National Laboratory
- UNIVERSITY OF SOUTHAMPTON
- Universidade Católica Portuguesa
- University of Minho
-
Field
-
decision-making, and join a vibrant AI research community at the University of Texas at Austin, become members of The University of Texas at Austin’s Machine Learning Laboratory (https://ml.utexas.edu
-
Decree-Law no. 66/2018 of August 16th and Portaria No. 33/2019, of January 25th. The signature of the contract is conditional on the presentation of the formal document. Applicants are advised to check the
-
(until 5 pm, Lisbon time). Applications are formalized by completing the Application Form https://hr-ucpporto.inqueritos.porto.ucp.pt/588151?lang=en . It will be necessary to submit the following
-
mensal: O montante da bolsa corresponde a €1.040,98, conforme tabela de valores das bolsas atribuídas diretamente pela FCT, I.P. no País (https://www.fct.pt/wp-content/uploads/2025/02
-
are formalized by completing the Application Form, available in https://hr-ucpporto.inqueritos.porto.ucp.pt/439392?lang=en It will be necessary to submit the following documents: Cover letter, identifying
-
of the Scientific Research Fellow: https://dre.pt/web/guest/legislacao-consolidada/-/lc/58216179/view?w=2019-08-28 ; Regulation of Research Scholarships of the Science and Technology Foundation, I.P: https://dre.pt
-
January 26, 2026. until February 9, 2026. (until 5 pm, Lisbon time). Applications are formalized by completing the Application Form https://hr-ucpporto.inqueritos.porto.ucp.pt/588151?lang=en . It will be
-
of more of the following is desired: software engineering and systems design, formal methods, verification, and/or modelling, design and techniques for resilient and reliable systems (e.g. decentralised
-
the formal verification process 3) Participate in regular project meetings with the other members of the SafeIaC project 4) Produce a technical report with all the research findings to be submitted to a
-
: Statute of the Scientific Research Fellow: https://dre.pt/web/guest/legislacao-consolidada/-/lc/58216179/view?w=2019-08-28 ; Regulation of Research Scholarships of the Science and Technology Foundation, I.P