Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Employer
- University of Oslo
- University of Luxembourg
- Chalmers University of Technology
- Instituto Superior de Engenharia do Porto
- KU LEUVEN
- NEW YORK UNIVERSITY ABU DHABI
- The University of Chicago
- Umeå University
- University of Colorado
- University of Glasgow
- University of Manchester
- University of Nevada Las Vegas
- University of Porto
- University of Southern Denmark (SDU)
- Western Norway University of Applied Sciences
- Aalborg Universitet
- Aarhus University
- Baylor University
- Cornell University
- Delft University of Technology (TU Delft)
- Durham University
- FEUP
- Fondazione Bruno Kessler
- Graz University of Technology
- Imperial College London
- Imperial College London;
- Inria
- Institut d'Investigacio Biomedica de Bellvitge (IDIBELL)
- Instituto Português do Mar e da Atmosfera, I.P.
- Jagiellonian University
- Johannes Kepler University
- KTH Royal Institute of Technology
- Luxembourg Institute of Science and Technology
- Luxembourg Institute of Science and Technology (LIST)
- NTNU - Norwegian University of Science and Technology
- NTNU Norwegian University of Science and Technology
- New York University
- Research Center Borstel - Leibniz Lung Center
- SINGAPORE MANAGEMENT UNIVERSITY
- Stanford University
- Technical University of Munich
- Universidade de Aveiro
- Universidade de Coimbra
- University of A Coruña
- University of Aveiro
- University of Bristol
- University of North Carolina at Chapel Hill
- University of Nottingham
- University of Sheffield
- University of South-Eastern Norway
- University of Texas at Austin
- University of Twente (UT)
- University of Vienna
- University of Warwick
- Università degli Studi di Firenze
- Utrecht University
- Warsaw University of Technology
- Washington State University
- XIAN JIAOTONG LIVERPOOL UNIVERSITY (XJTLU)
- 49 more »
- « less
-
Field
-
systems. The prospective PhD candidate will work in close cooperation with staff, current PhD candidates and master students in the software engineering research group (https://www.hvl.no/en/research/group
-
to their work. About You We encourage applications from individuals with a wide range of backgrounds and experiences. You should demonstrate: Essential Criteria: PhD (or near completion) in engineering, maths
-
). Design and fabrication of the calibration test phantoms Developing and testing acquisition software, and implementing image analysis algorithms and localization methods. Where to apply E-mail
-
of the software and its configurations. This project will investigate novel techniques for the application of formal methods to the design, verification, and validation of embedded systems, with particular emphasis
-
mixed-methods analysis plans to effectively blend qualitative and quantitative data using established mixed-method approaches · Design and implement multiple method analysis plans when formal
-
and automata, and the interaction between formal methods and artificial intelligence. We welcome candidates interested in topics ranging from foundational theory to the development and evaluation
-
University of North Carolina at Chapel Hill | Chapel Hill, North Carolina | United States | about 13 hours ago
and build novel data resources and statistical methods to enhance and improve clinical data science, and (3) create curricula and training resources for a clinical data science education program at UNC
-
The purpose of the project is to build a secure by design AI inference stack using the latest advancements in AI, security, and formal methods. Modern AI inference systems combine complex software
-
of the project is to build a secure by design AI inference stack using the latest advancements in AI, security, and formal methods. Modern AI inference systems combine complex software components, including model
-
database and necropsy portal, including oversight of the BeachTrack data infrastructure; lead and document updates and new features, working with the University of Glasgow Software Services (GUSS