Remote: Flexible
Willing to relocate: Yes in Nordic countries / UK / Ireland / Switzerland
Technologies: familiar with OCaml, Haskell, λProlog, Coq, open to learning /refreshing knowledge about other technologies (F#, Scala, Fortran, Julia, Rust, C/C++, etc.)
Interests: back-end programming, functional programming
Domains: aerospace, climate science, ocean science, energy, finance, banking, etc. Open to a lot of different things.
Availability: March 2024 or later
Résumé/CV: https://ecrance.net/files/CV-Enzo-Crance-en.pdf
Email: enzo [dot] crance [at] inria [dot] fr
Website: https://ecrance.net
Hi, I am Enzo Crance, a French PhD student in Computer Science (formal proof automation) in my last year, looking for opportunities in Europe in 2024, as a software engineer or research engineer, preferably on topics related to applied sciences. I am very familiar with functional programming (especially OCaml/Haskell) and have also gravitated around constraint logic programming during my PhD. I would enjoy pushing my knowledge further in these two domains, but I would also enjoy exploring the domain of computational physics as my elective courses at university belonged to it, or simply use my skills to contribute to projects with social utility. Feel free to contact me!