Hi, I'm Divyaank! I am a Masters in Computer Science student at Stony Brook University graduating in May 2025. I am looking for Backend, Distributed Systems and SRE positions. I am proficient in Java, Python, Kubernetes, SQL, bash and have dabbled with Scala, C/C++, Go, JavaScript, Spin/Promela. I am currently working with Prof. Erez Zadok in his File systems and Storage Lab (FSL) (Link: https://www.fsl.cs.stonybrook.edu/). I am presently working on implementing Containerization support (using Kubernetes and Kata Containers) for Swarm Verification (https://spinroot.com/swarm/) used by Metis (https://github.com/sbu-fsl/Metis). Previously, I used Metis to discover kernel hang bugs in the Journaled File System and submitted patches to the Linux kernel to fix these bugs[https://lore.kernel.org/lkml/8c7b1d37-758a-46b2-b8aa-afd3331..., https://lkml.org/lkml/2024/7/5/899]. Additionally, I have also volunteered as an Artifact Evaluator at ASPLOS '25 and FAST '25 conferences.
Remote: Open to any form of work (Remote, Hybrid, In-office)
Willing to relocate: Yes
Résumé/CV:
https://drive.google.com/file/d/1Dkt5iuSmAAPYsUZnFrzmoapc4jE...
Email: divyaankt21 [at] gmail [dot] com
Hi, I'm Divyaank! I am a Masters in Computer Science student at Stony Brook University graduating in May 2025. I am looking for Backend, Distributed Systems and SRE positions. I am proficient in Java, Python, Kubernetes, SQL, bash and have dabbled with Scala, C/C++, Go, JavaScript, Spin/Promela. I am currently working with Prof. Erez Zadok in his File systems and Storage Lab (FSL) (Link: https://www.fsl.cs.stonybrook.edu/). I am presently working on implementing Containerization support (using Kubernetes and Kata Containers) for Swarm Verification (https://spinroot.com/swarm/) used by Metis (https://github.com/sbu-fsl/Metis). Previously, I used Metis to discover kernel hang bugs in the Journaled File System and submitted patches to the Linux kernel to fix these bugs[https://lore.kernel.org/lkml/8c7b1d37-758a-46b2-b8aa-afd3331..., https://lkml.org/lkml/2024/7/5/899]. Additionally, I have also volunteered as an Artifact Evaluator at ASPLOS '25 and FAST '25 conferences.