
Armando Aguilar reyes
@armandoaguilarreyes
Cybersecurity research intern at CEFET-MG researching LLM-assisted synthesis of x86 ROP chains.
What I'm looking for
At CEFET-MG, I’m researching how large language models can analyze ROP gadget semantics and support x86 Return-Oriented Programming chain synthesis. I’m building an experimental pipeline to compare LLM-assisted analysis with heuristic, SAT/SMT-based, and naive LLM approaches.
At Virtua MX, I performed penetration tests across web applications, infrastructure, and cloud deployments, identifying vulnerabilities and developing proofs of concept to validate findings. I also used security tools and scripts for analysis and remediation support, audited PKI and X.509 configurations, and integrated security testing into CI/CD workflows.
At Investment in Motion, I was the main backend developer for Padel Band México, an e-commerce platform, and built several frontend views. I integrated Mercado Pago Checkout Pro and managed deployment and hosting through a partial production rollout.
Experience
Work history, roles, and key accomplishments
Cybersecurity Research Intern
CEFET-MG
Sep 2026 - Present (1 month)
Researching LLM-assisted synthesis of Return-Oriented Programming (ROP) chains on x86, evaluating LLM reasoning about gadget side effects, and building an experimental pipeline to compare LLM-assisted analysis against heuristic and formal approaches.
Cybersecurity & DevSecOps Intern
Virtua MX
Jan 2026 - May 2026 (4 months)
Performed penetration tests on web applications, infrastructure, and cloud deployments, identifying 20+ vulnerabilities and developing 21 proofs of concept. Audited PKI and X.509 configurations and integrated SAST into CI/CD workflows.
Full-Stack Developer Intern
Investment in Motion
Aug 2025 - May 2026 (9 months)
Main developer of the backend for a full-stack e-commerce platform using Next.js, TypeScript, Tailwind CSS, and Docker, including integration of the Mercado Pago Checkout Pro payment API and deployment on Hostinger.
Education
Degrees, certifications, and relevant coursework
Universidad Politécnica de Durango
Bachelor of Science, Software Engineering
2023 -
Grade: 9.30/10.00
Pursuing a B.S. in Software Engineering with an expected graduation in May 2027. GPA: 9.30/10.00, with relevant coursework in network security, programming, and web development.
AWS Academy
AWS Academy Cloud Architecting, Cloud Computing
2026 - 2026
Completed the AWS Academy Cloud Architecting course in 2026.
Cisco Networking Academy
CCNA – Cisco Certified Network Associate, Networking
2025 - 2025
Earned the CCNA – Cisco Certified Network Associate certification in 2025.
Coursera
Google Cybersecurity Certificate, Cybersecurity
2024 - 2025
Completed the Google Cybersecurity Certificate on Coursera from 2024 to 2025.
Oracle Academy
Oracle Academy Database Foundations, Database
2024 - 2024
Completed the Oracle Academy Database Foundations course in 2024.
AWS Academy
AWS Academy Introduction to Cloud, Cloud Computing
2023 - 2024
Completed the AWS Academy Introduction to Cloud course from 2023 to 2024.
Tech stack
Software and tools used professionally
Availability
Location
Authorized to work in
Salary expectations
Job categories
Interested in hiring Armando?
You can contact Armando and 90k+ other talented remote workers on Himalayas.
Message ArmandoGet 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!
