are.dev

Miguel Aréjula Aísa

Software Engineer & MSc Student in Software Engineering

Miguel Aréjula Aísa

Experience

Industry Solutions Intern — MongoDB

July 2026 – September 2026

  • Built Leafy Wallet, an offline-first personal wallet demo for Financial Services that keeps balances, activity, contacts, and its AI assistant working with no connection at all.
  • Implemented bidirectional sync between an on-device ObjectBox store and MongoDB Atlas, with multi-document ACID transactions and reconciliation against the external payment platform on reconnect.
  • Developed a LangGraph agent over a local Ollama model, using semantic search over transaction notes (Atlas Vector Search online, ObjectBox HNSW offline) and MongoDB MCP read tools.
  • Shared the solution externally through a blog post, a MongoDB Solutions Library entry, and a YouTube walkthrough video.

Teaching Assistant — University of Southern Denmark

February 2026 – May 2026

Design of Reliable Cyber-Physical Systems

  • Supported students in software architecture and design patterns for cyber-physical systems, providing feedback on assignments and projects.
  • Conducted weekly exercise sessions to reinforce theoretical concepts with practical examples.

Software Engineer — University of Zaragoza

June 2024 – August 2025

Research Project TED2021-130449B-I00

  • Led development of a custom web application for the Traumatology Department (Hospital Clínico Lozano Blesa), from requirements gathering to delivery.
  • Built a full-stack system using React, Express, FastAPI, and PostgreSQL; streamlined operations for ~50 patients/day.
  • Designed and processed structured clinical data into relational models to enable formal clinical pathway validation.
Read More

Education

Master in Software Engineering — University of Southern Denmark

–

Coursework: Advanced Software Engineering Methodologies, Advanced Software Architecture and Analysis Techniques, Big Data and Data Science Technology.

University of Zaragoza

Bachelor in Software Engineering — University of Zaragoza

–

Coursework: Software Engineering, Distributed Systems, Concurrent and Distributed Programming, Software Architecture, Requirements Engineering, Verification & Validation, Agile Methodologies, Software Quality, Software Engineering Laboratory.

Achieved high honors in Information Systems II and Verification & Validation.

Cambridge English Advanced (C1)

Projects

Leafy Wallet GitHub →

MongoDB Industry Solutions

  • Offline-first wallet demo for Financial Services.
  • On-device ObjectBox store synced bidirectionally with Atlas.
  • LangGraph assistant over a local Ollama model.
  • Tools: Atlas, ObjectBox, Next.js, FastAPI, LangGraph, Ollama, Docker
Solutions Library Read More

CSV Table Viewer GitHub →

VSCode Extension

  • Visual Studio Code extension to visualize CSV files as interactive tables.
  • Sorting and filtering capabilities for efficient data exploration.
  • Published on the VSCode Marketplace, reaching developers who need quick CSV visualization tools.
  • Tools: TypeScript, VSCode API, WebView
Read More View on Marketplace

Message Broker GitHub →

  • Lightweight Go-based message broker supporting P2P, Pub/Sub, and request-reply patterns.
  • Robust error handling and retry mechanisms for distributed systems.
  • Tools: Go

Are-Dev GitHub →

  • Personal technical blog and YouTube channel on software engineering and modern web frameworks.
  • Publishes tutorials, project walkthroughs, and technical insights.
  • Tools: Astro, Vercel, Markdown

AgroNet GitHub →

  • Web platform connecting farmers, distributors, and consumers to promote sustainable agriculture.
  • Responsive and accessible interface with product traceability.
  • Integrated backend services for data management, authentication, and marketplace interactions.
  • Tools: Astro, TailwindCSS, Node.js, Express, MongoDB, Vercel, AWS
Read More

PlayBeat GitHub →

  • Streaming platform for music and podcasts with synchronized playback across devices.
  • Led front-end team and deployed web app on Vercel with Azure backend.
  • Managed synchronization logic and data flow between mobile and web clients.
  • Tools: Astro, Vercel, Node.js, Express, PostgreSQL, React Native, Azure
Read More

Energy Price Prediction GitHub →

Big Data Project

  • Analysis of DMI weather and national energy datasets to forecast electricity prices.
  • Aims to uncover renewable energy impacts, peak pricing, and seasonal trends.
  • Employs big data pipelines and ML models for predictive analytics.
  • Tools: Kafka, HDFS, Kubernetes, Spark, Python

PawPals GitHub →

  • Full-stack social network for pet owners with Laravel and PostgreSQL.
  • Containerized with Docker for deployment; implemented guest and role-based access.
  • Led the development team, managing delivery and quality.
  • Tools: Laravel, Docker

ByronHUB GitHub →

  • Space booking system for the Ada Byron building using DDD and hexagonal architecture.
  • Containerized with Docker Compose and deployed on AWS & Railway via GitHub Actions.
  • >80% automated test coverage with Jest, Postman, and CI/CD pipelines.
  • Tools: Node.js, TypeScript, React, PostgreSQL, RabbitMQ, Docker, AWS, Railway, Jest, GitHub Actions

Tech Stack

Programming

C C++ Java Python JavaScript TypeScript Go

Databases

PostgreSQL MongoDB

Web

HTML CSS TailwindCSS React Node.js Express Astro FastAPI

DevOps & Tools

Docker GitHub Actions Git VS Code

Infrastructure

AWS Vercel Render Railway Azure