Seeking a 6–12 month visiting opportunity in neuro-symbolic AI and software formal verification; please contact me.