4 proof-checking-postdoc-computerscience PhD positions at KU LEUVEN

PhD Position in Declarative Problem Solving

KU LEUVEN | Belgium | 1 day ago

a Research Infrastructure? No Offer Description There are two (related) possible research directions for a PhD. The successful candidate will focus either on *proof logging* or on *explanations

PhD student Structural Mechanics - Model Order Reduction

KU LEUVEN | Belgium | 12 days ago

degrees); (5) copy of diplomas (BSc and MSc degrees); (6) proof of proficiency in English (TOEFL or IETLS certificate or equivalent proof); and (7) contact details of three persons who can provide a

PhD student Structural Mechanics: Dynamic system identification and digital twins for underground infrastructure monitoring

KU LEUVEN | Belgium | 12 days ago

(BSc and MSc degrees); (5) copy of diplomas (BSc and MSc degrees); (6) proof of proficiency in English (TOEFL or IETLS certificate or equivalent proof); and (7) contact details of three persons who can

PhD research position: Unravelling exposome - immunome interactions

KU LEUVEN | Belgium | 2 months ago

) that includes a motivation of why you are interested in this position, your experience with the mentioned research and an explanation why you are a good fit with the project. The selection for this position will