Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Delft University of Technology (TU Delft)
- University of Luxembourg
- University of Nottingham
- Aalborg University
- Erasmus University Rotterdam
- Fondazione Bruno Kessler
- Graz University of Technology
- KU LEUVEN
- NTNU - Norwegian University of Science and Technology
- NTNU Norwegian University of Science and Technology
- Universidade de Coimbra
- University of A Coruña
- University of Oslo
- University of Southern Denmark (SDU)
- University of Texas at El Paso
- University of Warwick
- Università degli Studi di Firenze
- 7 more »
- « less
-
Field
-
. 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
-
control platforms, advanced microcontrollers, distributed control algorithms, and artificial intelligence techniques, including neural networks and evolutionary optimisation methods, to enable the efficient
-
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
-
methods to automate the mechanical design process and structural validation of beams used in the ship's equipment. • Develop methods for optimizing the design of beams. • Integrate the developed methods
-
for 3-year PhD positions in computer science with emphasis on formal methods. Possible topics include (but are not limited to) computational complexity, distributed systems, human factors, logic
-
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
-
Networks, and ICT Services & Applications. We offer a fully funded PhD student position within the TruX Research Group headed by Prof. Dr. Tegawendé F. Bissyandé. The focus of this position is in
-
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
-
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