srinidhin·昨年·議論Location: Germany, EURemote: Yes, prefer on-siteWilling to relocate: YesTechnologies: Automated reasoning (TLA+, formal methods); Core distributed systems (consensus protocols test - raft, distributed redis, blockchain consensus); Infrastructure EngineeringResume: https://www.srinidhin.com/docs/Resume.pdfEmail: hello [at] srinidhin [dot] comCompleted my PhD (Automated techniques for testing distributed protocol implementations) recently and building a model checker - jmc.mpi-sws.org. Interested in anything software.
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.