Apparently the automated control system consists of 200,000 lines of formally-verified C++: https://ansymore.uantwerpen.be/system/files/uploads/courses/...
29 karma · joined February 28, 2016
[1]: https://blog.danslimmon.com/2019/07/15/do-nothing-scripting-...
[2]: https://github.com/alan-turing-institute/CleverCSV/blob/mast...
Remote: No
Willing to relocate: Yes
Technologies: Machine Learning (scikit-learn, some TF, own algorithms), Python, C, R, Matlab
CV: https://gertjanvandenburg.com/files/cv.pdf
Email: see CV