Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
-
and cyber-physical software; Runtime verification of cyber-physical and autonomous systems; Target applications may include autonomous systems, collision avoidance, mission and plan monitoring
-
5 Jan 2026 Job Information Organisation/Company Instituto de Engenharia Mecânica Research Field Engineering » Mechanical engineering Researcher Profile First Stage Researcher (R1) Positions PhD
-
? 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
-
) Positions PhD Positions Country France Application Deadline 15 Feb 2026 - 01:00 (UTC) Type of Contract Temporary Job Status Full-time Offer Starting Date 1 Apr 2026 Is the job funded through the EU Research
-
de neuromelanina y factores de susceptibilidad a la enfermedad de parkinson: rol en el inicio y progresión de la enfermedad” Where to apply Website https://jobs.vhir.org/jobs/6941521-phd-researcher
-
. Required EducationEmpty heading BS Pharm, PharmD/MS/MBA and PhD Degree PharmD, or equivalent experience. Required ExperienceEmpty heading Excellent written and oral communication skills with the ability
-
The students will be enrolled in the structured PhD programme in Computer Science at Sapienza University of Rome, Italy: https://www.uniroma1.it/en/offerta-formativa/dottorato/2025/computer-science About the
-
PhD Positions Country Portugal Application Deadline 22 Jan 2026 - 23:59 (Europe/Lisbon) Type of Contract Temporary Job Status Full-time Is the job funded through the EU Research Framework Programme? Not
-
, 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
-
Designs Hardware-Software Co-design for Machine Learning Applications Verification of digital designs Electronic Design Automation (EDA) for AI Hardware; AI and Cloud-Enhanced EDA High-Performance Multicore