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 British Columbia
- University of Nottingham
- Aalborg University
- Chalmers University of Technology
- Delft University of Technology (TU Delft)
- University of Glasgow
- University of Sheffield
- Aarhus University (AU)
- Carnegie Mellon University
- Imperial College London
- Instituto Superior de Engenharia do Porto
- KU LEUVEN
- NEW YORK UNIVERSITY ABU DHABI
- The University of Chicago
- Umeå University
- University of Amsterdam (UvA)
- University of Colorado
- University of Manchester
- University of Maryland, Baltimore
- University of Nevada Las Vegas
- University of Porto
- University of Saskatchewan
- University of South-Eastern Norway
- University of Southern Denmark (SDU)
- University of Texas at El Paso
- University of Toronto
- Western Norway University of Applied Sciences
- Aalborg Universitet
- Baylor University
- Birkbeck University of London
- Birkbeck, University of London;
- Bournemouth University;
- CEA
- Cornell University
- Duke University
- Durham University
- EPFL
- Erasmus University Rotterdam
- FEUP
- Fondazione Bruno Kessler
- Graz University of Technology
- Hong Kong Polytechnic University
- Imperial College London;
- Inria
- Institut d'Investigacio Biomedica de Bellvitge (IDIBELL)
- Instituto Português do Mar e da Atmosfera, I.P.
- 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
- NTNU Norwegian University of Science and Technology
- National University of Singapore
- New York University
- Research Center Borstel - Leibniz Lung Center
- SINGAPORE MANAGEMENT UNIVERSITY
- St Jude Children's Research Hospital
- Stanford University
- Technical University of Munich
- Texas A&M TVMDL
- Timaeus Research
- Universidade de Aveiro
- Universidade de Coimbra
- University of A Coruña
- University of Aveiro
- University of Bristol
- University of Michigan
- University of North Carolina at Chapel Hill
- University of Twente (UT)
- University of Vienna
- University of Warwick
- Università degli Studi di Firenze
- Utrecht University
- Warsaw University of Technology
- Washington State University
- Wayne State University
- XIAN JIAOTONG LIVERPOOL UNIVERSITY (XJTLU)
- 74 more »
- « less
-
Field
-
PhD Positions Application Deadline 15 Oct 2026 - 23:59 (Europe/Lisbon) Country Portugal Type of Contract Permanent Job Status Full-time Offer Starting Date 2 Sep 2026 Is the job funded through the EU
-
declarative problem description and automatically compute an optimal solution to it. Often, users specify their problem in a high-level, human-understandable formal language. This specification is first
-
14 Aug 2026 Job Information Organisation/Company Universidade de Coimbra Department SGRH - DRGC Research Field Other Researcher Profile First Stage Researcher (R1) Positions PhD Positions
-
in generating answers in the form of answer maps. You will explore these challenges together with the Principal Investigator as well as a postdoctoral researcher and two PhD candidates. We are looking
-
following: A strong background in cybersecurity, security risk management, formal methods/verification, game-theoretic security analysis, and artificial intelligence methods. Familiarity with standards like
-
Researcher (R1) Positions PhD Positions Application Deadline 31 Aug 2026 - 13:00 (Europe/Rome) Country Italy Type of Contract Temporary Job Status Full-time Is the job funded through the EU Research Framework
-
into real impact. Computing Science At the division of Computing Science , we advance secure and trustworthy software and systems, spanning foundations, programming languages, tools and practical methods
-
methods. More than 2 years of experience in managing research programs and/or collaborative projects. Experience formally supervising more than one staff member. Professionalism, strong work ethic
-
fundamental research and the development of practical software platforms and demonstrators in collaboration with industrial and public-sector partners. More generally, the PhD thesis is part of a large
-
will combine modern AI/LLM-based code generation with formal methods to produce software that is both fast to create and provably trustworthy. The position is part of SAFIR (Secure AI for Intelligent