Sort by
Refine Your Search
-
Listed
-
Category
-
Country
- United States
- Portugal
- Denmark
- Poland
- United Kingdom
- Norway
- Netherlands
- Germany
- Luxembourg
- France
- Sweden
- Spain
- Australia
- Czech
- Croatia
- Belgium
- Austria
- Italy
- United Arab Emirates
- Canada
- Singapore
- Ukraine
- Finland
- Slovenia
- Worldwide
- Ireland
- Malaysia
- China
- Greece
- Morocco
- Romania
- Switzerland
- 22 more »
- « less
-
Program
-
Field
- Computer Science
- Economics
- Medical Sciences
- Engineering
- Biology
- Science
- Education
- Mathematics
- Materials Science
- Chemistry
- Business
- Law
- Environment
- Humanities
- Linguistics
- Psychology
- Social Sciences
- Arts and Literature
- Electrical Engineering
- Earth Sciences
- Sports and Recreation
- Design
- Philosophy
- Physics
- 14 more »
- « less
-
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
-
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
-
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
-
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
-
The Centre for Formal Methods and Future Computing (FORM) and the Danish Institute for Advanced Study (DIAS) at the University of Southern Denmark (SDU, Campus Odense and Vejle) seek
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | 5 days ago
contract, it may be concluded under the established contractual terms. It is mandatory to formalize applications with the submission of the following documents: i) B1 Form – Fellowship application (https
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | 5 days ago
the duration of the initial contract. It is mandatory to formalize applications with the submission of the following documents: i) B1 Form – Fellowship application (https://ist-id.pt/recursos-humanos/bolseiros
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | 6 days ago
for Research Fellowships awarded by FCT in Portugal (https://www.fct.pt/fct-atualizou-o-valor-das-bolsas-para-2025/ ), the amount of the monthly maintenance allowance is € 1040,98, being the payment method
-
Computer Science, Mathematics, or related areas. • Strong background in at least one of the following: formal methods, SMT solving, abstract interpretation, or model checking. • Experience with verification tools
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | 2 days ago
(https://www.fct.pt/fct-atualizou-o-valor-das-bolsas-para-2025/ ), the amount of the monthly maintenance allowance is € 1309.64, being the payment method by Wire Transfer. Eligibility criteria Admission