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: julianbraha@linux.com
GitHub: https://github.com/julianbraha
Compiler engineer, active contributor to the Linux kernel, and official Reviewer of the Kconfig interpreter