Sort by
Refine Your Search
-
Program
-
Employer
- Faculty of Sciences of the University of Porto
- NOVA.id.FCT- Associação para a Inovação de Desenvolvimento da FCT
- University of Trás-os-Montes and Alto Douro
- Universidade Católica Portuguesa - Porto
- University of Porto
- CIIMAR - Interdisciplinary Center of Marine and Environmental Research - Uporto
- Instituto Superior de Agronomia
- UNINOVA - Instituto de Desenvolvimento de Novas Tecnologias
- University of Minho
- Faculdade de Letras da Universidade de Lisboa
- INESC ID
- INESC TEC
- Instituto de Investigação e Inovação em Saúde da Universidade do Porto (i3S)
- NOVA Information Management School (NOVA IMS)
- Universidade do Minho - ISISE
- University of Aveiro
- ADDF - Associacao para o Desenvolvimento do Departamento de Fisica
- ASSOCIACAO ISCTE CONHECIMENTO E INOVACAO - CENTRO DE VALORIZACAO E TRANSFERENCIA DE TECNOLOGIAS
- Associação Fraunhofer Portugal Research
- CMU Portugal Program - FCT
- Centre for Functional Ecology - Science for the People & the Planet
- FEUP
- Faculdade de Ciências Sociais e Humanas
- Faculdade de Motricidade Humana
- ISCTE - Instituto Universitário de Lisboa
- Instituto Politécnico de Bragança
- Instituto Politécnico de Coimbra
- Instituto Politécnico de Portalegre
- Instituto Politécnico de Viseu
- Instituto Superior Técnico
- Instituto de Saúde Pública da Universidade do Porto
- Instituto de Telecomunicações
- Laboratório de Paisagens, Património e Território - Lab2PT
- ProChild CoLAB
- Universidade do Porto – HR
- 25 more »
- « less
-
Field
-
3 May 2024 Job Information Organisation/Company Faculdade de Letras da Universidade de Lisboa Research Field Language sciences Researcher Profile First Stage Researcher (R1) Country Portugal
-
5 Apr 2024 Job Information Organisation/Company Faculdade de Letras da Universidade de Lisboa Research Field Language sciences » Other Researcher Profile First Stage Researcher (R1) Country Portugal
-
-based programming language with explicit timing information, for the specification and verification of hardware systems. • Development of several extensions to the language to enable the faithful
-
from the previous intermediate representation into the Viper language. • Implementation of a translation mechanism from the GOSPEL-annotated OCaml programs into the previous intermediate representation
-
knowledge of the Portuguese language: F3 = 1.0 with driver's license and knowledge of Portuguese language; F3 = 0.3 with knowledge of Portuguese, but no driving license; F3 = 0.1 with driving license and no
-
apply ontologies. Experience with ontology editors, namely Protégé. Experience with semantic reasoning tools, namely Pellet Reasoner. Programming experience using the Java Language. Experience in Web
-
command of the Portuguese language and the ability to be independent. Candidates must also have an excellent command of English and excellent writing and scientific analysis skills. Proof of registration
-
to assess the admission requirements, including language knowledge and research experience). Copy of the certificate(s) of qualifications conferring academic degree in the terms requested in the notice, which
-
Requirements Automated and robotics industrial knowledge. Python programming language. Communication skills and fluency in oral and written Portuguese and English. Additional Information Benefits The amount
-
: Preference will be given to candidates who have : Knowledge of the Portuguese language Knowledge in image processing skills, dataset collection and annotation expertise 8 | EVALUATION CRITERIA AND COMMITTEE