Vojtěch Forejt
Consultant at Four Eight Software Limited
Oxford, England, United Kingdom
Summary
👤
Senior🎓
Top SchoolVojtěch Forejt is a seasoned technology consultant and fractional CTO with 16 years’ experience turning research-heavy AI/ML prototypes into market-ready products across biotech, medical software, and energy storage. He blends hands-on engineering (Vue/Node.js, Python, Terraform) with leadership roles from Head of Architecture to Director of Technology, having scaled teams and delivery processes at startups and spin-outs. Comfortable stepping into interim CTO roles or advising existing leadership, he has a track record of delivering CE‑marked medical device functionality, guiding fundraising-ready technical pitches, and instilling DevOps practices. A former Oxford Associate Professor with a PhD in Computer Science, he uniquely bridges formal academic research on probabilistic systems with pragmatic product engineering. His open-source contributions include build and automation improvements to notable projects like the CBMC bounded model checker, reflecting an attention to robust tooling and cross-platform reliability. Based in Oxford, he combines strategic roadmap thinking with hands-on coding and hiring to help early-stage teams ship low‑maintenance, scalable systems.
15 years of coding experience
15 years of employment as a software developer
LLB (Hons), English Law, LLB (Hons), English Law at The Open UniversityPhD, Computer Scientce, PhD, Computer Scientce at Masarykova univerzita Fakulta informatiky
Github Skills (11)
bash10
script10
build-automation10
cprogramming-language9
c-language9
windows9
autocomplete9
github-ci8
unit-testing8
githubaction-workflow8
makefile7
Programming languages (7)
Github contributions (5)
diffblue/cbmc
Nov 2016 - Feb 2019
C Bounded Model Checker
Role in this project:
Automation Engineer / Build & Release Engineer
Automation Engineer / Build & Release EngineerContributions:66 commits, 85 PRs, 71 pushes in 2 years 3 months
Contributions summary:Vojtěch's commits primarily focus on automating build processes, fixing build issues, and enhancing the build environment. They implemented scripts for bash autocomplete functionality, including extracting parameters. The user also addressed Windows-specific test failures by modifying test scripts. Furthermore, the user made changes to code compilation, and UTF-8 to UTF-16 conversion to support the project.
model-checkermodel-checkingcppcheckertla
foureightsoftware/corporate-website
Nov 2020 - May 2024
Contributions:4 pushes in 3 years 6 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.