2 approximation-theory Postdoctoral positions at KU LEUVEN

2+2 year Postdoctoral Position: Calibrating theories of tidal dissipation in evolving high-mass close binaries from asteroseismology

KU LEUVEN | Belgium | 3 months ago

with a PhD degree in astrophysics or physics are eligible for the position. High proficiency in English is mandatory. Proven knowledge of the theory of non-radial oscillations of stars or of tides is an

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

KU LEUVEN | Belgium | 2 months ago

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