Remote: Fully remote (hybrid only with visa sponsor for an Europe/Asia country)
Willing to relocate: yes, only Europe/Asia
Technologies: Golang | Python | Haskell |JavaScript | C | SQL | Coq | NixOS & Nix | Docker | Kubernetes/Nomad | Firecracker | AWS (Lambda, S3, DynamoDB)
Résumé/CV: https://gist.github.com/PedrobyJoao/c0f37794ee872fb7b587dda7...
Email: joaoexplorer235@gmail.com
check it out my github: https://github.com/PedrobyJoao
About me: hey, I'm preferable interested in projects that are interesting/fun by nature, I want to have fun writing correct and elegant software. Topics of interest: Decentralized systems (e.g.: blockchains), functional programming, AI, anything else that is interesting haha