João Reis
@jooreis
Software Engineer specializing in blockchain and functional programming.
PortugalWhat I'm looking for
I am a Software Engineer with a strong background in functional programming, formal verification, and blockchain technologies. My experience includes working at Mina Foundation, where I contributed to the development of the Mina Protocol’s node and tooling, enhancing blockchain scalability and developer experience. I am currently pursuing a Ph.D. in Computer Science, focusing on static analysis of smart contracts, which reflects my commitment to advancing the field of software engineering.
Throughout my career, I have demonstrated a passion for problem-solving and software optimization. I have been recognized for my quick problem-solving abilities and proactive collaboration within distributed teams. My academic journey has equipped me with a solid foundation in programming languages and compiler design, and I have consistently graduated in the top tier of my class. I thrive in environments that challenge me to expand my skill set and take on new challenges, particularly in the realms of blockchain and Web3 development.
Experience
Work history, roles, and key accomplishments
Blockchain & Web3 Software Engineer
Mina Foundation
Sep 2022 - Present (2 years 9 months)
As a Software Engineer at Mina Foundation, I contributed to the growth and success of the ecosystem by working on various projects related to Mina Protocol and Web3. My work spanned across the Mina node, indexers, L1 and L2 tooling, and internal organization tools, leveraging OCaml, Rust, and TypeScript to develop robust and efficient solutions. I was promoted within five months due to strong perf
Instructor
AFTEBI
Dec 2020 - Feb 2022 (1 year 2 months)
Instructor on the Technologies and Programming of Information Systems course. Modules taught included Programming, Object-oriented programming, Open source operating systems, and Web programming.
Monitor
University of Beira Interior
Jan 2018 - Dec 2021 (3 years 11 months)
Monitor in the Computer Science Department for “Theory of Computation” and Language Processing and Compilers.
Instructor
AFTEBI
May 2018 - Jan 2019 (8 months)
Instructor on the Technologies and Programming of Information Systems course. Modules taught included Server operating systems, Web programming, and Mobile app programming.
Education
Degrees, certifications, and relevant coursework
UIUniversity of Beira Interior
PhD, Computer Science and Engineering
My doctoral thesis targets automatic analysis and verification of Tezos smart contracts. This work will result in a generalized smart contract analysis framework that allows the design and execution of analyses such as a resource analysis of gas consumption framework. As a further contribution, this framework should also enable the generation of certificates that prove that a smart contract respec
UIUniversity of Beira Interior
MSc, Computer Science and Engineering
Grade: Top 3
Dissertation: SoftCheck, a generic and compositional platform for designing and executing static program analysis. Graduated top 3.
UIUniversity of Beira Interior
BSc, Computer Science and Engineering
Grade: Top 3
Course Final Project: Format Preserving Encryption and Java Language Based Security. Description: implementation of a Format Preserving Encryption and an Order Preserving Encryption schemes in Java. Graduated top 3.
Tech stack
Software and tools used professionally
Availability
Location
PortugalAuthorized to work in
Website
joaosreis.euJob categories
Interested in hiring João?
You can contact João and 90k+ other talented remote workers on Himalayas.
Message JoãoFind your dream job
Sign up now and join over 85,000 remote workers who receive personalized job alerts, curated job matches, and more for free!
