Taha Cherfia
Software Engineer at Project Holi
Munich, Bavaria, Germany
Summary
👤
Senior🎓
Top SchoolTaha Cherfia is a software engineer and research scientist based in Munich with nine years of experience building scalable, reliable systems and tooling, particularly in the Java ecosystem. He combines a PhD-level theoretical foundation in context-aware systems with hands-on work in industry-focused research projects (EU Horizon 2020 and German-funded) addressing safety, security, and certification for cyber-physical and automotive applications. At fortiss he integrated model checking and standards-driven practices (DO-178C, ISO 26262, IECs) into development toolchains and later applied that rigor in product engineering roles at Finanzchef24 and Project Holi. He has led cybersecurity efforts for rail systems and prototyped Hyperledger Fabric solutions for software certification, showing a rare mix of formal methods, applied security, and distributed ledger experimentation. Fluent in bridging research and production, he is known for turning formal verification techniques into practical developer toolchains that meet industrial compliance requirements.
9 years of coding experience
7 years of employment as a software developer
Bachelor’s Degree, Computer Software Engineering, Bachelor’s Degree, Computer Software Engineering at Université Mentouri de ConstantineDoctor of Philosophy (Ph.D.), Computer Science, Doctor of Philosophy (Ph.D.), Computer Science at Université Constantine 2 - Abdelhamid Mehri
Arabic, English, French
Github Skills (97)
sms10
notification-center10
pdf-generation10
wkhtmltopdf10
markdown10
chromium10
react-native-web10
push-notifications10
notification10
gmail-api10
pdfium10
entity10
xlsx10
typescript-orm10
inbox10
Programming languages (7)
Github contributions (5)
cherfia/chromiumly
Mar 2022 - Feb 2023
A lightweight Typescript library that interacts with Gotenberg's different modules to convert a variety of document formats to PDF files.
Contributions:13 releases, 14 reviews, 120 commits in 10 months
libreofficepdfwkhtmltopdfpdfiumpdf-generation
cherfia/jotenberg
Oct 2022 - Oct 2022
Contributions:11 releases, 24 commits, 1 PR in 3 days
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.