Sort by
Refine Your Search
-
Listed
-
Category
-
Country
- United States
- Portugal
- Denmark
- Poland
- United Kingdom
- France
- Norway
- Luxembourg
- Sweden
- Germany
- Netherlands
- Belgium
- Croatia
- Spain
- Canada
- Italy
- Singapore
- Worldwide
- Austria
- United Arab Emirates
- Australia
- Finland
- Latvia
- China
- Andorra
- Armenia
- Cyprus
- Czech
- Greece
- Hong Kong
- Hungary
- Ireland
- Japan
- New Zealand
- Saudi Arabia
- Slovenia
- South Africa
- Switzerland
- 28 more »
- « less
-
Program
-
Field
- Computer Science
- Economics
- Medical Sciences
- Engineering
- Biology
- Science
- Mathematics
- Law
- Materials Science
- Education
- Chemistry
- Social Sciences
- Business
- Arts and Literature
- Environment
- Linguistics
- Psychology
- Electrical Engineering
- Humanities
- Philosophy
- Earth Sciences
- Sports and Recreation
- Design
- Physics
- 14 more »
- « less
-
Laboratoire de Chimie Théorique, Sorbonne Université & CNRS | Paris 15, le de France | France | 18 days ago
may involve several complementary aspects: • Theoretical and formal developments to derive new electronic structure methods from QED; • More applied methodological developments, including the treatment
-
Application Deadline: 31 May 2026 Details This PhD offers a unique opportunity to work at the intersection of formal methods, control engineering, and cybersecurity within the high-stakes environment
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | 6 days ago
Research Infrastructure? No Offer Description Applications are open for one (1) Research Studentship for students enrolled in a Master degree, within the framework of the project HELIPORT (https://doi.org
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | 4 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
-
ALMA MATER STUDIORUM - UNIVERSITA' DI BOLOGNA - - DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA | Italy | 20 days ago
Description The research project aims to investigate computational methods for the study of complex systems characterised by emergent dynamics, with particular attention to the micro–macro relationship in
-
of this postdoctoral position is to enable the formal verification of security protocols involving non-negligible probabilities. Formal methods have proven their value in the design and analysis of security protocols
-
volunteers to support local 4-H programming. Utilize appropriate methods, both formal and informal, of community assessment to identify educational needs and opportunities within the local community. Design
-
present. Although methods exist to balance early diagnosis benefits and false positive risks for single disease tests, such methods are not available for multi-disease tests. In the MERIT project, we will
-
. Formalization of applications: 14.1. Applications must be formalized at http://www.fe.up.pt/concursos , reference on-line nº 1455, until de 23h59m (local time) of 28/04/2026. The application must include: full
-
formalized at http://www.fe.up.pt/concursos , reference on-line nº 1456, until de 23h59m (local time) of 27/04/2026. The application must include: full name, number and date of identity card or citizen card