Salvador Correia
@salvadorcorreia
Junior software engineer building open source tools on Linux, including Sortium with 1,800+ downloads.
PortugalWhat I'm looking for
At Instituto Superior Técnico, I completed an MSc in Computer Science and Engineering with a cybersecurity specialisation. My thesis, developed in collaboration with Carnegie Mellon University, was PoCEval, a static analysis tool for detecting invalid security exploits.
For PoCEval, I built a tool that detected 95.9% of invalid exploits among 197 LLM-generated examples and accepted 97.3% of 771 valid exploits, with a median processing time of 2.08 ms per exploit.
I maintain Sortium, an open source Steam client plugin that sorts game libraries using completion data from HowLongToBeat. It was accepted into the official Millennium plugin database and has 1,800+ downloads.
I also merged fixes in MuseScore and contributed pull requests to Steam client plugins. I use Linux daily and work with Rust, Python, C/C++, TypeScript, JavaScript, and Lua; I’m looking for a junior software engineering role on Ubuntu.
Experience
Work history, roles, and key accomplishments
Develops and maintains Sortium, an open source Steam client plugin that sorts libraries with completion data from HowLongToBeat, with 1,800+ downloads and 27 GitHub stars.
Thesis Researcher
Instituto Superior Técnico
Jan 2026 - Dec 2026 (11 months)
Developed PoCEval, a static analysis tool for detecting invalid security exploits in npm packages, achieving 95.9% detection of invalid exploits and 97.3% acceptance of valid ones.
Created a command-line password strength analyser in Rust and published a post-mortem on entropy-based scoring limitations.
Open Source Contributor
MuseScore
Jan 2024 - Dec 2026 (2 years 11 months)
Merged a fix for staff creation when an instrument is selected in the MuseScore open source music notation software.
Open Source Contributor
steam-easygrid and steam-librarian
Jan 2024 - Dec 2026 (2 years 11 months)
Contributed 3 merged pull requests, a feature update, and settings UI fixes to Steam client plugins.
CTF Team Member
Security Team Técnico
Jan 2023 - Dec 2026 (3 years 11 months)
Competed in CTFs focusing on binary exploitation and reverse engineering.
Student Mentor
Instituto Superior Técnico
Jan 2022 - Dec 2023 (1 year 11 months)
Mentored freshmen and exchange students in the university's mentoring programme.
Education
Degrees, certifications, and relevant coursework
Instituto Superior Técnico, Universidade de Lisboa
MSc, Computer Science and Engineering
2024 - 2026
Activities and societies: Exchange semester at Kyung Hee University, South Korea (2025), all courses taught in English.
MSc in Computer Science and Engineering with a Cybersecurity specialisation. Thesis on automatic detection of invalid security exploits, in collaboration with Carnegie Mellon University.
Instituto Superior Técnico, Universidade de Lisboa
BSc, Computer Science and Engineering
2021 - 2024
BSc in Computer Science and Engineering from Instituto Superior Técnico, Universidade de Lisboa.
Availability
Location
PortugalAuthorized to work in
Portfolio
github.com/SalvadorCorreia/SortiumSalary expectations
Job categories
Interested in hiring Salvador?
You can contact Salvador and 90k+ other talented remote workers on Himalayas.
Message SalvadorGet matched with your dream remote job
Sign up now and join over 250,000+ remote workers who receive personalized job alerts, curated job matches, and more for free!
