Sort by
Refine Your Search
-
Category
-
Country
-
Program
-
Employer
- University of Oslo
- University of Luxembourg
- Aarhus University
- University of Texas at Austin
- Nanyang Technological University
- University of Nottingham
- University of Sheffield
- Aalborg University
- Chalmers University of Technology
- University of British Columbia
- University of Glasgow
- University of Porto
- Carnegie Mellon University
- EPFL
- Imperial College London
- Instituto Superior de Engenharia do Porto
- KU LEUVEN
- University of Colorado
- University of Manchester
- University of South-Eastern Norway
- University of Vermont
- Aalborg Universitet
- Aarhus University (AU)
- Baylor University
- Birkbeck University of London
- Birkbeck, University of London;
- Bournemouth University;
- CEA
- Constructor Knowledge Labs gGmbH
- Cornell University
- Delft University of Technology (TU Delft)
- Duke University
- Durham University
- FEUP
- Fondazione Bruno Kessler
- Graz University of Technology
- Imperial College London;
- Inria
- Institut d'Investigacio Biomedica de Bellvitge (IDIBELL)
- Instituto de Sistemas e Robótica (ISR)
- 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)
- NEW YORK UNIVERSITY ABU DHABI
- NTNU - Norwegian University of Science and Technology
- NTNU Norwegian University of Science and Technology
- National University of Singapore
- New York University
- Northeastern University
- Queen's University Belfast
- SINGAPORE MANAGEMENT UNIVERSITY
- St Jude Children's Research Hospital
- Stanford University
- Technical University of Munich
- Technical University of Munich (TUM)
- Texas A&M TVMDL
- The University of Chicago
- Timaeus Research
- UNIVERSIDAD DE LAS PALMAS DE GRAN CANARIA
- Umeå University
- Universidade de Aveiro
- Universidade de Coimbra
- University of A Coruña
- University of Amsterdam (UvA)
- University of Aveiro
- University of Bristol
- University of Lund
- University of Maryland, Baltimore
- 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
- 77 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
-
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
-
, 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
-
analysis and resilience assessment, and support the implementation of these methods in research software and experimental platforms, including QUB’s cyber-physical microgrid testbed. The role offers
-
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
-
and Robotics of the University of Coimbra (ISR-UC) opens a call for applications for one (1) Research Grant (BI) for a PhD student within the scope of the RUGGED project, with the reference 2023.16314
-
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