Location: Belgrade Remote: Yes Willing to relocate: Depends Technologies: Go, TLA+, Z3/SMT, C/C++, Java, C#, Python, JavaScript/TypeScript, PostgreSQL/SQL, Docker, Kubernetes, distributed systems, consensus protocols, formal verification, conformance testing, performance optimisation, CAN LEARN QUICKLY ON THE JOB CV:https://drive.google.com/file/d/1i9hifElkIgJDd-nDfgC2RiQw1A7... Email: matijakup@gmail.com