Sort by
Refine Your Search
-
Listed
-
Category
-
Country
- United States
- Portugal
- Poland
- Denmark
- United Kingdom
- Norway
- Germany
- Netherlands
- France
- Spain
- Sweden
- Czech
- Luxembourg
- Australia
- Belgium
- Croatia
- Singapore
- Canada
- Austria
- United Arab Emirates
- Italy
- Finland
- Ukraine
- Greece
- Worldwide
- Ireland
- Slovenia
- Switzerland
- China
- Estonia
- Iceland
- Japan
- Lithuania
- Malaysia
- Morocco
- 25 more »
- « less
-
Program
-
Field
- Computer Science
- Economics
- Medical Sciences
- Engineering
- Biology
- Science
- Education
- Materials Science
- Law
- Chemistry
- Mathematics
- Business
- Psychology
- Social Sciences
- Humanities
- Linguistics
- Environment
- Arts and Literature
- Electrical Engineering
- Earth Sciences
- Design
- Sports and Recreation
- Philosophy
- Physics
- 14 more »
- « less
-
related discipline with focus on formal methods completed or close to completion; Experience with interactive theorem proving using Isabelle/HOL, HOL4, Coq or similar, or experience with proving security
-
diplomas in Higher Education, arising from foreign higher education institutions, and paragraph e) of paragraph 2 of article 4 of Decree-Law No. 60/2018, of August 3, all of which the formalities must be
-
. Test transactions utilizing automated and/or traditional auditing methods and analyze results of testing. Identify underlying causes and contributing factors to noted problems through investigation and
-
Research Grant | project Luminous, Ref. 2023.11112.ICDT, from CICECO - Aveiro Institute of Materials
to this plan. 11. Selection methods: The selection methods to be used will be the following: curriculum vitae assessment with the respective value of 100 %. 12. Composition of the Selection Jury: Chair
-
manager of the hiring entity. 14. Formalization of applications: 14.1. Applications must be formalized at http://www.fe.up.pt/concursos , reference on-line nº 1419, until de 23h59m (local time) of 14/01
-
corresponds to €1,309.64, according to the table of values for grants awarded directly by FCT, I.P. in Portugal (http://alfa.fct.mctes.pt/apoios/bolsas/valores ). VIII. Selection methods: The following will
-
Doutorado de Nível Inicial |Projeto AGRO-CIRN - Proposta 1418 Applications must be formalized at http://www.fe.up.pt/concursos , reference on-line nº 1418, until de 23h59m (local time) of 14-01-2026
-
: https://www.fct.pt/wp-content/uploads/2025/02/Tabela_valores_SMM_2025.p… )), supported though PAD no. C69621 and C69622. 8. SELECTION METHODS AND COMPOSITION OF SELECTION BOARD The selection method
-
Faculdade de Ciências Médicas|NOVA Medical School da Universidade NOVA de Lisboa. | Portugal | 10 days ago
recognized by a higher education institution Portuguese, pursuant to the provisions of Decree-Law No. 66/2018, published in the Diário da República, 1st series, no. 157, of August 16, 2018, and any formalities
-
quantitative research methods and the ability to teach and supervise at PhD level. The successful candidate is expected to take an active role in developing high-quality national and international research