Sort by
Refine Your Search
-
Listed
-
Category
-
Country
- United States
- Portugal
- Poland
- Denmark
- United Kingdom
- Norway
- France
- Sweden
- Germany
- Luxembourg
- Belgium
- Croatia
- Netherlands
- Spain
- Australia
- Canada
- Singapore
- Austria
- United Arab Emirates
- Worldwide
- Finland
- Italy
- Czech
- Greece
- Latvia
- Switzerland
- China
- Japan
- Andorra
- Armenia
- Estonia
- Hong Kong
- Iceland
- Ireland
- Lithuania
- New Zealand
- Saudi Arabia
- Slovenia
- 28 more »
- « less
-
Program
-
Field
- Computer Science
- Economics
- Medical Sciences
- Engineering
- Biology
- Science
- Law
- Mathematics
- Materials Science
- Education
- Chemistry
- Business
- Social Sciences
- Arts and Literature
- Environment
- Linguistics
- Psychology
- Electrical Engineering
- Humanities
- Earth Sciences
- Sports and Recreation
- Philosophy
- Design
- 13 more »
- « less
-
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
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | 15 days ago
March 2026 and may be eventually renewed. It is mandatory to formalize applications with the submission of the following documents: i) B1 Form – Fellowship application (https://ist-id.pt/recursos-humanos
-
Research Council rate (set at (£21,805 p.a. for 2026/2027 academic year) for 3 years. Please note the eligibility criteria set out by the UKRI at: https://www.ukri.org/what-we-do/developing-people-and-skills
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | 9 days ago
to formalize applications with the submission of the following documents: B1 Form – Fellowship application (https://ist-id.pt/recursos-humanos/bolseiros/#documentos-relacionados ); Curriculum Vitae; academic
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | 2 days ago
: The research fellowship(s) will have the duration of 4 months. It’s expected to begin in 04/2026, and not renewed. It is mandatory to formalize applications with the submission of the following documents: i) B1
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | 10 days ago
: The research fellowship(s) will have the duration of 6 months. It’s expected to begin on 1 May 2026, and may be renewed. It is mandatory to formalize applications with the submission of the following documents
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | 10 days ago
have the duration of 6 months. It’s expected to begin on 1 August 2026, and may be renewed. It is mandatory to formalize applications with the submission of the following documents: i) B1 Form
-
is available for both UK and international students within the Quantum Device Modelling Group (http://warwick.ac.uk/nanolab ) at the University of Warwick. At the intersection of quantum physics and
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | 10 days ago
. Application deadline and formalization: The call is open from March 17 until March 23, 2026. It is mandatory to formalize applications with the submission of the following documents: B1 Form – Fellowship
-
methods, which make it possible to identify the optimal configuration of a process among a large number of alternatives. The project is funded by the ANR and brings together four complementary partners