Comment by whiring8891af

Location: UK & EU

Remote: Yes

Willing to relocate: Yes, worldwide

Technologies: Ruby, Scala, Julia, Python, R, Stan, NixOS, and others

Résumé/CV: PhD from Oxford, BSc & MSc in CS, MSc in ML, >10 years of experience

Email: cambridge1234 at tuta dot io

I have significant experience in symbolic AI (expert systems and term rewriting) and formal verification (theorem proving, program analysis, and model checking), as well as in probabilistic programming, statistics (GLMMs, extreme value theory, and heavy-tailed time series), and modern AI (e.g. deep generative models). I am willing to consider positions a bit outside these areas in case they are related to interesting problem domains or technologies.