Applied AI & Program Analysis Engineer

Profile located in Portugal, open to remote, hybrid, and relocation opportunities. Proficient in Java, Python, and Golang, with expertise in Program Analysis, Programming Languages, Applied AI, Software Verification, and Code Generation & Repair. Resume and personal website available for further details.