Sort by
Refine Your Search
-
Listed
-
Category
-
Country
- United States
- Portugal
- Denmark
- Poland
- United Kingdom
- Norway
- Germany
- Netherlands
- Luxembourg
- Sweden
- France
- Spain
- Czech
- Australia
- Belgium
- Austria
- Italy
- Singapore
- United Arab Emirates
- Canada
- 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
- Linguistics
- Social Sciences
- Environment
- Psychology
- Humanities
- Electrical Engineering
- Arts and Literature
- Earth Sciences
- Sports and Recreation
- Design
- Philosophy
- Physics
- 14 more »
- « less
-
EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description The position is opened by the Formal Methods for System and Software Research Unit (FM Unit
-
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 | about 6 hours ago
latent information concerning the physical properties of the manipulated objects (e.g. fragility) that are usually non included in packaging methods. In addition, reinforcement learning will be used
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | about 6 hours ago
- Generalisation of laser plasma models for different instabilities; synthesis of radiation diagnostics Translated with https://laratranslate.com (Present a resume of the activities to carry out, the objectives
-
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
-
sound knowledge of simulation methods and actinide chemistry is required. Application deadline: January 9, 2026 To apply, please follow the instructions in the formal job opening , where you can also find
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | about 6 hours ago
months. It’s expected to begin on 1 February 2026, and may be eventually renewed. It is mandatory to formalize applications with the submission of the following documents: i) B1 Form – Fellowship
-
. Formalization of applications: 14.1. Applications must be formalized at http://www.fe.up.pt/concursos , reference on-line nº 1413, until de 23h59m (local time) of 19 de january 2026. The application must include
-
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/concursos , reference on-line nº 1400, until de 23h59m
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | about 6 hours ago
present. The next phase will explore and implement baseline NILM approaches suitable for aggregated transformer-level data, such as simple rule-based or threshold methods. These approaches will help