Location: Portugal, US citizen Remote: yes (exclusively for 7 years) Willing to relocate: yes Technologies: Rust, Python, C, Z3, SMT, Linux, Kubernetes, Rés

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-1Zq6Z2N7fCoEer8jxjvnpW2hue/view?usp=sharing https://drive.google.com/file/d/1vRCvl-1Zq6Z2N7fCoEer8jxjvnp... Email: julianbraha@linux.com GitHub: https://github.com/julianbraha https://github.com/julianbraha Compiler engineer, active contributor to the Linux kernel, and official Reviewer of the Kconfig interpreter