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
-
conducting high-quality research presented at international venues, and has broad scientific expertise including empirical software engineering, model- based software engineering, and formal methods
-
of a PhD · Expert knowledge of statistical modelling, statistical inference and use of relevant software (e.g. R/Python) both for data processing, visualisation and programming. · Excellent communication
-
Networks, and ICT Services & Applications. We offer a fully funded PhD student position within the TruX Research Group headed by Prof. Dr. Tegawendé F. Bissyandé. The focus of this position is in
-
experience in AI safety. Demonstrated experience and know-how on AI agents. Excellent working knowledge of AI safety analysis. Technical skills in formal methods Ability to break down complex problems and
-
position within a Research Infrastructure? No Offer Description A call is open for the allocation of 1 Research Grant for a PhD student under the R&D the research activities will be carried out within
-
methods), system security (hardware, software, platforms) across a wide range of systems, network and wireless security, AI security, human factors in security, and privacy. Successful candidates will have
-
development of practical software platforms and demonstrators in collaboration with industrial and public-sector partners. More generally, the PhD thesis is part of a large initiative at Serval and SnT, which
-
, see the CertiFOX project page: https://www.bartbogaerts.eu/projects/CertiFOX/ Another long-standing objective is to develop methods by which we can explain the reasoning that leads to a certain
-
communities locally and nationally. The postholder will support the design and conduct of economic evaluations alongside rapid and responsive evaluations, using methods such as cost-effectiveness analysis, cost
-
Do you want to use functional programming to find new ways to develop, test and formally verify software or hardware? Chalmers, with its world leading groups in functional programming and formal