Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Employer
- Oak Ridge National Laboratory
- University of New South Wales
- Carnegie Mellon University
- University of Texas at Austin
- Texas A&M University
- The University of Queensland
- University of Washington
- George Washington University
- University of Sheffield
- Nanyang Technological University
- University of Luxembourg
- University of Saskatchewan
- Aalborg University
- Chalmers University of Technology
- Georgia College
- Graz University of Technology
- National University of Science and Technology POLITEHNICA Bucharest
- University of Cincinnati
- Blekinge Institute of Technology
- Brookhaven National Laboratory
- EPFL
- European Space Agency
- Harvard University
- Kennesaw State University
- Saarland University
- THE UNIVERSITY OF WESTERN AUSTRALIA - INDIA
- Technical University of Munich
- Texas A&M TVMDL
- UNIVERSIDAD POLITECNICA DE MADRID
- University of British Columbia
- University of New Mexico
- University of Oxford
- Washington State University
- Wroclaw University of Science and Technology
- Wrocław University of Science and Technology
- 3IA Côte d'Azur
- Aalborg Universitet
- Bellevue College
- CEA
- CNRS
- Delft University of Technology (TU Delft)
- European Synchrotron Radiation Facility
- Fondazione Bruno Kessler
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- Ghent University
- Hong Kong Polytechnic University
- Imperial College London
- Imperial College London;
- Johannes Kepler University
- Johns Hopkins University
- KTH Royal Institute of Technology
- Karolinska Institutet, doctoral positions
- King's College London
- Lodz University of Technology
- Lulea University of Technology
- Macquarie University
- Massachusetts Institute of Technology
- NIST
- NTNU - Norwegian University of Science and Technology
- NTNU Norwegian University of Science and Technology
- National Research Council Canada
- National University of Singapore
- Politecnico di Milano
- Politehnica University of Timisoara
- SINGAPORE MANAGEMENT UNIVERSITY
- Sandia National Laboratories
- South Dakota State University
- Texas A&M University System
- Texas A&m Engineering
- Timaeus Research
- Universitat de les Illes Balears
- University of Arkansas
- University of Bath
- University of Bergen
- University of Bristol
- University of Central Missouri
- University of Delaware
- University of Liverpool
- University of Maryland, Baltimore
- University of Newcastle
- University of Oslo
- University of Sheffield;
- VIB
- Villanova University
- WROCŁAW UNIVERSITY OF ENVIRONMENTAL AND LIFE SCIENCES
- Warsaw University of Technology
- 76 more »
- « less
-
Field
-
technical leadership of the project; and (f) perform any other duties as assigned by the project leader, the Head of Unit or their delegates. Qualifications Applicants should have: (a) a PhD degree in
-
verification of their impact. The project will establish a bridge between physical fault injection experiments and formal security verification, enabling rigorous evaluation of hardware/software countermeasures
-
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 research, in and outside academia. The Software Engineering group conducts research in a wide range of topics related to design, development, verification, and operation of complex software systems
-
8th October 2026 Languages English English English The Department of Computer Science has a vacancy for a PhD Candidate in AI-Assisted Software and Systems Engineering Apply for this job See
-
than 18,500 people, including over 14,000 students and 4,000 researchers from more than 120 different countries. Post-doc on formal verification and algorithm discovery for numerical analysis About us and our
-
completed within the past five years, or close to completing, a PhD in aerospace engineering, computer science, artificial intelligence, systems engineering, software engineering or a related field, with a
-
Ling Yap Dr Md Mijanur Rahman Key skills and experience required: A PhD in Biostatistics, Epidemiology, Data Science, or related discipline and/or relevant work experience Have contributed to competitive
-
collaborate with the Principal Investigator and research team. Job Requirements: PhD in Computer Science, Software Engineering, Artificial Intelligence or a closely related discipline. Strong research
-
verification of safety and security properties for advanced hardware architectures. Create and adapt any necessary software to do the above. Engage the industry partners (e.g., at ARM) to aid the deployment