Looking for a job

Tarandeep Kaur

@tarandeepkaur2

Message

Computer Science student building software, web interfaces, and verified hardware systems.

India

Message

What I'm looking for

I’m looking to apply my software and verification skills to build reliable products—whether that’s web experiences or hardware-adjacent logic—while learning from strong teams that value clear engineering and rigorous testing.

I’m a B.Tech in Computer Science and Engineering (IIT Guwahati) focused on building end-to-end systems, from responsive web interfaces to hardware-oriented software. In my course work, I designed and implemented a 5-stage pipelined MIPS in Verilog, developing modular datapath components and validating behavior with testbenches.

I also built an “Automatic Assertion Generator” that uses LLMs to generate temporal logic assertions, then verifies and refines them using nuXmv and counterexamples. Alongside technical projects, I’ve taken leadership roles—running media campaigns for a 50+ member literary society and coordinating events—so I’m comfortable owning execution, communication, and iteration with real feedback.

Experience

Work history, roles, and key accomplishments

Current

Automatic Assertion Generator

Current

Indian Institute Of Technology, Guwahati

Feb 2026 - Present (4 months)

Built a multi-layer pipeline that generates temporal logic assertions from natural-language system descriptions using LLMs. Used multi-model voting, nuXmv model checking with counterexample extraction, and clustering/subsumption to produce minimal assertion sets.

LLM Temporal Logic Assertions NuXmv Model Checking Multi Model Voting Clustering Subsumption Counterexample Analysis

Current

Media Head - Lit-Soc Club

Current

Lit-Soc Club, IIT Guwahati

Mar 2025 - Present (1 year 3 months)

Managed social media campaigns for a 50+ member literary society, increasing post engagement through consistent branding and timely event coverage. Designed promotional content using Canva and Adobe Express and coordinated real-time posting across events.

Social Media Management Content Design Canva Adobe Express Event Coordination Scheduling Brand Consistency

Hospital Management Information System

independent

Mar 2026 - Apr 2026 (1 month)

Developed a comprehensive system to streamline hospital management operations through a centralized platform.
Integrated DB and CRUD operations using backend frameworks and SQL ensuring storage and retrieval of data.
Built responsive frontend interfaces using web technologies to provide smooth navigation and efficient interaction.

Django Django REST Framework NodeJS React JWT TailwindCSS JavaScript JavaScript (Node.Js JavaScript API

Responsive Website

Independent Project

Jun 2025 - Jul 2025 (1 month)

Built a responsive website using HTML, CSS, and JavaScript with cross-device compatible layout and media-query driven styling. Implemented dark/light toggle via CSS custom properties and added scroll reveal animations using ScrollReveal.js.

HTML CSS JavaScript Responsive Design Media Queries ScrollReveal.Js

MIPS Pipelined Verilog

Indian Institute Of Technology, Guwahati

Mar 2025 - Apr 2025 (1 month)

Designed and implemented a 5-stage pipelined MIPS processor in Verilog with modular datapath components and coordinated stage-wise execution using registers. Verified correct pipeline flow and stage interactions with testbenches.

Verilog MIPS

Education

Degrees, certifications, and relevant coursework

Indian Institute of Technology Guwahati

Bachelor of Technology (B.Tech), Computer Science and Engineering

2023 -

Activities and societies: Course/self projects: 5-stage pipelined MIPS in Verilog (Mar 2025–Apr 2025) and an automatic assertion generator using LLMs with nuXmv verification (Feb 2026–present).

Pursuing a B.Tech in Computer Science and Engineering at IIT Guwahati since 2023.