Sort by
Refine Your Search
-
Listed
-
Category
-
Country
- United States
- Portugal
- Denmark
- Poland
- United Kingdom
- France
- Norway
- Sweden
- Luxembourg
- Germany
- Belgium
- Netherlands
- Croatia
- Canada
- Spain
- Australia
- Singapore
- Worldwide
- Austria
- Italy
- United Arab Emirates
- Finland
- Czech
- Greece
- Latvia
- China
- Switzerland
- Andorra
- Armenia
- Cyprus
- Estonia
- Hong Kong
- Hungary
- Ireland
- Japan
- Lithuania
- New Zealand
- Saudi Arabia
- Slovenia
- South Africa
- 30 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
-
. 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
-
factors should commonly interact to drive plant fitness and potential shifts in specific range positions (e.g., margins or center) under a changing climate, yet correlative-based SDMs lack a formal method
-
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
-
engineering and systems‑of‑systems approaches, including MBSE; _Process or system modelling (BPMN, UML, SysML, or related formalisms); _Knowledge of decision modelling, simulation, or decision‑support methods
-
Inria, the French national research institute for the digital sciences | Villeneuve la Garenne, le de France | France | 3 days ago
repeated over several trials (to collect multiple samples) before making a decision. For these applications, statistical methods for hypothesis testing and estimation are needed, with formal guarantees
-
the Knut and Alice Wallenberg Foundation. CMPS comprises research groups with competence in a range of biochemical and biophysical methods (please see: https://www.cmps.lu.se ), thereby offering an excellent
-
GQL-rewritability, and to develop efficient methods for constructing such rewritings when they exist
-
of applications: 14.1. Applications must be formalized at http://www.fe.up.pt/concursos , reference on-line nº 1454, until de 23h59m (local time) of 20/04/2026. The application must include: full name, number and
-
://www.jobbnorge.no/en/available-jobs/job/294536/phd-research-fellow-in-formal-methods-for-industrial-engineering Where to apply Website https://www.jobbnorge.no/en/available-jobs/job/294536/phd-research-fellow-in-fo