Technologies: Formal methods, automated reasoning and verification, modelling, HPC. I'm fluent in C++, Rust, OCaml, Haskell, Python.
Résumé/CV: I'm a recent PhD grad (Computer Science, in the field of automated reasoning and formal verification), and I also hold an MSc in Physics (modelling and simulation). I'm proficient in low-level and functional languages, and I have experience in high-performance computing.
Remote: Yes (or also on-site)
Willing to relocate: Depends
Technologies: Formal methods, automated reasoning and verification, modelling, HPC. I'm fluent in C++, Rust, OCaml, Haskell, Python.
Résumé/CV: I'm a recent PhD grad (Computer Science, in the field of automated reasoning and formal verification), and I also hold an MSc in Physics (modelling and simulation). I'm proficient in low-level and functional languages, and I have experience in high-performance computing.
Please email me for a detailed CV.
Email: jobshn [ɑt] andrepd [dot] eu