Location: EU

Remote: Only

Willing to relocate: No

Technologies:

- Backend Programming: Zig, Rust, Haskell, Python, JS, TypeScript, Node, Vue, React, Elm, Scala, C, C++, SQL, Perl, PHP, Clojure, OCaml, Erlang, Elixir, Theorem provers (TLA+, Isabelle HOL, Agda, ...

- Fintech: Dev experience with banks and financial institutions. Launched Tezos and other major blockchains. Dozens of smart contract audits.

- Bizdev: Gamification, consumer modelling, data-driven retention and engagement

- Devops & co: Distributed Systems, Ansible, Terraform, AWS, Docker, Linux admin, ...

- AI: LLMs, predictive text, machine vision (trajectory tracking), DSP, Big Data, ...

- Infosec: Cryptography, Red team testing, RE, audits, threat modeling, ...

- Other tech: Godot game engine, audio engineering (mastering), Verilog, VHDL

Management and business: Minor in Psychology, led and managed teams between 2 and 30 people, product design and gamification, hiring, and a lot of other experience that won't fit in this post.

~~

20+ yoe as dev/IC. 10+ yoe in managerial and executive roles. Multiple great exits and acquisitions. Built tech for Tezos, Oracle, Shell, Digitas, Saatchi & Saatchi, Time Warner, Sparkasse, Bank of America.

If there's a problem related to tech, I can solve it - and make it sustainable. Available for work as dev/IC, EM, Director, or CTO, with experience in each. Full-solution MVP development from scratch. Performance optimization and modernization of older systems. DSL and programming language design, compilers. Let me know if you're looking for experience that isn't below! HN posts are short. CV upon request.

If you think I might be able to help you, shoot me an email: [email protected]

~~