Sort by
Refine Your Search
-
Program
-
Employer
- Instituto Superior de Agronomia
- NOVA.id.FCT- Associação para a Inovação de Desenvolvimento da FCT
- Faculty of Sciences of the University of Porto
- Universidade Católica Portuguesa - Porto
- INESC ID
- Instituto de Investigação e Inovação em Saúde da Universidade do Porto (i3S)
- Universidade do Minho - ISISE
- University of Porto
- ADDF - Associacao para o Desenvolvimento do Departamento de Fisica
- CIIMAR - Interdisciplinary Center of Marine and Environmental Research - Uporto
- FEUP
- Faculdade de Letras da Universidade de Lisboa
- Faculdade de Motricidade Humana
- Instituto Politécnico de Coimbra
- Instituto Politécnico de Portalegre
- Instituto Politécnico de Viseu
- Instituto Superior Técnico
- Laboratório de Paisagens, Património e Território - Lab2PT
- ProChild CoLAB
- UNINOVA - Instituto de Desenvolvimento de Novas Tecnologias
- Universidade do Porto – HR
- University of Aveiro
- University of Minho
- 13 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
-
-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
-
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
-
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
-
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
-
to an academic degree 5.2 Skills/Qualifications / Specific Requirements: - Proven proficiency in the English language - Proficiency in the Portuguese language (oral and written) - Driving License
-
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
-
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