2 formal-method-phd Postdoctoral positions at Nature Careers in Belgium

Postdoc in interacting particle methods for Bayesian inversion with model error

Nature Careers | Leuven, Vlaanderen | Belgium | 20 days ago

Candidates must hold a PhD in Mathematical Engineering or Applied Mathematics (or equivalent) Candidates should have a solid background in numerical methods for differential equations, simulation of stochastic

Postdoc in Verification, Validation & Perception for Robotics

Nature Careers | Belgium | 2 months ago

/ Deep Learning (particularly Computer Vision or 3D perception) Verification & Validation (V&V) of advanced algorithms, software or systems Formal Methods Safety Engineering / Safety-Critical Systems