4 proof-checking-postdoc PhD positions at KU LEUVEN

PhD Position in Declarative Problem Solving

KU LEUVEN | Belgium | 29 days 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 | about 1 month 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 | about 1 month 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

Instituut voor Internationaal Recht – PhD position (100%)

KU LEUVEN | Belgium | 5 days ago

procedural questions of admissibility and standing, standards of evidence and burdens of proof, as well as substantive notions such as responsibility for collective obligations, notions of causation