Comment by srinidhin

Location: Germany, EU

Remote: Yes, prefer on-site

Willing to relocate: Yes

Technologies: Automated reasoning (TLA+, formal methods); Core distributed systems (consensus protocols test - raft, distributed redis, blockchain consensus); Infrastructure Engineering

Resume: https://www.srinidhin.com/docs/Resume.pdf

Email: hello [at] srinidhin [dot] com

Completed my PhD (Automated techniques for testing distributed protocol implementations) recently and building a model checker - jmc.mpi-sws.org. Interested in anything software.