Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Ask HN: Who wants to be hired? (July 2025).
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.
There are no comments on this comment yet.
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.