Technologies: Interested in distributed systems and cryptography. Prefer working with Nix, Haskell (or higher), Rust, Zig, Whiteboard (or pen and paper) and although I don't know how to use them very well I'd want to work with 'protocol languages' like tla+, verifpal, alloy, tamarind and develop algebras for systems.
Resume: Request it by email.
Email: ilmu rishi.is
I am a starting masters student (constructive mathematics) with a couple of years of professional software development experience looking for a part time job that can become full time once I finish my degree. Work experience is with go, python+django, js+react+redux, postgres etc.
Remote: Yes this is the only way right now.
Willing to relocate: Yes in a couple of years.
Technologies: Interested in distributed systems and cryptography. Prefer working with Nix, Haskell (or higher), Rust, Zig, Whiteboard (or pen and paper) and although I don't know how to use them very well I'd want to work with 'protocol languages' like tla+, verifpal, alloy, tamarind and develop algebras for systems.
Resume: Request it by email.
Email: ilmu rishi.is
I am a starting masters student (constructive mathematics) with a couple of years of professional software development experience looking for a part time job that can become full time once I finish my degree. Work experience is with go, python+django, js+react+redux, postgres etc.