Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- BI Norwegian Business School
- Karolinska Institutet, doctoral positions
- Tallinn University of Technology
- Forschungszentrum Jülich
- National University of Science and Technology POLITEHNICA Bucharest
- UNINOVA - Instituto de Desenvolvimento de Novas Tecnologias
- Fraunhofer-Gesellschaft
- Instituto Politécnico de Bragança
- National Research Council Canada
- Nature Careers
- ODTÜ-GÜNAM
- RPTU University of Kaiserslautern-Landau •
- The University of Manchester
- University of A Coruña
- University of Bergen
- University of Groningen
- University of Warwick
- Aalborg University
- Binghamton University
- Colorado State University
- Cranfield University
- Delft University of Technology (TU Delft)
- Delft University of Technology (TU Delft); today published
- Delft University of Technology (TU Delft); yesterday published
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- Hannover Medical School •
- Inria, the French national research institute for the digital sciences
- Institute of Bioorganic Chemistry Polish Academy of Sciences
- Instituto Politécnico de Coimbra
- Instituto de Engenharia Mecânica
- Instituto de Telecomunicações
- Massachusetts Institute of Technology (MIT)
- NOVA.id.FCT- Associação para a Inovação de Desenvolvimento da FCT
- National Renewable Energy Laboratory NREL
- Politecnico di Torino
- Swansea University
- Texas A&M AgriLife
- UPF
- University of Amsterdam (UvA)
- University of Beira Interior
- University of Cambridge
- University of Cambridge;
- University of Groningen; 26 Sep ’25 published
- University of Groningen; Published yesterday
- University of Porto
- University of Southern Denmark
- University of Surrey
- Uppsala universitet
- Warsaw University of Technology - Centre for Credible AI
- 39 more »
- « less
-
Field
-
, program verification and software engineering. Beyond technical collaborations, the group meets regularly and provides an engaging and supportive environment. Project description The available PhD positions
-
Computer Science, Mathematics, or related areas. • Strong background in at least one of the following: formal methods, SMT solving, abstract interpretation, or model checking. • Experience with verification tools
-
At the Technical Faculty of IT and Design, Departmentof Computer Science, one PhD stipend intheories for programming semantics, methods for verification and reliability assurance of combined
-
. Research areas: Computer science, Simulation-based automated synthesis and verification of human physiology models, Artificial intelligence, Machine learning Secondments: The candidate is expected to spend
-
will also design and develop new software and prototype models. Research areas: Computer science, Simulation-based automated synthesis and verification of human physiology models, Artificial intelligence
-
-year program is designed for talented students who wish to pursue an international career within academia and who can contribute to the international arena with their research and publications
-
Science and the International Journal of Research in Marketing. We are a large department covering the three core areas of marketing, consumer behavior, marketing strategy and marketing modelling
-
meshing, solver technology, and verification practices. The project is designed to reduce this barrier by creating a practical approach that blends existing industrial strengths in low-order mesh generation
-
international and national organizations, and the industry. The specialization is a unique blend of modern data science and research in business decisions and analytics. The four-year program offers rigorous
-
national organizations, and the industry. The specialization is a unique blend of modern data science and research in business decisions and analytics. The four-year program offers rigorous training