Filip Bártek
Optimization Software Developer
Prague, Prague, Czechia
Summary
👤
Senior🎓
Top SchoolFilip Bártek is an optimization-focused software developer and researcher with 12 years of experience applying algorithm design, automated algorithm configuration, and machine learning to real-world and scientific problems. Currently at Blindspot AI, he blends research-grade expertise from a PhD program and CIIRC work on automated theorem proving with hands-on R&D engineering in medical devices and cross-border team coordination. He has a track record of building robust build and test systems, performance tooling, and signal-processing libraries, and has reviewed and hired technical talent across Europe and India. Passionate about improving human wellbeing, he prefers part-time roles bridging academic research and product engineering in domains like healthcare, epidemiology, and environmental science. A less obvious strength is his facility for facilitating philosophical dialogue, which he uses to align interdisciplinary teams around complex ethical and technical trade-offs.
12 years of coding experience
8 years of employment as a software developer
Master's degree, Theoretical Computer Science, 1 (A), Master's degree, Theoretical Computer Science, 1 (A) at Charles University in Prague, Faculty of Mathematics and PhysicsDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Faculty of Electrical Engineering, Czech Technical University in PragueComputer Science, Computer Science at Univerza v LjubljaniBachelor's degree, Mathematical Informatics, C, Bachelor's degree, Mathematical Informatics, C at Masaryk University Faculty of Informatics
English, Czech, Spanish
Stackoverflow
646reputation
118kreached
11answers
0questions
Github Skills (93)
random-forest10
optuna10
hyperparameter-tuning10
memoization10
bayesian10
automated-machine-learning10
caching10
hyperparameters10
multiprocessing10
simulations9
sum9
python9
smoke9
parallel-computing9
deep-learning9
Programming languages (10)
Github contributions (5)
filipbartek/resume
Jun 2015 - May 2019
Contributions:37 pushes, 4 branches, 4 tags in 3 years 11 months
filipbartek/vampire-ml
Jul 2019 - May 2023
Contributions:761 pushes, 8 branches, 7 tags in 3 years 10 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.