Sort by
Refine Your Search
-
Listed
-
Country
-
Program
-
Employer
- University of Oslo
- University of Luxembourg
- Aarhus University
- Chalmers University of Technology
- EPFL
- Imperial College London
- NEW YORK UNIVERSITY ABU DHABI
- Nanyang Technological University
- University of Nottingham
- University of Sheffield
- University of South-Eastern Norway
- Bournemouth University;
- Cornell University
- Duke University
- Durham University
- Imperial College London;
- KTH Royal Institute of Technology
- KU LEUVEN
- Karolinska Institutet (KI)
- National University of Singapore
- Queen's University Belfast
- Queen's University Belfast;
- Stanford University
- UNIVERSIDAD DE LAS PALMAS DE GRAN CANARIA
- Umeå University
- Universidade de Coimbra
- University of A Coruña
- University of Glasgow
- University of Manchester
- University of Maryland, Baltimore
- University of Nevada Las Vegas
- University of Twente (UT)
- Warsaw University of Technology
- Wayne State University
- Western Norway University of Applied Sciences
- bicc - Bonn International Centre for Conflict Studies gGmbH
- 26 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
-
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
-
, 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
-
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
-
, 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
-
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
-
of analysing data using both qualitative and quantitative methods are desired. Applicants are expected to understand certain qualitative and statistical software (e.g. NVivo, SPSS, Stata). Experience with data
-
). 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