[ivmoreau]

  Location: Puebla, México.
  Remote: Yes.
  Willing to relocate: No, but if your company happen to have an office in CDMX, I may be able to travel back and forth occasionally.
  Technologies:
    - Haskell [Advanced], Rust [Advanced]. Love Haskell.
    - Ocaml [Basic], Clojure [Basic], Scala [Basic], Erlang [Basic]. Functional programing and that stuff.
    - Git, Neovim, Unix [Linux, macOS], Nix [very basic, still learning].
    - Github, Gitlab.
    - Agda, Lean. But I'm also learning Coq. Not an expert, but I try to do my proofs.
    - C (but not C++), Python, Flutter.
    - I also know Java, but I'm not proud of that. I wrote a parser combinator a while ago just for fun (but with Java verbosity it's a mess).
  Résumé/CV: https://cv.ivmoreau.com/
  Email: [e-mail]

Hi! I'm a Software Engineer/Computer Scientist higly interested in Functional Programming, especially with Haskell. But I can also work with Rust.

I can learn new things pretty quickly and usually without any help, just making my way through the documentation. And I also love problem-solving, so I really try to get things working every time. But I'm also always working to improve my skills to become better in what I do.

While I would really like to work with compilers, types and a lot of formal stuff, I'm always open to other areas of development (i.e. Haskell's servant or distributed-process).

I'm currently a Computer Science undergraduate student at Benemérita Universidad Autónoma de Puebla. I'm finishing my bachelors in Summer 2023 (I managed to reduce by one year my degree, while having a good GPA [95.7/100]). But I also have a lot of free time, so this shouldn't be much of an issue. I promise to be careful.

I would love to be in your team building exciting things! So get in contact with me if you are interested or want to talk more about it.

Thank you so much for your time, and I hope you are having a good day!