1 electrical-machines "https:" "https:" "https:" "https:" "https:" "https:" "https:" "https:" Postdoctoral research jobs at KU LEUVEN

Postdoc in combinatorial search & Optimization (SAT / CP / SMT / MIP /....)

KU LEUVEN | Belgium | 3 months ago

machine-verifiable proof (or certificate) of correctness. However, a major limitation of current techniques is that correctness is not proven relative to the human-understandable specification