SEEKING WORK
  Location: Moscow, Russia
  Remote: Yes
  Willing to relocate: Very unlikely, but possible for the right role
  Technologies: Haskell, Python, C, C++, assembly (x86, ARM, PowerPC), Rust, Go, Swift, Coq, Agda
  Résumé/CV: Will provide via email
  Email: nikita+karetnikov-org (replace + with @ and - with .)

My most recent client project is a symbolic ARM64 emulator.
Some things I'd like to work on:
  * programming languages, compilers, and runtime systems
  * emulators and hypervisors
  * reverse engineering and security tooling such as 
    obfuscators, disassemblers, and decompilers
  * databases
  * distributed systems
  * computer graphics (visual effects)
  * games
  * machine learning projects.

I try not to limit myself to any particular area, so feel free to reach out if you think I can be of help. I'd be also interested in helping you build the technology side of your business from the ground up.