My Experience

πŸ’» Junior Software Engineer β€” Critical Manufacturing

πŸ“… January 2025 β€” October 2025

  • Member of the Technology – Platform team.
  • Responsible for maintaining and improving the CM MES platform.
  • Added new QoL features and testing coverage.
  • Technologies used: .NET, Angular, SQL Server, Kubernetes, Node.js, Azure DevOps, etc.

πŸŽ“ Invited Assistant β€” Universidade do Minho

πŸ“… September 2022 β€” Present

  • Lecturer of Functional Programming, Imperative Programming, and Language Processing classes, among others.
  • Supervising Master Dissertations.

πŸ”¬ Researcher - HASLab/INESC TEC

πŸ“… 2023 - 2026

  • Research in the areas of Automatic Program Repair and Infrastructure as Code.
  • Paper published and presented at APR 2024.

πŸ”¬ Research Initiation Scholarship β€” Centro ALGORITMI

πŸ“… September 2022

  • Research Grant β€œVerΓ£o com a CiΓͺncia 2022”.
  • Research and development of two small projects in the area of language processing and DSLs.

πŸ’» Fullstack Developer Intern β€” Subvisual

πŸ“… Summer 2021

  • Developed a full-stack application, using Ruby on Rails and Tailwind CSS.

🏫 Co-director of Pedagogical Department β€” CeSIUM

πŸ“… Academic Year 2021/22

  • Organizer, tutor, and host of various educational activities, including talks, workshops, and study sessions.

My Education

πŸŽ“ Master's in Informatics Engineering β€” Universidade do Minho

πŸ“… 2018 β€” 2023

  • GPA of 17 out of 20.
  • Specialization in Intelligent Systems and Language Engineering.
  • Master Dissertation β€” β€œACE Grader - Automatic Grading of Programming Exercises” β€” graded with 18 out of 20 points.

My Publications

πŸ“„ OCRticle - a Structure-Aware OCR Application

Sofia Santos; JosΓ© JoΓ£o Dias de Almeida

πŸ“„ Large Language Models in Automated Repair of Haskell Type Errors

Sofia Santos; JoΓ£o Saraiva; Francisco Ribeiro

  • Conference Paper
  • Presented at APR'24.

πŸ“„ A Quiz Creation Tool To Support Programming Classes

Joana Alves; Sofia Santos; Pedro Rangel Henriques

  • Conference Paper
  • Presented at Applied Computing 2024.

My Conferences

  • Speaker @ ARP 2024
  • Local Organization Chair @ IFL 2023
  • Speaker @ QueerJS 2023
  • Speaker @ SLATE'23

My Skills

Python

100%

Web Dev

100%

Elixir

90%

C# / .NET

90%

Haskell

80%

C / C++

70%

DBMS

70%

Java

60%

DevOps

50%

(Some of) My Projects

ACE Grader

  • Automatic grading tool for programming exercises.
  • Developed as part of Master Dissertation.
  • Full-stack Phoenix web application.
  • Uses static and dynamic analysis for grading.

OCRticle

  • Performs OCR while maintaining text structure.
  • Python desktop application, uses Tesseract OCR engine.

Personal website

  • You're looking at it right now :D
  • Developed with Astro, Alpine and Tailwind.