Candidate profile
Software Engineer, Decentralized Systems & AI
CHaskellJavaScriptPythonCoqFirecrackerDockerSQLGolangNixOS & NixKubernetes/NomadAWS (Lambda, S3, DynamoDB)
Description
Pedro is a software engineer proficient in Golang, Python, Haskell, JavaScript, C, and SQL, with strong skills in DevOps tools including Docker, Kubernetes, and AWS. He is passionate about developing correct and elegant software, with a keen interest in decentralized systems (blockchains), functional programming, and AI.