JaromirĀ Latal
Software Engineer at Meta
Zurich, Zurich, Switzerland
Summary
š¤
Seniorš
Top SchoolJaromir Latal is a software engineer with 14 years' experience building large-scale backend and infrastructure systems, currently working on ML infrastructure for computer vision at Meta in Zurich. He has a strong track record across testing and developer tooling, disaster recovery at datacenter scale, and cross-repository fuzzing and sanitizers that have helped spare teams from production breakages. Jaromir contributes to the widely used python/typeshed project, improving type hints across stdlib and key third-party libraries to make Python codebases more type-safe. He combines low-level GPU work (CUDA tensor movement) with pragmatic DevX improvements and automation, reflecting a rare blend of performance engineering and developer experience focus. Educated at UCL in Computer Science, he brings consistent hands-on delivery and a penchant for tackling hard systemic problems end-to-end.
14 years of coding experience
8 years of employment as a software developer
Interational Baccalaureate Diploma Programme, Interational Baccalaureate Diploma Programme at Gymnazium Jura HroncaUniversity College London
English, German, Slovak
Stackoverflow
653reputation
83kreached
32answers
0questions
Github Skills (21)
static-typing10
python10
stub10
stubs10
dynamic-typing10
implicit-typing10
asyncio10
optional-typing10
strong-typing10
unit-testing9
unit-test9
http-request8
cryptography8
xml7
hash6
Programming languages (9)
Github contributions (5)
python/typeshed
Aug 2019 - Jul 2020
Collection of library stubs for Python, with static types
Role in this project:
Back-end Developer
Back-end DeveloperContributions:10 commits, 10 PRs, 14 comments in 11 months
Contributions summary:Jaromir primarily contributed to enhancing type hints within the Python type stubs for the `python/typeshed` repository. Their work involved adding, modifying, and improving type annotations for various Python standard library modules, third-party libraries (like cryptography and requests), and the `asyncio` module. The user's contributions focused on making code more type-safe and improving the developer experience.
mypystatic-typingpythonstubtypechecker
jermenkoo/spoj.pl_solutions
May 2012 - Oct 2015
Contributions:43 commits, 6 pushes in 3 years 4 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.