Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Binghamton University
- Delft University of Technology (TU Delft)
- NTNU - Norwegian University of Science and Technology
- NTNU Norwegian University of Science and Technology
- National Renewable Energy Laboratory NREL
- Newcastle University
- Cranfield University
- Fondazione Bruno Kessler
- Mid Sweden University
- National Research Council Canada
- Oak Ridge National Laboratory
- SciLifeLab
- Texas A&M AgriLife
- The University of Manchester
- Universidade de Vigo
- University of Bergen
- University of California
- University of Washington
- Uppsala universitet
- cellumation GmbH
- 10 more »
- « less
-
Field
-
PhD Studentship available on the RAINZ CDT programme at The University of Manchester. Project Overview Abstract: Complex software-driven systems, including autonomous robotics, are typically
-
within a Research Infrastructure? No Offer Description Techniques based on formal methods for the verification and validation of embedded and safety-critical systems are becoming increasingly important
-
Software defines a critical part of our society’s digitalization. Within the Software Engineering and Education (SEE) research group, we expand the research front on processes, methods, and tools
-
measurements based on embedded systems. Assembly and verification of optical communication systems. Planning and management of LMR experimental activity (internal/external assignments). Where to apply Website
-
‑UAS capabilities. Plan, commission, and operate RF infrastructure including spectrum analysis systems, software‑defined radios, direction‑finding arrays, and related measurement equipment. Collaborate
-
insights and software artifacts advancing the state of the art in quantum program verification. Duties The doctoral student will primarily devote their time to doctoral education. Other departmental duties
-
on software for safety-critical functions like life support, monitoring, and decision-making. They must comply with strict regulations (e.g., IEC 62304, ISO14971) that require trial-based safety assessments
-
PhD studentship in Computer Science: From Formal Requirements to Specification-based Automated Testing for Safety-Critical Medical Device Software Certification Award Summary 100% fees covered, and
-
English language requirements for doctoral education. Verification of your documents Karolinska Institutet checks the authenticity of your documents. Karolinska Institutet reserves the right to revoke admission
-
processor tuneup and calibration. Knowledge of quantum compilation software and pulse-level control. Knowledge of contemporary approaches to quantum error correction, quantum resource estimation, noise