3 ms·
Location: UK Remote: Yes (or also on-site) Willing to relocate: Depends Technologies: Formal methods, automated reasoning and verification, modelling, HPC. I
by andrepd 4y ago
Location: UK
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