Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
-
? No Offer Description We have two exciting PhD positions at the intersection of formal software verification and Large Language Model (LLM) safety, focusing on extending state-of-the-art logic-based
-
, program verification and software engineering. Beyond technical collaborations, the group meets regularly and provides an engaging and supportive environment. Project description The available PhD positions
-
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
-
National University of Science and Technology POLITEHNICA Bucharest, Pitesti Branch | Romania | 12 days ago
Research Field Engineering » Electronic engineering Researcher Profile Established Researcher (R3) Positions PhD Positions Country Romania Application Deadline 9 Dec 2025 - 16:00 (Europe/Bucharest) Type
-
European Organisation for Astronomical Research in the Southern Hemisphere | Garching an der Alz, Bayern | Germany | 6 days ago
implementation of a novel metrology system to enable microarcsecond astrometry. More details on the project are available here: https://exogravity.obspm.fr/planetes A PhD studentship in the framework
-
field relevant to the position such programming languages, program verification, or software engineering, or a foreign degree equivalent to a PhD degree in Sweden. The degree needs to be obtained by
-
of specialized psychometric software. The ability to work autonomously and an interest in the emerging AI and ML approaches are preferred. Responsibilities include: preparing and executing analysis plans for TIMSS
-
National University of Science and Technology POLITEHNICA Bucharest, Pitesti Branch | Romania | 12 days ago
Research Field Engineering » Materials engineering Researcher Profile Established Researcher (R3) Positions PhD Positions Country Romania Application Deadline 9 Dec 2025 - 16:00 (Europe/Bucharest) Type
-
of specialized psychometric software. The ability to work autonomously and an interest in the emerging AI and ML approaches are preferred. Responsibilities include: preparing and executing analysis plans for TIMSS
-
National University of Science and Technology POLITEHNICA Bucharest, Pitesti Branch | Romania | 12 days ago
Research Field Engineering » Electronic engineering Researcher Profile Leading Researcher (R4) Positions PhD Positions Country Romania Application Deadline 9 Dec 2025 - 16:00 (Europe/Bucharest) Type