Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Nature Careers
- NTNU - Norwegian University of Science and Technology
- Technical University of Denmark
- Ludwig-Maximilians-Universität München •
- ;
- DAAD
- Leiden University
- Technical University of Munich
- University of Groningen
- ; The University of Manchester
- ; University of Reading
- ; University of Warwick
- Aalborg University
- Aarhus University
- Chalmers University of Technology
- Monash University
- OsloMet
- University of Luxembourg
- University of Nottingham
- ; University of Bristol
- ; University of Sussex
- Dresden University of Technology •
- Leibniz
- Max Planck Institute for Molecular Genetics •
- RMIT University
- SciLifeLab
- Swinburne University of Technology
- The Norwegian School of Sport Sciences
- UNIVERSITY COLLEGE DUBLIN (UCD)
- Umeå University
- Universitat pompeu fabra
- University of Adelaide
- University of Antwerp
- University of Basel
- University of Exeter
- University of Konstanz •
- University of Lund
- University of Münster •
- University of Regensburg •
- University of Twente
- University of Tübingen
- VIB
- Wageningen University and Research Center
- 33 more »
- « less
-
Field
-
Research theme: Formal Methods How many positions: 1 This 3.5 year PhD is funded by the Department of Computer Science at The University of Manchester. The successful candidate will receive
-
engagement or workshop facilitation Interest in multi-method or mixed-method research approaches Note: applicants who already hold a PhD degree will not be considered. Research Environment You will be based in
-
The Department of Computer Science at Aalborg University has a fully-funded PhD position available. The candidate will be working on formal verification of neural-network control policies
-
component of the PhD program. PhD students will begin the program as a cohort and undergo onboarding together. A team of two senior scientists and two doctoral students formally represents the interests
-
the Computer Science study program. The stipend is open for appointment from August 1st 2025 or soon thereafter. The PhD students will be working on topics within the general areas of formal methods, model checking and
-
Profile: We seek someone with strong mathematical maturity in control theory, dynamical systems, or applied mathematics. Familiarity with nonlinear systems analysis, graph theory, and formal methods (e.g
-
educational programs in Computer Science, is now seeking a PhD student with a focus on symbolic AI. The Department of Computing Science has been growing rapidly in recent years, with a focus on creating an
-
range. Also, FR3 band antenna arrays can be realized in energy and material-efficient manner by additive manufacturing methods, such as 3D printing. 3D printied antenna array will also be investigated as
-
The Mathematics department at the University of Luxembourg currently has openings for up to 4 PhD positions in the following areas: - Algebraic geometry, - Geometry, - Mathematical aspects of computer science
-
Engineering, Program Analysis and Formal Methods We constantly seek applications from qualified researchers regardless of their national origin or citizenship. The working language is English. A command of