Sort by
Refine Your Search
-
Listed
-
Category
-
Country
- Portugal
- United States
- Denmark
- United Kingdom
- Norway
- Netherlands
- Luxembourg
- Belgium
- Germany
- France
- Poland
- Sweden
- Canada
- Australia
- Austria
- China
- Croatia
- Spain
- United Arab Emirates
- Switzerland
- Czech
- Italy
- Finland
- Singapore
- Slovenia
- Iceland
- Ireland
- Malaysia
- Morocco
- New Zealand
- Romania
- Worldwide
- 22 more »
- « less
-
Program
-
Employer
- Nature Careers
- Technical University of Denmark
- University of Luxembourg
- Université catholique de Louvain
- University of Oslo
- Aarhus University
- Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID
- Universidade de Coimbra
- University of Aveiro
- University of Texas at Austin
- University of Sheffield
- University of Southern Denmark
- Medical Research Council
- Technical University of Munich
- Cornell University
- KINGS COLLEGE LONDON
- NOVA.id.FCT- Associação para a Inovação de Desenvolvimento da FCT
- University of Bergen
- ;
- CNRS
- Nova School of Business and Economics
- Universidade Católica Portuguesa - Porto
- University of Birmingham
- University of Trás-os-Montes and Alto Douro
- Faculty of Sciences of the University of Porto
- IBMC
- INESC ID
- Instituto Politécnico de Portalegre
- NTNU Norwegian University of Science and Technology
- UNIVERSIDADE DE ÉVORA
- University of Glasgow
- FEUP
- Instituto Politécnico de Bragança
- NTNU - Norwegian University of Science and Technology
- University of Copenhagen
- University of Nevada Las Vegas
- University of Nottingham
- California State University, San Bernardino
- Delft University of Technology (TU Delft)
- Instituto Superior Técnico
- Instituto Superior de Engenharia do Porto
- NEW YORK UNIVERSITY ABU DHABI
- University of British Columbia
- University of Kansas
- University of Kansas Medical Center
- University of Porto
- Duke University
- Durham University
- Empa
- Faculdade de Medicina da Universidade do Porto
- International Iberian Nanotechnology Laboratory (INL)
- Malopolska Centre of Biotechnology
- Northeastern University
- REQUIMTE - Rede de Quimica e Tecnologia
- Umeå University
- Universidade de Aveiro
- University of Newcastle
- University of Twente (UT)
- Utrecht University
- Warsaw University of Technology - Centre for Credible AI
- Adam Mickiewicz University, Poznań
- Aix-Marseille Université
- Argonne
- Aveiro University
- Bridgewater State University
- Bryant & Stratton College
- CIIMAR - Interdisciplinary Center of Marine and Environmental Research - Uporto
- Delft University of Technology (TU Delft); today published
- Erasmus University Rotterdam
- Instituto Superior de Agronomia
- Instituto de Engenharia Mecânica
- Leibniz
- Lunds universitet
- Nottingham Trent University
- Oak Ridge National Laboratory
- SciLifeLab
- Stanford University
- Télécom Paris
- Universidade do Minho
- University of California Berkeley
- University of California, Berkeley
- University of Minnesota
- University of Texas at El Paso
- University of Vienna
- University of Warsaw
- University of Warsaw: Faculty of Mathematics, Informatics and Mechanics
- Washington State University
- Associação Universidade-Empresa para o Desenvolvimento - TecMinho
- Canadian Association for Neuroscience
- Chalmers University of Technology
- Dana-Farber Cancer Institute
- Delft University of Technology (TU Delft); yesterday published
- Eindhoven University of Technology (TU/e)
- Eindhoven University of Technology (TU/e); yesterday published
- Faculdade de Ciências Médicas|NOVA Medical School da Universidade NOVA de Lisboa.
- Faculdade de Ciências e Tecnologia
- Heriot Watt University
- IRIT, Université de Toulouse
- Institute of Low Temperature and Structure Research Polish Academy of Sciences
- Institute of Public Health University of Porto
- 90 more »
- « less
-
Field
- Computer Science
- Economics
- Medical Sciences
- Biology
- Engineering
- Science
- Chemistry
- Mathematics
- Materials Science
- Social Sciences
- Humanities
- Psychology
- Business
- Education
- Law
- Environment
- Linguistics
- Arts and Literature
- Earth Sciences
- Electrical Engineering
- Philosophy
- Design
- Physics
- Sports and Recreation
- 14 more »
- « less
-
about tackling both deep research challenges and real-world software problems, this project is for you. Seeking a PhD student who values the strengths of formal reasoning while recognizing its current
-
JavaScript for all functions to work properly. Please turn on JavaScript in your browser and try again. UiO/Anders Lien 17th August 2025 Languages English English English PhD Research Fellow in Formal Methods
-
? No Offer Description We have two exciting PhD positions at the intersection of formal software verification and Large Language Model (LLM) safety, focusing on extending state-of-the-art logic-based
-
benefits are in accordance with the German public sector scale, TV-L E13. Your Qualification: Strong mathematical background (e.g., linear algebra, optimization, formal methods, convex geometry). Master's
-
Applications are invited for a funded PhD studentship, supervised by Prof Andrew Dove (School of Chemistry) at the University of Birmingham (group website: http://www.dovegrouplab.com ). The project
-
a balanced mix of AI with formal methods and testing techniques, we strive to make vulnerability detection more accurate, intelligent, explainable, and usable in practice. The project is cutting-edge
-
-quality educational programs in Computer Science, we are now seeking a PhD student with a focus on Neuro-Symbolic Graph Transformation. The Department of Computing Science has been growing rapidly in recent
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | 3 days ago
allowance is €1 309,64, being the payment method an option of the Fellow by Wire Transfer/Check. Eligibility criteria Admission Requirements:To be enrolled in a PhD program. Selection process Selection
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | 8 days ago
an option of the Fellow by Wire Transfer/Check. Eligibility criteria Admission Requirements:To be enrolled at a PhD. Selection process Selection methods: The selection methods will be the following
-
Job Description The Centre for Formal Methods and Future Computing (FORM) at the Department of Mathematics and Computer Science, University of Southern Denmark (SDU, Campus Odense or Vejle) invites