5 proof-checking-postdoc-computerscience Postdoctoral positions at KU LEUVEN in Belgium

PostDoc in Combinatorial Optimization (Proof Logging / Explanations)

KU LEUVEN | Belgium | 19 days ago

produced will enable (1) debugging, since proofs contain detailed information about where bugs occurred,(2) auditability, since proofs can be stored and checked by an independent third party, and even (3

Postdoc Researcher in Quantum Solid-State Physics

KU LEUVEN | Belgium | about 2 months ago

2 Sep 2025 Job Information Organisation/Company KU LEUVEN Research Field Physics » Solid state physics Physics » Quantum mechanics Researcher Profile Recognised Researcher (R2) Country Belgium Application Deadline 9 Oct 2025 - 23:59 (UTC) Type of Contract Temporary Job Status Full-time Offer...

BEE2 - Post-doc researcher at the Centre of Behavioral Economics and Engineering

KU LEUVEN | Belgium | about 8 hours ago

postdoc position BEE2.You can apply for this job no later than November 15, 2025 via the online application tool: http://www.kuleuven.be/eapplyingforjobs/light/60343030Please provide your C.V. and a

Post-doc on remote sensing driven downscaling solutions for Antarctica

KU LEUVEN | Belgium | 5 days ago

postdoc position in a dynamic and internationally recognized research environment. Supervision by Prof. Stef Lhermitte and collaboration with the Earthmapps team. Access to high-performance computing

BEE1 - Post-doctoral researcher at the Centre of Behavioral Economics and Engineering (BEE), FEB

KU LEUVEN | Belgium | about 8 hours ago

69 49, mail: siegfried.dewitte@kuleuven.be – subject postdoc position BEE1. You can apply for this job no later than November 15, 2025 via the online application tool: http://www.kuleuven.be