←back to thread

Ask HN: Who wants to be hired? (July 2025)

128 points whoishiring | 1 comments | 01 Jul 25 15:01 UTC | HN request time: 1.429s | source

Share your information if you are looking for work. Please use this format:

  Location:
  Remote:
  Willing to relocate:
  Technologies:
  Résumé/CV:
  Email:
Please only post if you are personally looking for work. Agencies, recruiters, job boards, and so on, are off topic here.

Readers: please only email these addresses to discuss work opportunities.

There's a site for searching these posts at https://www.wantstobehired.com.

1. srinidhin ◴[01 Jul 25 22:46 UTC] No.44438636[source]▶
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.