Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Employer
- Oak Ridge National Laboratory
- University of New South Wales
- Carnegie Mellon University
- Texas A&M University
- University of Texas at Austin
- University of Washington
- George Washington University
- The University of Queensland
- University of Sheffield
- University of Luxembourg
- Aalborg University
- EPFL
- Georgia College
- Graz University of Technology
- Nanyang Technological University
- National Research Council Canada
- National University of Science and Technology POLITEHNICA Bucharest
- University of Cincinnati
- University of Saskatchewan
- Brookhaven National Laboratory
- Chalmers University of Technology
- European Space Agency
- Harvard University
- Kennesaw State University
- Saarland University
- THE UNIVERSITY OF WESTERN AUSTRALIA - INDIA
- Technical University of Munich
- 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
- AALTO UNIVERSITY
- Aalborg Universitet
- Bellevue College
- Blekinge Institute of Technology
- CEA
- CNRS
- Constructor Knowledge Labs gGmbH
- Delft University of Technology (TU Delft)
- European Synchrotron Radiation Facility
- Fondazione Bruno Kessler
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- Ghent University
- Imperial College London
- Imperial College London;
- Indiana University
- Johannes Kepler University
- Johns Hopkins University
- KTH Royal Institute of Technology
- Karolinska Institutet, doctoral positions
- King's College London
- 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
- Northeastern University
- Politecnico di Milano
- Politehnica University of Timisoara
- SINGAPORE MANAGEMENT UNIVERSITY
- Sandia National Laboratories
- Technische Universität Chemnitz
- Texas A&M AgriLife
- Texas A&M TVMDL
- 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 California
- University of Central Missouri
- University of Delaware
- University of Liverpool
- University of Lund
- University of Maryland, Baltimore
- University of Newcastle
- University of Oslo
- University of Sheffield;
- University of Sydney
- University of Western Macedonia - Research Committee
- VIB
- Villanova University
- WROCŁAW UNIVERSITY OF ENVIRONMENTAL AND LIFE SCIENCES
- Warsaw University of Technology
- 81 more »
- « less
-
Field
-
or automated theorem proving, network verification, routing protocols, packet scheduling, or applications of AI/ML to systems and security Strong computational and analytical skills, including solid software
-
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
-
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
-
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
-
intelligence can support the development and use of computer algebra systems, including mathematical programming, software verification and testing, documentation, and new ways for researchers to interact with
-
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
-
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
-
Researcher (R1) Positions PhD Positions Application Deadline 30 Sep 2026 - 23:59 (Europe/Berlin) Country Germany Type of Contract Temporary Job Status Full-time Hours Per Week 40 Offer Starting Date 1 Mar 2027