Toot

Written by Alexander Diemand on 2024-08-18 at 08:41

[#]FediHire I am searching for a software #engineer position #remote, travelling is ok, part time is fine, contracting is possible.

competencies 💪: software architecture and design, TDD, model-based testing, HPC, systems engineering, distributed computing, cryptography, security by design, data enginering, data science

core languages 😛: C++, Coq, OCaml, Haskell, R

tech stack⚙️: Kubernetes, PostgreSQL, dbt, Tekton, MinIO, Wireguard

love 😍: NixOS, FreeBSD, functional programming, formal methods

=> More informations about this toot | View the thread | More toots from codieplusplus@mastodon.online

Mentions

Tags

=> View FediHire tag | View engineer tag | View remote tag