Pavel Raiskup

Principal Software Engineer at Red Hat

Earth, Texas, Czechia
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

🤩
Rockstar
🎓
Top School
Pavel Raiskup is a Principal Software Engineer with 16 years of experience designing and operating build and packaging infrastructure at Red Hat, currently leading work on the cloud-hosted Fedora Copr RPM build system and the Mock build tool. He combines backend and DevOps expertise—improving CI/CD, container images, and package maintenance—with hands-on contributions to high-profile open-source projects like curl and libarchive to harden testing and FTP functionality. Pavel focuses on developer experience, automation and reliability, having implemented robust container init/upgrade flows, pg_upgrade support, and improved reproducible RPM builds. He brings practical database and packaging knowledge from maintaining PostgreSQL containers and the pgjdbc packaging pipeline, plus a history as a package and module maintainer. An engineer who prefers fixing subtle edge cases, he’s known for resolving tricky test-suite and parsing bugs that improve long-term stability. Educated in Intelligent Systems with an Erasmus stint in Finland, he combines systems thinking with pragmatic engineering.
code16 years of coding experience
job10 years of employment as a software developer
bookErasmus stay, one semester, Information Technology, Erasmus stay, one semester, Information Technology at University of Eastern Finland
bookIntelligent Systems, Intelligent Systems at Vysoké učení technické v Brně
github-logo-circle

Github Skills (51)

github-ci10
fedora10
docker10
postgresql10
python10
testing10
bash10
transfer10
database-administration10
ftp10
c1110
libcurl10
containerization10
dockers10
jdbc10

Programming languages (23)

JavaC++CSSCRustMakefileGoHTML

Github contributions (5)

github-logo-circle
rpm-software-management/mock

Jan 2018 - Jan 2023

Mock is a tool for a reproducible build of RPM packages.
Role in this project:
userBack-end & DevOps Engineer
Contributions:85 releases, 473 reviews, 433 commits in 5 years
Contributions summary:Pavel primarily focused on improving the build process and configuration of the mock tool. They addressed issues related to package management, including adding Red Hat subscription support and fixing bootstrap installation problems. Furthermore, they enhanced the project's build system, resolving issues with file handling and environment setup within the build environment, and incorporated improvements such as retry mechanisms for package manager actions. These contributions improved both the functionality and maintainability of the mock tool.
mockrpm-packagesrpmreproducible
sclorg/postgresql-container

Sep 2015 - Apr 2019

PostgreSQL container images based on Red Hat Software Collections and intended for OpenShift and general usage. Users can choose between Red Hat Enterprise Linux, Fedora, and CentOS based images.
Role in this project:
userDevOps Engineer & Database Engineer/Administrator
Contributions:53 commits, 55 PRs, 3 pushes in 3 years 7 months
Contributions summary:Pavel primarily focused on enhancing the PostgreSQL container images, as evident by the commit messages and code changes. They addressed issues related to the container's initialization, including database creation and data migration. Furthermore, they worked on automating the build process, improving the S2I hooks, and making the setup more robust by handling memory limits and data volume management. The contributions also covered the container's upgrade process, including `pg_upgrade` implementation.
docker-imagered-hatopenshifthatdocker
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.
Request Free Trial
Pavel Raiskup - Principal Software Engineer at Red Hat