Sort by
Refine Your Search
-
Listed
-
Category
-
Country
- Portugal
- United States
- Denmark
- Norway
- Poland
- United Kingdom
- Netherlands
- Germany
- Luxembourg
- Sweden
- France
- Spain
- Czech
- Belgium
- Australia
- Austria
- Italy
- Ukraine
- Canada
- Singapore
- Slovenia
- United Arab Emirates
- Finland
- Malaysia
- Worldwide
- China
- Croatia
- Greece
- Iceland
- Ireland
- Morocco
- Romania
- Switzerland
- 23 more »
- « less
-
Program
-
Field
- Computer Science
- Economics
- Biology
- Engineering
- Medical Sciences
- Science
- Chemistry
- Mathematics
- Materials Science
- Social Sciences
- Humanities
- Law
- Education
- Business
- Environment
- Linguistics
- Psychology
- Arts and Literature
- Earth Sciences
- Electrical Engineering
- Sports and Recreation
- Physics
- 12 more »
- « less
-
Researcher (R1) Positions PhD Positions Country Portugal Application Deadline 15 Jan 2026 - 23:59 (Europe/Lisbon) Type of Contract Temporary Job Status Full-time Hours Per Week 35 Offer Starting Date 1 Feb
-
(Level B) PhD in computer science or a related discipline with focus on formal methods. Experience with interactive theorem proving using Isabelle/HOL, HOL4, Coq or similar, or experience with proving
-
possibility of extension) Start date: August 2026 at latest The students will be enrolled in the structured PhD programme in Computer Science at Sapienza University of Rome, Italy: https://www.uniroma1.it/en
-
on spatial reasoning, semantic technologies and AI for geosciences. Where to apply Website https://www.academictransfer.com/en/jobs/356999/phd-semantic-modelling-of-geoda… Requirements Specific Requirements A
-
Analysis of vulnerabilities in low-resource language settings, and the effect of typological diversity on the security landscape in multilingual settings Formal semantic or symbolic methods for monitoring
-
electromagnetic actuation systems, advanced drive technologies, and integrated cyber-physical solutions. Deliver and maintain assigned components of the educational program, integrating innovative methods such as
-
the processing of visual and sensor data in distributed systems, and applying artificial intelligence methods in the analysis of image data. Experience in applying VR/AR/XR technologies in visual systems and
-
modalities and methods in breast cancer diagnostics, focusing on screening and the role of Artificial Intelligence (AI). For more info, please visit link . LUCI is well-established, with an extensive group
-
, and the effect of typological diversity on the security landscape in multilingual settings Formal semantic or symbolic methods for monitoring, evaluating, and improving LLM robustness, e.g. building
-
world. We look forward to receiving your application! Your work assignments We are looking for a PhD student to work on the development of novel spatio-temporal machine learning methods. Our world is