Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
-
EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description The position is opened by the Formal Methods for System and Software Research Unit (FM Unit
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | about 23 hours ago
at a PhD programme at the time of contract signing. Additional Information Benefits Monthly maintenance allowance: According to the values for Research Fellowships awarded by FCT in Portugal (https
-
, United States of America [map ] Subject Area: Formal Methods and Machine Learning for Mathematics Appl Deadline: none (posted 2025/10/03) Position Description: Apply Position Description The Institute for Computer-Aided
-
? 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
-
sciences » Science and society Geography » Economic geography Sociology » Other Researcher Profile Recognised Researcher (R2) Positions PhD Positions Country Poland Application Deadline 31 Jan 2026 - 23:59
-
at https://www.icds.psu.edu/2025-ai-cluster/ . For questions, contact ICDS Director, Guido Cervone (icds@psu.edu ). AI Foundations and Methods We seek to expand expertise in core areas of AI, with a strong
-
formal qualification you must hold a PhD degree (or equivalent) as well as academic qualifications equivalent to those obtained by holding an assistant professorship and documented didactic/pedagogic
-
The Centre for Formal Methods and Future Computing (FORM) and the Danish Institute for Advanced Study (DIAS) at the University of Southern Denmark (SDU, Campus Odense and Vejle) seek
-
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
-
both. As formal qualification you must hold a PhD degree (or equivalent) as well as academic qualifications equivalent to those obtained by holding an assistant professorship and documented didactic