cv

Postdoctoral Researcher

• Conduct research on Verification and Validation (V&V) of autonomous robotic systems within the Horizon Europe MATISSE project, with a focus on runtime verification, field-based testing, and formal requirements specification.
• Coordinate contributions from 14+ MATISSE consortium partners within WP3, supporting the development and delivery of the project's V&V service portfolio.
• Develop SpaceTry, an open-source scenario-based testing framework for autonomous space robotics, integrated with Space ROS and FRETish/FRET requirements.
• Develop RiTMOS for automated runtime monitor generation and Diagnosis, a research tool that applies evolutionary search to trace diagnosis in cyber-physical systems.
• Contribute to the international research community through 6+ publications since joining GSSI, with an overall research record of 20 publications, 355+ citations, and an h-index of 8.
• Organize and co-organize international scientific events, including RSE 2026, the RoSE Workshop, and RoME 2026, while also contributing to the research community as a keynote and invited speaker.
• Supervise and mentor researchers at PhD, Master's, and undergraduate levels, supporting research development across different stages of academic training.
• Collaborate with researchers across 8+ countries and maintain research repositories, academic websites, and replication packages supporting scientific dissemination and reproducibility.

Doctoral Researcher

• Investigated software engineering approaches for robotics and cyber-physical systems, focusing on runtime verification, field-based testing, and self-adaptation to improve system resilience.
• Produced 10+ peer-reviewed publications in journals and conference venues including IEEE TSE, IEEE TITS, IEEE Software, JSS, SEAMS, and ACSOS.
• Designed, developed, and maintained 5+ open-source research tools and artifacts, including BSN, RoboMAX, EzSkiROS, Driver-Vehicle Model, and ROS-RVFT (see research software).
• Created ROS-RVFT, a set of 20 guidelines for runtime verification and field-based testing, validated through responses from 55 practitioners.
• Contributed approximately 1,480 hours to teaching and departmental activities, including instruction and assessment for undergraduate and Master's-level courses.
• Supervised Bachelor's and Master's thesis projects, providing guidance throughout research and project development.
• Served as WASP Cluster Leader from 2021 to 2022, coordinating activities within an interdisciplinary research group.
• Reviewed research papers for venues including ICSE, FSE, ASE, SEAMS, ICRA, FASE, and TAAS.
• Participated in international conferences, workshops, summer schools, and research visits, including a six-month research stay at the Gran Sasso Science Institute (GSSI) in Italy.

Visiting Researcher

• Conducted doctoral research in Software Engineering for Robotics during a six-month research stay at GSSI (January–June 2022).
• Worked closely with GSSI researchers, expanding international research collaboration within the scope of the PhD project.
• Explored topics in Robotics Software Engineering and empirical software engineering as part of the ongoing doctoral research.
• Participated in the institute's academic and scientific activities, strengthening international research exchange and collaboration.

Technology & Telecommunications Intern

• Supported day-to-day team activities within a technology and telecommunications environment, assisting with operational requests and routine tasks.
• Developed hands-on experience in organization, analytical work, and internal support, building an early foundation for working in technology-driven environments.

PhD

• Thesis: From Chance to Choice: Strategies to Attaining Resilience in Cyber-Physical Systems
• Funded by the WASP Fellowship
• Supervised by Prof. Patrizio Pelliccione and Prof. Thorsten Berger

Master's Degree in Software Engineering and Dependability

• Thesis: An Architecture to Support Control Theoretical-based Verification of Goal-Oriented Adaptation
• Funded by CAPES; supervised by Prof. Genaína Nunes Rodrigues

Bachelor's Degree in Control and Automation Engineering

• Thesis: Prototyping and formal verification of autonomous system with real-time properties — a case study at Body Sensor Network
• One year of studies in Michigan, US, through the Science Without Borders study-abroad scholarship

MATISSE Project | Horizon Europe / KDT JU

WASP Fellowship | Wallenberg AI, Autonomous Systems and Software Program

PhD Thesis | Resilience in Cyber-Physical Systems

Scientific Research & Impact

Event Organization

• Co-organizer of Robotics and Software Engineering 2026 (RSE'26), IRI, Barcelona, Spain.
• Co-organizer of the 8th International Workshop on Robotics Software Engineering (RoSE'26), co-located with ICRA 2026, Vienna, Austria.
• Co-organizer of the Fourth Summer School on Robotic Mission Engineering (RoME 2026), Universidade de Brasília, Brazil.

Program Committees

• SEAMS 2027 Research Track, co-located with ICSE 2027, Dublin, Ireland.
• MAS-GAIN 2026 workshop, co-located with ASE 2026.
• CASA workshop, co-located with ECSA (since 2022; 2026 edition in Bolzano, Italy).

Peer Review

• Reviewer for venues including ICSE, FSE, ASE, SEAMS, ICRA, FASE, TAAS, TECS, Robotics and Autonomous Systems (RAS), and Robotics and Automation in Practice (RAP).

WASP Cluster Leader — Safety and Robustness Core Technology Cluster

• Coordinated activities within an interdisciplinary research group of circa 10 PhD students from five Swedish universities, organizing workshops, talks, and meetings.

Teaching Assistant

• Courses include Software Evolution Project, Software Engineering for Complex Systems, Agile Development Processes, and Requirements Engineering (BSc and MSc).
• Individual and group supervision, course organization, lecturing, and assessment.
• Full list of courses, supervised theses, and invited lectures on the teaching page.

Teaching Assistant

• Engenharia de Software (BSc).

• Caldas, R., et al. "Runtime verification and field-based testing for ROS-based robotic systems", IEEE Transactions on Software Engineering (TSE), 2024.
• Caldas, R., et al. "A hybrid approach combining control theory and AI for engineering self-adaptive systems", SEAMS, 2020.
• Gil, E. B., Caldas, R., et al. "Body Sensor Network — A self-adaptive system exemplar in the healthcare domain", SEAMS, 2021.
• Full list: publications page · Semantic Scholar

• Robotics and Software Engineering 2026 (RSE'26). Institut de Robòtica i Informàtica Industrial (IRI), Barcelona, Spain. Presented "Digital Twins for Verification and Testing of On-Orbit Robot Services." 2026. (Annual Meeting).
• SPACERAISE Summer School on Robotics and Space. Gran Sasso Science Institute (GSSI), L'Aquila, Italy. Lectured "Resilient Robotics for Space - Verifying, Testing, and Adapting Beyond Earth." 2026. (Summer School).
• 2024 ACM International Conference on the Foundations of Software Engineering (FSE). Presented "Towards an Engineering Discipline for Resilient Cyber-Physical Systems", 2024. Doctoral Symposium.
• First Summer School on Robotic Mission Engineering. Universidade de Brasilia, Brasil. Presented "The Way Research on Software Engineering for Robotics." 2023. (Workshop).
• TAROT - Summer School on Software Testing, Verification & Validation. London, UK. 2023. (Summer School).
• WARA Public Safety Summer School. Linkoping, Sweden. 2023. (Summer School).
• WASP Winter Conference. Norrkoping, Sweden. Presented "Roboticists want to build resilient robots... but they can't!". 2023. (Conference).
• Robotics Software Engineering 2022. "Verification of ROS-based Systems Guidelines for Developers and QA teams." 2022. (Annual Meeting).
• 2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOSC). Presented "Towards Mapping Control Theory and Software Engineering Properties using Specification Patterns". 2021. (Conference).
• 2021 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS). Presented "Body Sensor Network A Self-Adaptive System Exemplar in the Healthcare Domain". 2021. (Conference).
• 2020 IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and SelfManaging Systems. Presented "A Hybrid Approach Combining Control Theory and AI for Engineering Self-Adaptive Systems". 2020. (Conference).

Research Assistant

• Building, programming, and experimenting on aerial unmanned vehicles under the supervision of Prof. James Mynderse.
• Financed by the program Science Without Borders CNPq/CAPES.

Research Assistant

• Exploratory research on the Quicksort algorithm and its applications under the supervision of Prof. Carla Koike.
• Financed under the project Young Talents for Science CNPq.

• WASP Fellowship — full PhD funding (2020–2024)

• Science Without Borders Study Abroad Program

• Young Talents for Science