Julien Malka
PhD Candidate
Paris, Ile-de-France
Summary
🤩
Rockstar🎓
Top SchoolJulien Malka is a PhD candidate at Institut Polytechnique de Paris and a seasoned software engineer with 11 years of experience focused on software supply chain security. His doctoral work centers on increasing supply chain resilience through reproducible builds and functional package management, blending practical tooling with formal guarantees. A longtime NixOS enthusiast and contributor, he pairs deep interest in programming language theory, formal verification, and cryptographic proof techniques with hands-on freelance and teaching experience. Julien has researched protocol proofs with EasyCrypt and worked on verifiable reproducibility during internships and teaching roles at ENS, EPFL, and other institutions. Based in Paris, he combines academic rigor from ENS and EPFL with real-world consulting and open-source impact. An understated strength is his ability to translate formal methods into usable developer workflows that improve security across tooling and distribution.
11 years of coding experience
3 years of employment as a software developer
Computer Sciences, Computer Sciences at École normale supérieureBachelor's degree, Communication Systems, Bachelor's degree, Communication Systems at Ecole polytechnique fédérale de Lausanne
English, French
Github Skills (101)
postgresql10
nix10
websocket10
carddav10
uptime-monitoring10
monitoring10
nixos10
linux10
hypervisor10
webapp10
proxmox10
uptime10
socket-io10
cookbook10
monitor10
Programming languages (19)
Github contributions (5)
JulienMalka/nixpkgs
Sep 2022 - Jan 2025
Nix Packages collection
Contributions:219 pushes, 89 branches in 2 years 4 months
nixosnix-packages
nix-community/lila
Feb 2024 - Jan 2026
Nix hash collection software, to aggregate build reports from several builders [maintainer=@JulienMalka, @raboof]
Contributions:13 reviews, 21 PRs, 97 pushes in 1 year 11 months
nixbuild-with-buildbotreproducible-builds
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.