Sort by
Refine Your Search
-
Listed
-
Category
-
Country
- United States
- Portugal
- Denmark
- Poland
- United Kingdom
- Norway
- Germany
- Netherlands
- Luxembourg
- Sweden
- France
- Spain
- Australia
- Czech
- 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 10 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 10 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 10 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 10 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