Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
-
://www.jobbnorge.no/en/available-jobs/job/294536/phd-research-fellow-in-formal-methods-for-industrial-engineering Where to apply Website https://www.jobbnorge.no/en/available-jobs/job/294536/phd-research-fellow-in-fo
-
UiO/Anders Lien 1st March 2026 Languages English English English PhD Research Fellow in Formal Methods for Industrial Engineering Apply for this job See advertisement About the position Position as
-
-Doctoral Research Fellowships to hold a PhD degree obtained in the 3 years previously to the submission of the fellowship application; to have carried out the research work that led to the PhD degree in a
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | 1 day ago
1.309,64 €, being the payment method by Wire Transfer. Eligibility criteria Admission Requirements: To be enrolled at a PhD. Holders of a Master’s degree in Architecture. A minimum of two years of experience
-
, program synthesis, semantic parsing, tool-augmented/agentic workflows) 2. Symbolic methods (logic/constraints, SAT/SMT, theorem proving, planning) * Strong software engineering skills (typically Python
-
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
-
. Please turn on JavaScript in your browser and try again. UiO/Anders Lien 1st March 2026 Languages English English English PhD Research Fellow in Formal Methods for Industrial Engineering Apply for this job
-
Course Description: This course will introduce the fundamental concepts of information and communication technology for those students with a health science background, but no formal training in computer
-
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
-
should in addition relate to two or more research topics of the involved research groups. The research groups are currently involved in research for software design to improve reliability, formal