Sort by
Refine Your Search
-
Category
-
Country
-
Employer
- Delft University of Technology (TU Delft)
- NTNU - Norwegian University of Science and Technology
- Carnegie Mellon University
- National Research Council Canada
- Technical University of Munich
- NTNU Norwegian University of Science and Technology
- University of Oslo
- Aalborg University
- CNRS
- KU LEUVEN
- Eindhoven University of Technology (TU/e)
- Wageningen University & Research
- University of Nottingham
- BI Norwegian Business School
- Forschungszentrum Jülich
- Radboud University
- Abertay University
- Graz University of Technology
- Inria, the French national research institute for the digital sciences
- The University of Iowa
- University of Antwerp
- University of East Anglia
- University of Texas at El Paso
- University of Twente (UT)
- University of Zadar
- VIB
- AALTO UNIVERSITY
- Aarhus University
- Babes-Bolyai University
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- Harvard University
- Lunds universitet
- Maastricht University (UM)
- SciLifeLab
- University of Basel
- University of Innsbruck
- University of Newcastle
- University of Oxford
- University of Utah
- Aalborg Universitet
- ETH Zürich
- Empa
- Escola Superior de Saúde do Politécnico do Porto
- Fondazione Bruno Kessler
- Hanken School of Economics
- Instituto Politécnico de Bragança
- Jane Street Capital
- Justus Liebig University Giessen •
- Leiden University
- Lulea University of Technology
- Luleå University of Technology
- Naturalis
- Pennsylvania State University
- Poznan University of Physical Education, POLAND
- RPTU University Kaiserslautern-Landau •
- Royal Netherlands Academy of Arts and Sciences (KNAW)
- Technical University Of Denmark
- Technische Universität Chemnitz
- The University of Chicago
- Tilburg University
- Universidade de Coimbra
- University of Amsterdam (UvA)
- University of Bergen
- University of Cambridge
- University of Cambridge;
- University of Florida
- University of Lund
- University of Luxembourg
- University of Maryland, Baltimore
- University of Primorska
- University of Twente
- Utrecht University
- Łukasiewicz Research Network - Krakow Institute of Technology
- ;
- Academia Națională de Informații „Mihai Viteazul”
- Alfred-Wegener-Institut Helmholtz-Zentrum für Polar- und Meeresforschung
- Amsterdam UMC
- BRGM
- Baylor College of Medicine
- CMU Portugal Program - FCT
- Centre Internacional de Mètodes Numèrics en la Enginyeria
- Centro de Investigaciones sobre Desertificación (CIDE, CSIC-UV-GVA)
- Chalmers University of Technology
- Charles University, Faculty of Mathematics and Physics
- Cleveland State University
- Columbia University
- Constructor Knowledge Labs gGmbH
- Curtin University
- Deutsches Elektronen-Synchrotron DESY •
- Durham University
- EURAXESS
- European Research University
- Faculdade de Ciências da Universidade de Lisboa
- Fermilab
- Fraunhofer-Gesellschaft
- GFZ Helmholtz-Zentrum für Geoforschung
- Ghent University
- Hannover Medical School •
- Hasselt University
- Heidelberg Institute for Theoretical Studies (HITS gGmbH)
- 90 more »
- « less
-
Field
-
Website https://phd.fbk.eu/calls/detail/formal-verification-of-configurable-safety-crit… Requirements Research FieldOtherEducation LevelMaster Degree or equivalent Additional Information Work Location(s
-
, software engineering is being transformed by a set of intertwined changes. Continuous software engineering is converging development and operations to enable frequent releases, while AI is touching every
-
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, including emerging
-
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 Empirical Software Engineering Apply for this job See advertisement This is
-
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
-
Are you interested in advanced computational modelling and state-of-the-art scientific software? Join us in creating the Bayesian multiverse: a computational framework for robust statistical analyses
-
-constrained devices such as wearables, smart sensors, hearables, and IoT nodes. While current deployment methodologies can optimize models before deployment, the resulting software remains static throughout
-
The future of software engineering is AI-native. Our team works to shape that future through pioneering research, practical engineering methods, and close collaboration with government, industry
-
The future of software engineering is AI-native. Our team works to shape that future through pioneering research, practical engineering methods, and close collaboration with government, industry