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.
Such a nice post!! Since 2017-18, even I have had the desire to jump into Android Dev, I tried a couple of times, but it couldn't hold my attention for more than a couple of weeks. Also, I think doing Mobile/Desktop development in general is a pain in the ass, as the platforms are very fragmented and they would never arrive at a single platform due to corporate interests. Since working n the industry, I eventually found out that I had more inclination for Backend/Systems Engineering stuff and look forward to develop my skills in these domains.
Hey, I just skimmed through this, it seems to be brilliant!! Just one question, can one go through this tutorial without much knowledge about Ruby? Should one read it with 'Ruby Under a Microscope'? I have a decent enough knowledge about compilers, have gone through Thorsten Ball's, 'Writing an Interpreter in Go'.
I'm currently diving deep into Compilers and Programming Language Theory. Have subscribed to the subreddit/Discord of r/ProgrammingLanguages. Also trying to implement/read these books:
1. 'Write a Interpreter in Go' by Thorsten Ball
2. 'Write a Compiler in Go' by Thorsten Ball
3. 'Crafting Interpreters' by Bob Nystrom
4. 'Ruby under a Microscope' by Pat Shaughnessy
Also, I'm trying to learn Racket in my spare time.
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.