Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Karolinska Institutet
- Karolinska Institutet, doctoral positions
- SciLifeLab
- University of Groningen
- ; Swansea University
- Cranfield University
- Delft University of Technology (TU Delft)
- Infra Plan consulting
- RPTU University of Kaiserslautern-Landau •
- University of Lund
- Uppsala universitet
- ;
- ; The University of Manchester
- ; UWE, Bristol
- ; University of Surrey
- Aalborg University
- BI Norwegian Business School
- CNRS
- Chalmers University of Technology
- DAAD
- EPFL
- Hannover Medical School •
- Institute of Bioorganic Chemistry Polish Academy of Sciences
- KU Leuven
- Linköping University
- Ludwig-Maximilians-Universität München •
- NTNU - Norwegian University of Science and Technology
- NTNU Norwegian University of Science and Technology
- National Research Council Canada
- Nature Careers
- R@ISE Project (University of Limerick)
- Technical University of Denmark
- Technical University of Munich
- Texas A&M University
- UNIVERSITY OF VIENNA
- University of Michigan
- University of Twente
- University of Vienna
- University of Wisconsin-Madison
- Université Grenoble Alpes
- 30 more »
- « less
-
Field
-
their employment email address for verification of reference Evidence of meeting English Language requirement (if applicable) Copy of UK resident visa (if applicable) Confirmation of EDI form submission
-
leader in graph data base technology. The supervisory team has a strong publication record in systems, distributed systems and concurrency, programming languages, and formal verification, including
-
disruptive aircraft configurations involves combining advanced engineering practices, including computing power, sensing, AI/ML, and system-level engineering. Comprehensive verification and validation
-
Compromised Digital Infrastructures Adaptive Lightweight Encryption with Formal Verification for Secure and Energy-Efficient Internet of Drones Communications Privacy-Preservation Techniques for Securing Large
-
, veterinary medicine, pharmacy, natural science, or in another subject area with a biomedical or health-relevant focus The degree must entitle the applicant to pursue PhD studies in Germany. (Verification
-
RPTU University of Kaiserslautern-Landau • | Kaiserslautern, Rheinland Pfalz | Germany | 22 minutes ago
Landau: 75 EUR (single payment for verification of foreign certificates) Recommended: German language & Orientation Course for international students: 750 EUR Costs of living Monthly cost of living: RPTU
-
and damage models to cross benefit between numerical models and hybrid models. Verification is by deliverable reports and scientific publications. This PhD is part of the ASSESS project, you can read
-
position will focus on the use of contracts for verification, i.e., aimed at guaranteeing system-level properties on the basis of component properties. The position is part of the recent large project
-
security analysis. Your work assignments Your task as a PhD student will be to conduct world-class research in cybersecurity as part of the project “Protocol security verification using dynamic key
-
application. All positions are security-sensitive. Applicants are subject to a criminal history investigation, and employment is contingent upon the institution’s verification of credentials and/or other