Hi, I'm Divyaank! I am looking for Software Engineering roles focused towards backend, data, infrastructure and distributed systems. I possess around five years of experience in the Systems domain spanning across industry and academia. I am proficient in Java, Python, Kubernetes, SQL, bash and have dabbled with Scala, C, Go, JavaScript, Spin/Promela. I am affiliated with the File systems and Storage Lab (FSL) (https://www.fsl.cs.stonybrook.edu/). I have worked on implementing Containerization support (using Kubernetes, Docker 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.
Before FSL, I worked for three years in the FinTech industry at MSCI Inc., first as a Site Reliability Engineer (earning a fast-tracked promotion in the process) and then as a Backend Engineer.
Hi, I'm Divyaank! I am looking for Software Engineering roles focused towards backend, data, infrastructure and distributed systems. I possess around five years of experience in the Systems domain spanning across industry and academia. I am proficient in Java, Python, Kubernetes, SQL, bash and have dabbled with Scala, C, Go, JavaScript, Spin/Promela. I am affiliated with the File systems and Storage Lab (FSL) (https://www.fsl.cs.stonybrook.edu/). I have worked on implementing Containerization support (using Kubernetes, Docker and Kata Containers) for Swarm Verification (https://spinroot.com/swarm/) used by Metis (https://github.com/sbu-fsl/Metis). This work is currently under submission with me as a co-first author. 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.
Before FSL, I worked for three years in the FinTech industry at MSCI Inc., first as a Site Reliability Engineer (earning a fast-tracked promotion in the process) and then as a Backend Engineer.
Hi, I'm Divyaank! I am looking for Software Engineering roles focused towards backend, data, infrastructure and distributed systems. I am proficient in Java, Python, Kubernetes, SQL, bash and have dabbled with Scala, 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, Docker 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.
Before FSL, I worked for three years in the FinTech industry at MSCI Inc., first as a Site Reliability Engineer (earning a fast-tracked promotion in the process) and then as a Backend Engineer.
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.
As a part of Gen Z, I feel that with regards to critical thinking skills, our generation got obliterated twice, first with Social media (made worse with affordable data plans) then followed by GenAI tools. You truly need a monk level mind control to come out unscathed from their impact.
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.
Willing to relocate: Yes
Technologies: Java, Python, Scala, C, bash, Golang, SQL (Oracle, SQL Server, SQLite), JavaScript, HTML, CSS, Linux, Kubernetes, Docker, Kata Containers, Apache Ignite, Caffeine, gRPC, Spring, Prometheus, Grafana.
Résumé/CV: https://drive.google.com/file/d/1AtqD3KNSGepJzbthrpjGO33knVc...
Email: divyaankt21 [at] gmail [dot] com
Hi, I'm Divyaank! I am looking for Software Engineering roles focused towards backend, data, infrastructure and distributed systems. I possess around five years of experience in the Systems domain spanning across industry and academia. I am proficient in Java, Python, Kubernetes, SQL, bash and have dabbled with Scala, C, Go, JavaScript, Spin/Promela. I am affiliated with the File systems and Storage Lab (FSL) (https://www.fsl.cs.stonybrook.edu/). I have worked on implementing Containerization support (using Kubernetes, Docker 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.
Before FSL, I worked for three years in the FinTech industry at MSCI Inc., first as a Site Reliability Engineer (earning a fast-tracked promotion in the process) and then as a Backend Engineer.