Sort by
Refine Your Search
-
Category
-
Country
-
Employer
- 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
- Universidade de Coimbra
- University of A Coruña
- University of Luxembourg
- University of Southern Denmark (SDU)
- University of Warwick
- Università degli Studi di Firenze
- 2 more »
- « less
-
Field
-
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
-
, see the CertiFOX project page: https://www.bartbogaerts.eu/projects/CertiFOX/ Another long-standing objective is to develop methods by which we can explain the reasoning that leads to a certain
-
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
-
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
-
… Where to apply Website https://www.academictransfer.com/en/jobs/362187/phd-position-ai-alignment-value… Requirements Additional Information Website for additional job details https