Location: Bucharest, Romania
    Remote: Yes; open to on-site globally 
    Willing to relocate: Yes, for the right opportunity
    Technologies: Haskell, PureScript, Nix, NixOS, Lean, Functional Programming, Type Theory, Python, Linux, Terraform, Tailwind, Docker, CI/CD, Git
    Résumé/CV: https://pdragos.com | https://github.com/dragospe | https://linkedin.com/in/dragospe
    Email: peter@pdragos.com

Summary: Functional programming engineer with 3+ years experience building reliable, type-safe applications in Haskell and PureScript. Strong background in mathematics (BS) with focus on formal methods and type-driven development. Led remote teams through full product lifecycles on blockchain projects, managed formal methods engineers using Lean proof assistant, and implemented comprehensive testing strategies. US citizen based in Romania, able to work B2B fully remote or hybrid/on-site within Romania. Particularly interested in digital rights/privacy, formal methods with dependent types or category theory, and climate tech.

Looking for: Software engineering roles in Haskell or other strongly-typed functional languages. Prefer individual contributor positions. Target compensation €60k-€100k+/year.