Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Employer
- University of Oslo
- University of Luxembourg
- University of Texas at Austin
- Aarhus University
- Nanyang Technological University
- University of Nottingham
- University of Sheffield
- Aalborg University
- Chalmers University of Technology
- Delft University of Technology (TU Delft)
- University of British Columbia
- University of Glasgow
- University of Porto
- Aarhus University (AU)
- Carnegie Mellon University
- EPFL
- Imperial College London
- Instituto Superior de Engenharia do Porto
- KU LEUVEN
- NEW YORK UNIVERSITY ABU DHABI
- The University of Chicago
- University of Amsterdam (UvA)
- University of Colorado
- University of Manchester
- University of Maryland, Baltimore
- University of South-Eastern Norway
- University of Southern Denmark (SDU)
- University of Vermont
- Aalborg Universitet
- Baylor University
- Birkbeck University of London
- Birkbeck, University of London;
- Bournemouth University;
- CEA
- Constructor Knowledge Labs gGmbH
- Cornell University
- Duke University
- Durham University
- FEUP
- Fondazione Bruno Kessler
- Graz University of Technology
- Imperial College London;
- Inria
- Institut d'Investigacio Biomedica de Bellvitge (IDIBELL)
- 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
- Northeastern University
- SINGAPORE MANAGEMENT UNIVERSITY
- St Jude Children's Research Hospital
- Stanford University
- Technical University of Munich
- Technical University of Munich (TUM)
- Texas A&M TVMDL
- Timaeus Research
- UNIVERSIDAD DE LAS PALMAS DE GRAN CANARIA
- Umeå University
- Universidade de Aveiro
- Universidade de Coimbra
- University of A Coruña
- University of Aveiro
- University of Bristol
- University of Lund
- University of Michigan
- University of Nevada Las Vegas
- University of North Carolina at Chapel Hill
- University of Saskatchewan
- University of Texas at El Paso
- University of Toronto
- University of Twente (UT)
- University of Warwick
- 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)
- bicc - Bonn International Centre for Conflict Studies gGmbH
- 76 more »
- « less
-
Field
-
candidates working in formal methods and/or computer systems with interests in one or more of the following areas: machine-checked verification of systems software, GPU kernel semantics and verification, and
-
, formal methods, and/or networking, with interests in one or more of the following areas: NetKAT and its extensions, symbolic automata, routing algebras, packet scheduling, and AI-based cybersecurity. Main
-
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
-
Constructor Technology, invites applications for a PhD position in machine learning for software engineering and formal methods, on the Constructor Fabric project. Constructor Fabric turns a company's informal
-
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
-
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
-
techniques that ensure trustworthiness and to develop methods and tools to analyse and quantify the various performance parameters of the software on this platform such as degree of privacy, reliability and
-
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
-
. 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
-
within the School of Natural Sciences. You will provide inductions, training, supervision and assistance in techniques, use of equipment and relevant software to researchers and students. You will be