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.)
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!
Technologies: familiar with OCaml, Haskell, λProlog, Coq, open to learning /refreshing knowledge about other technologies (F#, Scala, Fortran, Julia, Rust, C/C++, etc)
Hi, I am a French PhD student in Computer Science (formal proof automation) in my last year, looking for opportunities in Europe in early 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!
(video in French) https://www.youtube.com/watch?v=S941N39XheA