Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Employer
- Nature Careers
- University of Oslo
- University of Aveiro
- University of Southern Denmark
- Technical University of Denmark
- Aalborg University
- University of Glasgow
- KINGS COLLEGE LONDON
- NTNU Norwegian University of Science and Technology
- University of Luxembourg
- Université catholique de Louvain
- ;
- Aveiro University
- Cornell University
- Delft University of Technology (TU Delft)
- Duke University
- Faculdade de Medicina da Universidade do Porto
- NEW YORK UNIVERSITY ABU DHABI
- NTNU - Norwegian University of Science and Technology
- Nova School of Business and Economics
- Oak Ridge National Laboratory
- Stanford University
- Technical University of Munich
- Universidade de Aveiro
- University of Bergen
- University of Minnesota
- University of Sheffield
- University of Texas at Austin
- Adam Mickiewicz University, Poznań
- CIIMAR - Interdisciplinary Center of Marine and Environmental Research - Uporto
- Eindhoven University of Technology (TU/e); yesterday published
- IRIT, Université de Toulouse
- Institute of Public Health University of Porto
- KU LEUVEN
- Medical Research Council
- North Carolina State University
- Northeastern University
- Peace Research Institute, Oslo (PRIO)
- Politécnico de Leiria
- UiT The Arctic University of Norway
- Umeå University
- Umeå universitet
- University of Antwerp
- University of Warsaw
- VIB
- XIAN JIAOTONG LIVERPOOL UNIVERSITY (XJTLU)
- Aalborg Universitet
- Aix-Marseille Université
- Argonne
- Associação Universidade-Empresa para o Desenvolvimento - TecMinho
- CNR
- Canadian Association for Neuroscience
- Carnegie Mellon University
- Computer Vision Center (CVC)
- Cranfield University
- Delft University of Technology (TU Delft); today published
- Delft University of Technology (TU Delft); yesterday published
- Durham University
- Eindhoven University of Technology (TU/e)
- Erasmus University Rotterdam
- Faculdade de Ciências e Tecnologia
- Faculty of Sciences of the University of Porto
- Faculty of forestry and wood technology
- Grenoble INP - LCIS
- Gulbenkian Institute for Molecular Medicine
- IBMC
- IMT Mines Albi
- Imperial College London
- Imperial College London;
- Institute of Systems and Robotics-Faculty of Sciences and Technology of the University of Coimbra
- Instituto Português de Oncologia do Porto Francisco Gentil (IPO Porto)
- Instituto Superior de Agronomia
- Instituto de Ciência e Inovação em Engenharia Mecânica e Engenharia Industrial
- Instituto de Engenharia Mecânica
- Jagiellonian University
- King's College London
- Linköping University
- Linköpings universitet
- Loyola University
- Loyola University Chicago
- Luxembourg Institute of Science and Technology
- Max Planck Institute for Physics, Garching
- State University of New York University at Albany
- Texas A&M TVMDL
- The CoReACTER (@ University College Dublin)
- The Open Universiteit (OU)
- The Open Universiteit (OU); today published
- The University of Manchester
- Télécom Paris
- UNIVERSITY OF SYDNEY
- Universidad de Alicante
- Universidade Católica Portuguesa
- Universidade Católica Portuguesa - CATÓLICA-LISBON
- Universidade Católica Portuguesa - Porto
- Universidade de Coimbra
- Universitat Autonoma de Barcelona
- University of Amsterdam (UvA); Published today
- University of British Columbia
- University of Colorado
- University of Iceland
- 90 more »
- « less
-
Field
- Computer Science
- Economics
- Medical Sciences
- Engineering
- Biology
- Mathematics
- Science
- Chemistry
- Education
- Materials Science
- Business
- Electrical Engineering
- Law
- Social Sciences
- Environment
- Humanities
- Linguistics
- Physics
- Psychology
- Arts and Literature
- Earth Sciences
- Sports and Recreation
- 12 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
-
? 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
-
The Centre for Formal Methods and Future Computing (FORM) and the Danish Institute for Advanced Study (DIAS) at the University of Southern Denmark (SDU, Campus Odense and Vejle) seek
-
9 Dec 2025 Job Information Organisation/Company Instituto de Engenharia Mecânica Research Field Engineering » Mechanical engineering Researcher Profile First Stage Researcher (R1) Positions PhD
-
(Level B) PhD in computer science or a related discipline with focus on formal methods. Experience with interactive theorem proving using Isabelle/HOL, HOL4, Coq or similar, or experience with proving
-
Candidates must hold a PhD in Mathematical Engineering or Applied Mathematics (or equivalent) Candidates should have a solid background in numerical methods for differential equations, simulation of stochastic
-
development and agentic systems, automated software engineering, software security and trustworthy systems, quality assurance and testing, software architecture, formal methods, and research addressing any
-
memorization in LLMs Analysis of vulnerabilities in low-resource language settings, and the effect of typological diversity on the security landscape in multilingual settings Formal semantic or symbolic methods
-
molecular systems or solids, (2) knowledge of numerical aspects of Green’s function methods, (3) familiarity with numerical techniques, and (4) experience in method development within large software packages
-
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 applications