Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Employer
- Nature Careers
- University of Oslo
- CNRS
- University of Aveiro
- Aarhus University
- University of Porto
- Cornell University
- Instituto Superior de Engenharia do Porto
- Linköping University
- Technical University of Denmark
- Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID
- FEUP
- Faculty of Sciences of the University of Porto
- IMT Atlantique
- Lodz University of Technology
- Luxembourg Institute of Science and Technology
- NTNU Norwegian University of Science and Technology
- Universidade do Minho
- University of Luxembourg
- University of Silesia in Katowice
- University of Texas at El Paso
- ASSOCIACAO ISCTE CONHECIMENTO E INOVACAO - CENTRO DE VALORIZACAO E TRANSFERENCIA DE TECNOLOGIAS
- Aalborg Universitet
- Aalborg University
- Adam Mickiewicz University
- Adam Mickiewicz University, Poznań
- Aix-Marseille Université
- Autonomous University of Madrid (Universidad Autónoma de Madrid)
- CIIMAR - Interdisciplinary Center of Marine and Environmental Research - Uporto
- Carnegie Mellon University
- Delft University of Technology (TU Delft)
- Duke University
- Faculdade de Medicina da Universidade do Porto
- Flow Analysis and simulation Team
- Fondazione Bruno Kessler
- Institute of Public Health University of Porto
- Instituto Nacional de Saúde Dr. Ricardo Jorge
- Instituto de Engenharia Mecânica
- Iowa State University
- KOMAG Institute of Mining Technology
- KU LEUVEN
- Laboratoire de Chimie Théorique, Sorbonne Université & CNRS
- Loyola University
- NEW YORK UNIVERSITY ABU DHABI
- National University of Singapore
- Newcastle University
- Nova School of Business and Economics
- Oak Ridge National Laboratory
- Riga Technical University
- Silesian University of Technology
- Sim4Safety Lda.
- State University of New York University at Albany
- Technical University of Munich
- The Franciszek Górski Institute of Plant Physiology Polish Academy of Sciences
- The University of Chicago
- UNIVERSITE DE TECHNOLOGIE DE COMPIEGNE
- Umeå University
- Umeå universitet
- Universidade Católica Portuguesa - Porto
- Universidade do Porto – HR
- University of Antwerp
- University of Bergen
- University of Canterbury
- University of Glasgow
- University of Illinois at Urbana Champaign
- University of Minnesota
- University of Nebraska–Lincoln
- University of Nevada Las Vegas
- University of Nevada, Reno
- University of Nova Gorica
- University of Pennsylvania
- University of Strathclyde
- University of Texas at Austin
- University of Toronto
- University of Trás-os-Montes and Alto Douro
- University of Virginia
- University of Warsaw
- University of Washington
- Université Paris Cité
- Uppsala universitet
- Utrecht University
- Vrije Universiteit Amsterdam (VU)
- Warsaw University
- Warsaw University of Technology
- XIAN JIAOTONG LIVERPOOL UNIVERSITY (XJTLU)
- 75 more »
- « less
-
Field
-
within a Research Infrastructure? No Offer Description Techniques based on formal methods for the verification and validation of embedded and safety-critical systems are becoming increasingly important
-
Laboratoire de Chimie Théorique, Sorbonne Université & CNRS | Paris 15, le de France | France | 19 days ago
of renormalization in a finite basis; • Software implementation and development, integrating the newly developed methods into quan- tum chemistry codes. Working Environment: The PhD student will be hosted
-
24 Apr 2026 Job Information Organisation/Company Sim4Safety Lda. Research Field Engineering » Other Researcher Profile Recognised Researcher (R2) Positions PhD Positions Application Deadline 12 May
-
(according to FCT values table: https://www.fct.pt/wp-content/uploads/2026/03/Tabela-de-Valores-SMM-202… ), supported though PAD no. C72203 8. SELECTION METHODS AND COMPOSITION OF SELECTION BOARD
-
study will leverage existing numerical resources and mobilize advanced methods from software engineering to develop a robust and adaptable framework for manipulating and coupling different models
-
Intelligence methods. Preferred profile: Experience on research work involving the development and application of Artificial Intelligence methods will be valued. 3. DURATION The duration of the grant is 6
-
at least one of the following areas: theoretical computer science (e.g., formal methods, design automation, algorithms) and reinforcement learning. The candidate should be open to practical
-
science » Other Engineering » Computer engineering Researcher Profile Established Researcher (R3) Positions PhD Positions Application Deadline 5 Jun 2026 - 23:59 (Europe/Lisbon) Country Portugal Type of Contract
-
://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
-
-authorship, records of ownership of intellectual property rights regarding software, mathematical methods, and rules of mental activity. Participation in standardization committees and the drafting