Sort by
Refine Your Search
-
Listed
-
Category
-
Country
- United States
- Portugal
- Denmark
- Poland
- United Kingdom
- Norway
- Germany
- Netherlands
- Luxembourg
- Sweden
- France
- Spain
- Australia
- Czech
- Belgium
- Singapore
- Austria
- Canada
- Italy
- United Arab Emirates
- Croatia
- Finland
- Ukraine
- Slovenia
- Worldwide
- Ireland
- China
- Greece
- Japan
- Malaysia
- Morocco
- Switzerland
- 22 more »
- « less
-
Program
-
Field
- Computer Science
- Economics
- Medical Sciences
- Engineering
- Biology
- Science
- Education
- Materials Science
- Law
- Chemistry
- Business
- Mathematics
- Social Sciences
- Linguistics
- Psychology
- Environment
- Humanities
- Arts and Literature
- Electrical Engineering
- Earth Sciences
- Sports and Recreation
- Design
- Philosophy
- Physics
- 14 more »
- « less
-
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
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | 16 days ago
mandatory to formalize applications with the submission of the following documents: i) B1 Form – Fellowship application (https://ist-id.pt/recursos-humanos/bolseiros/#documentos-relacionados ); ii
-
Framework Programme? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description The research aims to study and formalize multilayer agentic
-
, United States of America [map ] Subject Area: Formal Methods and Machine Learning for Mathematics Appl Deadline: none (posted 2025/10/03) Position Description: Apply Position Description The Institute for Computer-Aided
-
: 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
-
the tender notice. The final decision on hiring is the responsibility of the top manager of the hiring entity. 14. Formalization of applications: 14.1. Applications must be formalized at http://www.fe.up.pt
-
the tender notice. The final decision on hiring is the responsibility of the top manager of the hiring entity. 14. Formalization of applications: 14.1. Applications must be formalized at http://www.fe.up.pt
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | 16 days ago
. Duration: The research fellowship will have the duration of 6 months. It is expected to begin in January 2026, and may be eventually renewed. It is mandatory to formalize applications with the submission
-
. Formalization of applications: 14.1. Applications must be formalized at http://www.fe.up.pt/concursos , reference on-line nº 1412, until de 23h59m (local time) of 12-01-2026. The application must include: full
-
theorem provers such as Coq or Isabelle/HOL. Proof Automation. We plan to develop formal methods for automatic reasoning that can be materialized into commercial tools. Responsibilities Participate in and