Tomáš Jašek
Senior Rust Developer at STEP - IT Akadémia Bratislava
Bratislava, Region of Bratislava, Slovakia
Summary
👤
Senior🎓
Top SchoolTomáš Jašek is a Senior Rust Developer based in Bratislava with 14 years of engineering experience building secure, backend systems and driving Rust adoption across teams. He combines hands-on implementation—modernizing LLVM-based analysis tooling and building cloud backends—with architecture and project scoping, including automated X.509 provisioning and authentication flows. A pragmatic systems thinker and lecturer, he mentors young learners and speaks at local Rust meetups while contributing to open-source program-analysis projects that require low-level IR and memory-model understanding. Comfortable in cross-disciplinary roles, he blends cybersecurity awareness, compiler-level insight and a preference for reproducible, Archlinux-powered development environments.
14 years of coding experience
10 years of employment as a software developer
UMass LowellJohns Hopkins University1. súkromné gymnázium v BratislaveMaster's degree Computer Science, Master's degree Computer Science at Masaryk University Brno, Faculty of Social Studies
Slovak, English
Github Skills (9)
c-language10
static-analysis10
cprogramming-language10
llvm10
algorithms8
memory-management8
data-structures8
algorithm8
data-structure8
Programming languages (11)
Github contributions (5)
mchalupa/dg
Apr 2017 - Nov 2020
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
Role in this project:
Backend Developer
Backend DeveloperContributions:1 review, 142 commits, 20 PRs in 3 years 8 months
Contributions summary:Tomáš primarily focused on refactoring and modernizing the codebase, particularly related to the type definitions within the LLVM static slicer project. Their contributions involved replacing typedefs with C++11 using declarations, improving code readability and maintainability. Furthermore, the user implemented various features for reaching definitions analysis (RDA), including adding load nodes and addressing memory allocation function calls.
llvm-iranalysesdependency-graphslicingdata-dependency
staticafi/predator
Nov 2019 - Oct 2020
A Shape Analyzer Based on Symbolic Memory Graphs
Contributions:54 pushes, 27 branches in 10 months
memory-graphsmemoryanalysisgraphsgraph
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.