Pavel Dedík
Senior Software Engineer at Profitak group
Brno, Southeast, Czechia
Summary
🤩
Rockstar🎓
Top SchoolPavel Dedík is a Senior Software Engineer with 13 years of experience building cloud-native systems in Python and Rust, currently working on AWS, Terraform and observability at Skip Pay and previously shaping platform engineering at Kiwi.com and Twisto. He blends backend and DevOps expertise—Kubernetes, ECS, CI/CD and OpenTelemetry—with hands-on product work like a Rust backend + React frontend AI-driven app for Mergado Store. An open-source contributor, Pavel has extended the popular Schemathesis API-testing tool with schema parameter support and a flexible CLI, and has published practical algorithm implementations in Python. He has led engineering teams as CTO and driven developer experience improvements, often focusing on automation, documentation (Backstage) and scalable architectures. Based in Brno, he combines deep systems knowledge with a practical knack for shipping reliable, testable services and improving team productivity.
13 years of coding experience
11 years of employment as a software developer
Master’s Degree, Computer Science, Master’s Degree, Computer Science at Masaryk University BrnoHigh School, Computer Systems, High School, Computer Systems at Střední škola průmyslová Krnov
English, Czech
Stackoverflow
81reputation
3kreached
0answers
3questions
Github Skills (26)
algorithms10
graph-algorithms10
pytest10
python10
testing10
swagger10
data-structure10
data-structures10
openapi10
api-testing10
cli10
dijkstra9
bellman-ford9
kruskal-algorithm9
hy9
Programming languages (12)
Github contributions (5)
schemathesis/schemathesis
Sep 2019 - Oct 2019
Supercharge your API testing, catch bugs, and ensure compliance
Role in this project:
Back-end & Test Automation Engineer
Back-end & Test Automation EngineerContributions:8 commits, 9 PRs, 14 pushes in 13 days
Contributions summary:Pavel significantly contributed to enhancing the functionality and testing capabilities of the Schemathesis project. They added support for cookie and formData parameters in OpenAPI 3.0 and Swagger 2.0 schemas, respectively, extending the project's API testing coverage. They also implemented a CLI tool for running schemathesis test cases and included features like filtering by endpoint, method, and base URL, thereby improving the tool's usability and flexibility. Their work included modifying core files related to schemas, models, runner, CLI, and testing, reflecting an active role in expanding the project's core features.
property-based-testingswaggerapitestingspecification
kennyledet/Algorithm-Implementations
Jun 2014 - Jun 2014
Share, discuss and learn about algorithm implementations!
Role in this project:Back-end Developer
Back-end DeveloperContributions:6 commits in 1 day
Contributions summary:Pavel contributed several algorithm implementations in Python to the repository. Their work includes the implementation of various graph algorithms such as Bellman-Ford, Kruskal's, Dijkstra's, and Johnson's algorithms, along with the Knuth-Morris-Pratt and Floyd-Warshall algorithms. Each commit involved adding the code for a specific algorithm, complete with example usage. This indicates a focus on the practical application of algorithmic concepts.
implementationsdata-structuresdiscusssharealgorithm-implementations
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.