Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Employer
- University of Oslo
- University of Luxembourg
- Aarhus University
- University of Texas at Austin
- University of British Columbia
- Chalmers University of Technology
- Nanyang Technological University
- University of Glasgow
- University of Nottingham
- Aalborg University
- Delft University of Technology (TU Delft)
- University of Sheffield
- Aarhus University (AU)
- Carnegie Mellon University
- Imperial College London
- Instituto Superior de Engenharia do Porto
- KU LEUVEN
- NEW YORK UNIVERSITY ABU DHABI
- The University of Chicago
- Umeå University
- Universidade de Coimbra
- University of Amsterdam (UvA)
- University of Colorado
- University of Maryland, Baltimore
- University of Nevada Las Vegas
- University of Porto
- University of Saskatchewan
- University of South-Eastern Norway
- University of Southern Denmark (SDU)
- University of Texas at El Paso
- University of Toronto
- Aalborg Universitet
- Baylor University
- Birkbeck, University of London;
- Bournemouth University;
- CEA
- Cornell University
- Duke University
- Durham University
- EPFL
- Erasmus University Rotterdam
- FEUP
- Fondazione Bruno Kessler
- Graz University of Technology
- Hong Kong Polytechnic University
- 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
- Karolinska Institutet (KI)
- 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
- National University of Singapore
- New York University
- Research Center Borstel - Leibniz Lung Center
- SINGAPORE MANAGEMENT UNIVERSITY
- St Jude Children's Research Hospital
- Stanford University
- Technical University of Munich
- Texas A&M TVMDL
- Timaeus Research
- Universidade de Aveiro
- University of A Coruña
- University of Aveiro
- University of Bristol
- University of Manchester
- University of Michigan
- University of North Carolina at Chapel Hill
- University of Twente (UT)
- University of Vienna
- University of Warwick
- University of Washington
- Università degli Studi di Firenze
- Utrecht University
- Warsaw University of Technology
- Washington State University
- Wayne State University
- Western Norway University of Applied Sciences
- XIAN JIAOTONG LIVERPOOL UNIVERSITY (XJTLU)
- 74 more »
- « less
-
Field
-
validated. In parallel, CEA-List has developed µArchiFI [3-4], a formal framework enabling pre-silicon analysis of fault injection effects at RTL level, from hardware implementation details up to software
-
verification and/or formal methods; (c) excellent programming skills in Python and experience with modern AI frameworks (e.g., PyTorch), LLM ecosystems and agent development frameworks; and (d) strong
-
collaborative environment, contributing to both the theoretical development and the software implementation of these methods. More specifically: Lead and contribute to research projects in the broad areas
-
completing a PhD will also be considered. Essential Application Strong research expertise in at least one of the following areas: interactive theorem proving / formal verification; information-flow security
-
. Two PhD studentships are available to address one or more of the following scientific challenges: 1. Mechanical Integration Structural and functional integration requires the development of novel
-
will provide inductions, training, supervision and assistance in techniques, use of equipment and relevant software to researchers and students. You will be experienced at working both independently and
-
). 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
-
control platforms, advanced microcontrollers, distributed control algorithms, and artificial intelligence techniques, including neural networks and evolutionary optimisation methods, to enable the efficient
-
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
-
, analytical chemistry or similar a PhD degree is considered a plus a solid understanding of protein chemistry, analytical chemistry, MS-omics techniques and bioinformatics a strong background in mass