Sort by
Refine Your Search
-
Listed
-
Category
-
Country
- United States
- Portugal
- Poland
- Denmark
- United Kingdom
- Norway
- Germany
- Netherlands
- France
- Spain
- Sweden
- Belgium
- Australia
- Czech
- Luxembourg
- Croatia
- Canada
- Italy
- Singapore
- United Arab Emirates
- Austria
- Finland
- Ukraine
- Greece
- Ireland
- Worldwide
- Switzerland
- Estonia
- Hong Kong
- Iceland
- Japan
- Lithuania
- Malaysia
- Morocco
- 24 more »
- « less
-
Program
-
Field
- Computer Science
- Economics
- Medical Sciences
- Engineering
- Biology
- Science
- Chemistry
- Education
- Materials Science
- Law
- Mathematics
- Business
- Psychology
- Environment
- Humanities
- Social Sciences
- Linguistics
- Arts and Literature
- Electrical Engineering
- Earth Sciences
- Design
- Sports and Recreation
- Philosophy
- 13 more »
- « less
-
://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
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | 5 days ago
: This grant aims to develop methods based on reachability analysis to design robust MPC controllers for the final approach of a tethered spacecraft for active debris removal. This grant will investigate
-
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
-
on https://diariodarepublica.pt/dr/detalhe/regulamento/950-2019-127238533 Workplace: The work will developed at IDMEC - Institute of Mechanical Engineering, being both the Host and Contracting Entity, and
-
behavior of these components will be developed based on Finite Element Methods (FEM) complemented by Machine Learning models. Legislation and Regulations: Statute of Scientific Research Fellow, approved by
-
related to staff position within a Research Infrastructure? No Offer Description The Neuro-Symbolic AI Group at the IDIAP Research Institute operates at the interface between neural and symbolic AI methods
-
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
-
) incorporation of expert knowledge in model building through Bayesian prior elicitation, and 3) develop new methods for identification of conflicts in different parts of complex models. BioM is an
-
of the molecules will be studied by various methods, such as absorption spectroscopy and cyclic voltammetry. Principal supervisor is Professor Mogens Brøndsted Nielsen, Department of Chemistry, E-mail: mbn
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | about 13 hours 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