Location: Portugal, US citizen

Remote: yes (exclusively for 7 years)

Willing to relocate: yes

Technologies: Rust, Python, C, Z3, SMT, Linux, Kubernetes,

Résumé/CV: https://drive.google.com/file/d/1vRCvl-1Zq6Z2N7fCoEer8jxjvnp...

Email: [email protected]

GitHub: https://github.com/julianbraha

Compiler engineer, active contributor to the Linux kernel, and official Reviewer of the Kconfig interpreter