Sort by
Refine Your Search
-
Employer
-
Field
-
/ 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
-
algorithms (e.g., SAT solving, constraint solving, MaxSAT, SAT modulo theories, Answer Set Programming, (Mixed) Integer Programming, ...). Selection process For more information please contact Prof. dr. Bart
-
Computer Science, Information Theory, Physics or related fields High level of mathematical maturity Experience with topics related to quantum LDPC codes and decoding algorithms, or demonstrated ability and
-
through the EU Research Framework Programme? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description → Apply until 16/09/2025 (DD/MM/YYYY