Sort by
Refine Your Search
-
Country
-
Employer
- University of Nottingham
- Aalborg University
- Constructor Knowledge Labs gGmbH
- Delft University of Technology (TU Delft)
- Fondazione Bruno Kessler
- Graz University of Technology
- KU LEUVEN
- NTNU - Norwegian University of Science and Technology
- NTNU Norwegian University of Science and Technology
- Technical University of Munich (TUM)
- University of Warwick
- Università degli Studi di Firenze
- 2 more »
- « less
-
Field
-
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
-
. Two PhD studentships are available to address one or more of the following scientific challenges: 1. Mechanical Integration Structural and functional integration requires the development of novel
-
of the software and its configurations. This project will investigate novel techniques for the application of formal methods to the design, verification, and validation of embedded systems, with particular emphasis
-
control platforms, advanced microcontrollers, distributed control algorithms, and artificial intelligence techniques, including neural networks and evolutionary optimisation methods, to enable the efficient
-
Political sciences Sociology Communication sciences Architecture Researcher Profile First Stage Researcher (R1) Positions PhD Positions Application Deadline 30 Apr 2027 - 12:00 (Europe/Berlin) Country Germany
-
An opportunity exists to join the world-leading Interdisciplinary Collaboration in System Medicine (ICSM) Research Group to work on an industrially funded PhD project that will use state-of-the-art
-
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
-
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
-
in all these approaches. This PhD position aims at developing methods for learning and control in complex large-scale systems. This will be carried out as part of the GreenControl project, whose
-
Responsibilities Teaching as needed, particularly in the area of "Cryptology & Privacy" Scientific research in the field of symmetric cryptography Developing new methods for the design, cryptanalysis, and formal