Rehan Malak
Software Engineer - R&D at CryptoNext Security
Paris, Ile-de-France
Summary
👤
Senior🎓
Top SchoolRehan Malak is a pragmatic R&D software engineer based in Paris with eight years of experience building embedded and security-focused systems. With a strong academic foundation in mathematics and a PhD in theoretical and mathematical physics, he blends rigorous problem-solving with hands-on development across IoT and security domains. He has contributed to notable open-source projects like Contiki-NG—fixing neighbor discovery and memory issues and improving test tooling—while delivering R&D work at organizations including Inria, Intrinsic ID, Synopsys, and CryptoNext Security. Known for catching subtle bugs and tightening memory and process management in constrained systems, he brings both low-level systems expertise and a researcher's curiosity to practical product development.
8 years of coding experience
7 years of employment as a software developer
Doctor of Philosophy - PhD, Theoretical and Mathematical Physics, Doctor of Philosophy - PhD, Theoretical and Mathematical Physics at Aix-Marseille Université (AMU)Licence, Mathematics, Licence, Mathematics at Université Pierre et Marie CurieMaster, Mathematics, Master, Mathematics at Université Paris-Saclay
Github Skills (11)
c1710
iot10
embedded10
c1110
contiki-ng10
sys10
6lowpan10
ch9
bash9
rpl8
testing8
Programming languages (7)
Github contributions (5)
contiki-ng/contiki-ng
Apr 2018 - Sep 2018
Contiki-NG: The OS for Next Generation IoT Devices
Role in this project:
Embedded Systems Engineer / IoT Developer
Embedded Systems Engineer / IoT DeveloperContributions:20 commits, 15 PRs, 19 comments in 5 months
Contributions summary:Rehan primarily contributed to the Contiki-NG operating system, focused on fixing bugs, particularly related to neighbor discovery and memory management. They addressed warnings related to code usage and struct initializers. The user also modified and added shell scripts for testing, specifically for killing background processes and improving test execution. Furthermore, they made minor adjustments to tool scripts.
contiki-ngiot-deviceiotwsn6lowpan
Rehan-MALAK/lambdapi
Nov 2019 - Jan 2021
Proof assistant based on the λΠ-calculus modulo rewriting
Contributions:132 pushes, 96 branches in 1 year 2 months
dependent-typeshomotopy-type-theorycalculustheorem-provingassistant
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.