Channable
Victor Cacciari Miraldo is a skilled software engineer with a strong academic background in computer science, holding a PhD from Utrecht University and degrees from Universidade do Minho. Current experience includes a position as Software Engineer at Channable since September 2022. Prior roles encompass Formal Methods Engineer at Tweag, Software Verification and Testing Engineer at DFINITY, and Research Assistant at Oracle and Utrecht University. Victor's career also includes a summer internship at Oracle and research assistantships at Universidade do Minho, showcasing a well-rounded expertise in software development and verification.