Sort by
Refine Your Search
-
Program
-
Employer
- University of Trás-os-Montes and Alto Douro
- Instituto Superior de Agronomia
- Faculty of Sciences of the University of Porto
- NOVA.id.FCT- Associação para a Inovação de Desenvolvimento da FCT
- University of Porto
- Universidade Católica Portuguesa - Porto
- CIIMAR - Interdisciplinary Center of Marine and Environmental Research - Uporto
- INESC ID
- UNINOVA - Instituto de Desenvolvimento de Novas Tecnologias
- University of Aveiro
- University of Minho
- Faculdade de Letras da Universidade de Lisboa
- 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
- Universidade do Porto – HR
- 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 DE ÉVORA
- 26 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
-
of biological origin and excelent command of Python programming language. We are looking for a candidate with excellent team player skills, a passion for science and applied research, enthusiasm and experience in
-
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
-
significant overheads that result from high overheads of virtualization systems, bloated language runtimes, etc. In this project, we aim to use GraalVM technology such as Native Image and Truffle to build a
-
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
-
condition, genetic heritage, reduced work capacity, disability, chronic illness, nationality, ethnic origin or race, territory of origin, language, religion, political or ideological convictions and union
-
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