Location: New York

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 looking for Backend Engineering, Data Engineering and Distributed Systems positions. I am proficient in Java, Python, Kubernetes, SQL, bash and have dabbled with Scala, C/C++, Go, JavaScript, Spin/Promela. I am affiliated with the File systems and Storage Lab (FSL) (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.