Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Employer
- University of Oslo
- Nature Careers
- CNRS
- Technical University of Denmark
- Aarhus University
- Linköping University
- University of Aveiro
- ;
- Aalborg University
- University of Porto
- University of Texas at Austin
- Cornell University
- FEUP
- Utrecht University
- Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID
- Duke University
- Faculty of Sciences of the University of Porto
- Harvard University
- IMT Atlantique
- Instituto Superior de Engenharia do Porto
- Iowa State University
- Lodz University of Technology
- Luxembourg Institute of Science and Technology
- NEW YORK UNIVERSITY ABU DHABI
- NTNU - Norwegian University of Science and Technology
- NTNU Norwegian University of Science and Technology
- Nanyang Technological University
- Newcastle University
- Universidade do Minho
- University of Luxembourg
- University of Minnesota
- University of Silesia in Katowice
- University of Texas at El Paso
- AGH University of Krakow
- ASSOCIACAO ISCTE CONHECIMENTO E INOVACAO - CENTRO DE VALORIZACAO E TRANSFERENCIA DE TECNOLOGIAS
- Aalborg Universitet
- 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
- Cardiff University
- Carnegie Mellon University
- Delft University of Technology (TU Delft)
- Faculdade de Medicina da Universidade do Porto
- Flow Analysis and simulation Team
- Fondazione Bruno Kessler
- ICN2
- ISCTE - Instituto Universitário de Lisboa
- Institute of Public Health University of Porto
- Instituto Nacional de Saúde Dr. Ricardo Jorge
- Instituto de Engenharia Mecânica
- KOMAG Institute of Mining Technology
- KU LEUVEN
- King's College London
- Laboratoire de Chimie Théorique, Sorbonne Université & CNRS
- Loyola University
- National University of Singapore
- Nova School of Business and Economics
- Oak Ridge National Laboratory
- Riga Technical University
- SORBONNE UNIVERSITY ABU DHABI
- Silesian University of Technology
- State University of New York University at Albany
- Technical University of Munich
- Texas A&M TVMDL
- The Franciszek Górski Institute of Plant Physiology Polish Academy of Sciences
- The University of Chicago
- The University of Manchester
- 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 Delaware
- University of Glasgow
- University of Illinois at Urbana Champaign
- University of Lund
- University of Nebraska–Lincoln
- University of Nevada Las Vegas
- University of Nevada, Reno
- University of Pennsylvania
- University of Saskatchewan
- University of South-Eastern Norway
- University of Stirling;
- University of Strathclyde
- 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
- Vrije Universiteit Amsterdam (VU)
- Warsaw University
- Warsaw University of Technology
- XIAN JIAOTONG LIVERPOOL UNIVERSITY (XJTLU)
- 90 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
-
PhD Studentship available on the RAINZ CDT programme at The University of Manchester. Project Overview Abstract: Complex software-driven systems, including autonomous robotics, are typically
-
Laboratoire de Chimie Théorique, Sorbonne Université & CNRS | Paris 15, le de France | France | 18 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
-
, Computer Engineering, or a related field. Strong background in smart contract security, blockchain systems, or software security. Experience in program analysis, formal methods, or vulnerability detection
-
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
-
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
-
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
-
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
-
Is the Job related to staff position within a Research Infrastructure? No Offer Description Are you interested in a PhD in the field of formal methods and knowledge presentation? In this PhD position