Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Universidade de Coimbra
- Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID
- NTNU - Norwegian University of Science and Technology
- University of Luxembourg
- NTNU Norwegian University of Science and Technology
- Nature Careers
- Utrecht University
- University of Bergen
- CNRS
- Imperial College London;
- Instituto Politécnico de Bragança
- UNINOVA - Instituto de Desenvolvimento de Novas Tecnologias
- University of Texas at El Paso
- Aarhus University
- CIIMAR - Interdisciplinary Center of Marine and Environmental Research - Uporto
- Empa
- Erasmus University Rotterdam
- Faculdade de Medicina da Universidade do Porto
- Faculty of Sciences of the University of Porto
- Institute of Public Health University of Porto
- Linköping University
- NOVA.id.FCT- Associação para a Inovação de Desenvolvimento da FCT
- Technical University of Munich
- The University of Manchester
- Universitat Autonoma de Barcelona
- University of Birmingham
- University of Nottingham
- University of Southern Denmark
- University of Twente (UT)
- Aalborg University
- Catalan Institute of Nanoscience and Nanotechnology (ICN2)
- Delft University of Technology (TU Delft)
- Delft University of Technology (TU Delft); today published
- Eindhoven University of Technology (TU/e); yesterday published
- Erasmus University Rotterdam (EUR)
- Institute of Low Temperature and Structure Research Polish Academy of Sciences
- Instituto Português de Oncologia do Porto Francisco Gentil (IPO Porto)
- Instituto Superior de Agronomia
- Instituto de Engenharia Mecânica
- KU LEUVEN
- Leibniz
- Leiden University
- Luxembourg Institute of Science and Technology
- MASARYK UNIVERSITY
- Masaryk University - Faculty of Arts
- University of A Coruña
- University of Amsterdam (UvA)
- University of Amsterdam (UvA); yesterday published
- University of Münster •
- University of Porto
- Aalborg Universitet
- Aix-Marseille Université
- Charles University, Faculty of Social Sciences
- Computer Vision Center (CVC)
- Danmarks Tekniske Universitet
- Delft University of Technology (TU Delft); 3 Oct ’25 published
- Duke University
- Eindhoven University of Technology (TU/e)
- European Magnetism Association EMA
- FEUP
- Fraunhofer Institute for Wind Energy Systems IWES
- Fraunhofer-Gesellschaft
- Hannover Medical School •
- INESC ID
- Instituto Superior Técnico
- Instituto Superior de Engenharia do Porto
- Instituto de Educação da Universidade de Lisboa
- Instituto de Saúde Pública da Universidade do Porto
- KINGS COLLEGE LONDON
- Leibniz-Institut für Präventionsforschung und Epidemiologie – BIPS GmbH
- Leipzig University •
- Linköpings universitet
- Ludwig-Maximilians-Universität München •
- Lunds universitet
- Malmö universitet
- Max Planck Institute for Human Cognitive and Brain Sciences, Leipzig
- Max Planck Institute for the Study of Crime, Security and Law, Freiburg
- Max Planck Institute of Biochemistry, Martinsried
- Medical University of Lublin
- NATIONAL AND KAPODISTRIAN UNIVERSITY OF ATHENS
- National Laboratory of Energy and Geology
- Nova School of Business and Economics
- OsloMet
- Sveriges Lantbruksuniversitet
- Swedish University of Agricultural Sciences
- Technical University of Denmark
- The CoReACTER (@ University College Dublin)
- The Norwegian School of Sport Sciences
- The Open Universiteit (OU)
- The Open Universiteit (OU); today published
- Tilburg University
- UNIVERSIDAD DE LAS PALMAS DE GRAN CANARIA
- UNIVERSITATEA DE MEDICINA SI FARMACIE IULIU HATIEGANU
- Umeå University
- Umeå universitet
- Universidade de Trás-os-Montes e Alto Douro
- Universiteit van Amsterdam
- University of Adelaide
- University of Birmingham;
- University of Bristol
- 90 more »
- « less
-
Field
-
programming languages and formal methods. Strong software engineering skills. Curiosity and agility to understand and navigate new technologies when applicable. Has an inclusive mindset and values good
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | about 5 hours ago
. Duration: The research fellowship will have the duration of 6 months. It is expected to begin in January 2026, and may be eventually renewed. It is mandatory to formalize applications with the submission
-
Computer Science, Mathematics, or related areas. • Strong background in at least one of the following: formal methods, SMT solving, abstract interpretation, or model checking. • Experience with verification tools
-
methods to track learning curves and quantify operator skill progression over repeated tasks, identifying points where adaptive haptic guidance can be most effective. At the same time, insights from expert
-
, nonlinear dynamical systems, robotics, and formal methods to develop principled models and algorithms for distributed decision-making in complex and uncertain environments. Your research The candidate will
-
of food. The doctoral candidate is expected to master a range of methods and techniques to deliver this research, including online and in-person surveys, behavioural experiments, and advanced
-
of the monthly maintenance allowance is € 1309,64 being the payment method by Wire Transfer. Selection methods: The selection methods will be the following: A) Adequacy and merit of the Curriculum vitae with
-
formalities established therein must be fulfilled by the date of the act of contracting. Preferred conditions a) Master’s in Consumer Sciences and Nutrition or in Public Health. Functions The functions to be
-
University, is recognized for its expertise in artificial intelligence and formal methods In this stimulating academic context, we will focus on the problem of explainability of artificial intelligence models
-
. The successful candidate will undertake a course in legal research methods during the first year as a full-time student. This provides training in legal research methodology and supports PhD students in designing