Sort by
Refine Your Search
-
Listed
-
Category
-
Country
- Portugal
- United States
- Denmark
- Norway
- United Kingdom
- Poland
- France
- Belgium
- Germany
- Luxembourg
- Sweden
- Netherlands
- Australia
- Canada
- Switzerland
- Croatia
- Worldwide
- Austria
- Singapore
- Spain
- Italy
- China
- Czech
- Latvia
- Finland
- Greece
- New Zealand
- United Arab Emirates
- Andorra
- Armenia
- Cyprus
- Estonia
- Hong Kong
- India
- Ireland
- Lithuania
- Slovenia
- 27 more »
- « less
-
Program
-
Employer
- Nature Careers
- University of Oslo
- Technical University of Denmark
- Aarhus University
- Cornell University
- Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID
- University of Luxembourg
- Faculty of Sciences of the University of Porto
- Universidade do Minho
- NOVA.id.FCT- Associação para a Inovação de Desenvolvimento da FCT
- Ghent University
- University of Minho
- University of Texas at Austin
- CNRS
- NTNU - Norwegian University of Science and Technology
- Nord University
- University of Warsaw: Faculty of Mathematics, Informatics and Mechanics
- Universidade Católica Portuguesa - Porto
- University of Sheffield
- Linköping University
- Technical University of Munich
- University of Aveiro
- CIIMAR - Interdisciplinary Center of Marine and Environmental Research - Uporto
- Universidade de Coimbra
- University of Bergen
- University of Glasgow
- University of Nevada Las Vegas
- University of Porto
- University of Southern Denmark
- ;
- Eastern Washington University
- FEUP
- REQUIMTE - Rede de Quimica e Tecnologia
- University of Birmingham
- University of Texas at El Paso
- Adam Mickiewicz University, Poznań
- Broward College
- NTNU Norwegian University of Science and Technology
- University of Kansas Medical Center
- University of Nottingham
- University of Warsaw
- Utrecht University
- AGH University of Krakow
- California State University, San Bernardino
- Empa
- Erasmus University Rotterdam
- Institute of Low Temperature and Structure Research Polish Academy of Sciences
- Institute of agriculture and tourism
- Instituto Politécnico de Bragança
- UNIVERSIDADE DE ÉVORA
- Umeå University
- University of Amsterdam (UvA)
- University of British Columbia
- University of Warwick
- Aalborg University
- Aix-Marseille Université
- Cardiff University
- ETH Zurich
- Harvard University
- INESC ID
- KU LEUVEN
- LNEC, I.P.
- Leibniz
- Luxembourg Institute of Science and Technology
- Medical Research Council
- Military University of Technology - Wojskowa Akademia Techniczna
- National University of Singapore
- Newcastle University
- Northeastern University
- Nova School of Business and Economics
- Riga Technical University
- UNIVERSITY OF VIENNA
- Universidade do Porto – HR
- University of California, San Diego
- University of Copenhagen
- University of Minnesota
- University of Trás-os-Montes and Alto Douro
- AALTO UNIVERSITY
- Argonne
- Duke University
- Faculdade de Ciências Sociais e Humanas
- Faculdade de Medicina da Universidade do Porto
- Gulbenkian Institute for Molecular Medicine
- Heriot Watt University
- ISCTE - Instituto Universitário de Lisboa
- Institute of Biochemistry and Biophysics Polish Academy of Sciences
- Institute of Public Health University of Porto
- Institute of Security Technologies MORATEX
- Instituto Nacional de Saúde Dr. Ricardo Jorge
- Instituto Superior de Engenharia do Porto
- Instituto de Engenharia Mecânica
- Jagiellonian University
- King's College London
- King's College London;
- Lodz University of Technology
- Lunds universitet
- McGill University
- Midlands Graduate School Doctoral Training Partnership
- NEW YORK UNIVERSITY ABU DHABI
- Nanyang Technological University
- 90 more »
- « less
-
Field
- Computer Science
- Economics
- Medical Sciences
- Biology
- Engineering
- Science
- Mathematics
- Law
- Social Sciences
- Chemistry
- Materials Science
- Education
- Arts and Literature
- Environment
- Business
- Linguistics
- Electrical Engineering
- Humanities
- Sports and Recreation
- Earth Sciences
- Psychology
- Philosophy
- Physics
- 13 more »
- « less
-
functions to work properly. Please turn on JavaScript in your browser and try again. UiO/Anders Lien 1st March 2026 Languages English English English PhD Research Fellow in Formal Methods for Industrial
-
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
-
Laboratoire de Chimie Théorique, Sorbonne Université & CNRS | Paris 15, le de France | France | 9 days ago
may involve several complementary aspects: • Theoretical and formal developments to derive new electronic structure methods from QED; • More applied methodological developments, including the treatment
-
) • Experience with AI/ML methods or power system modelling The award of the PHAETHON PhD Studentship is strictly conditional upon the candidate’s formal admission to a PhD programme at the University of Cyprus
-
PhD Scholarship This PhD explores how cultural factors shape coaching practices and sporting experiences for participants. It examines ways to strengthen cultural capability across the sports sector
-
., Hugging Face, LangChain). Solid understanding of symbolic logic or formal methods. Preferred Qualifications Currently pursuing a degree (Master's or PhD preferred) in Computer Science, AI, or a related
-
both. As formal qualification you must hold a PhD degree (or equivalent). Application procedure Your complete online application must be submitted no later than 27 April 2026 (23:59 Danish time).
-
, 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
-
Program Postdoctoral Associate Call for Applications: Milstein Program Postdoctoral Associate Open to Cornell PhD Candidates and Recent Cornell PhDs We seek scholars with a PhD in any discipline with a
-
formal methods. The successful candidate will contribute to advancing data-driven modeling techniques that enable formal safety guarantees for complex dynamical systems such as autonomous vehicles