Sort by
Refine Your Search
-
Listed
-
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
- Chalmers University of Technology
- University of British Columbia
- University of Glasgow
- University of Porto
- Aalborg University
- Carnegie Mellon University
- EPFL
- Imperial College London
- Instituto Superior de Engenharia do Porto
- KU LEUVEN
- NEW YORK UNIVERSITY ABU DHABI
- 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
- 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)
- 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
- 75 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
-
, platform audits, computational analyses, online or field experiments, or formal models, as appropriate to the question; Build reproducible data-collection and analysis pipelines and document methods, code
-
Engineering or a related discipline. Hands-on experience with laboratory infrastructure, instrumentation, and experimental methods is required. Experience with measurement systems, sensor integration