Anna Vernerová
AI Engineer at Quantum Secure, part of HID Global
Prague, Czechia
Summary
👤
Senior🎓
Top SchoolAnna Vernerová is an AI Engineer based in Prague with over a decade of hands-on software and research experience bridging computational linguistics and web applications. She holds a PhD in Computational Linguistics and spent more than a decade supporting linguistic research and lexicographic projects at Charles University before moving into product-focused roles. Today she designs and implements components for an AI coding agent at Quantum Secure while also building interactive React-based math learning tools and tooling for content creators at Techambition. Her background in formal logic and mathematics informs a methodical approach to problem solving and a knack for translating linguistic insight into practical AI features. Currently exploring career directions driven by soft skills and idealism, she combines rigorous technical depth with a clear interest in impact-driven work. Colleagues describe her as someone who moves comfortably between research, engineering, and content creation, making her well-suited for interdisciplinary AI product roles.
11 years of coding experience
11 years of employment as a software developer
Master's degree, Logic, Master's degree, Logic at Charles University, Faculty of ArtsMaster's degree, Mathematics, Master's degree, Mathematics at Charles University, Faculty of Mathematics and PhysicInternational Baccalaureate, International Baccalaureate at UWC Atlantic CollegePhD, Computational Linguistics, PhD, Computational Linguistics at Charles University, Faculty of Mathematics and Physics, UFAL
Czech, English, German, Finnish, Hebrew
Github Skills (71)
katakana10
latex10
lingvo10
dictionary10
katex10
rendering9
perfect9
javascript9
typesetting9
mathematics9
thesaurus8
corpus-linguistics8
text-files8
markup8
french8
Programming languages (13)
Github contributions (5)
ufal/vallex3.0
Dec 2018 - Dec 2021
Generátor prohlížeče slovníku Vallex 3.0
Contributions:1 PR, 14 pushes, 4 branches in 3 years
tor
Ansa211/whitakers-words
Aug 2017 - Sep 2017
Contributions:11 pushes, 6 branches in 9 days
dictionarywordslatin
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.