2 coding-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

algorithms (e.g., SAT solving, constraint solving, MaxSAT, SAT modulo theories, Answer Set Programming, (Mixed) Integer Programming, ...) is required. Fully-funded postdoc position, with expected duration