José Ribeiro Neto, Developer in London, United Kingdom
José is available for hire
Hire José

José Ribeiro Neto

Verified Expert  in Engineering

Back-end Developer

Location
London, United Kingdom
Toptal Member Since
March 1, 2022

José is a passionate software developer, excelling in Rust and C++, but his adaptability shines as he chooses the right language for each challenge. José values DevOps, prioritizing automation in benchmarks and tests to deliver top-quality, high-performance code.

C++AlgorithmsSoftwareDistributed SystemsMultithreadingBack-end DevelopmentLinuxNVIDIA CUDAOpenMPPythonPython 3QtFirebaseSOAPGitGurobi

Portfolio

Space and Time, Inc
GPU Computing, Graphics Processing Unit (GPU), NVIDIA CUDA...
High-performance Geophysics Lab (HPG CEPETRO)
C++, NVIDIA CUDA, MPI, OpenMP, Python, Qt, OpenGL, Django, Amazon EC2, APIs...

Experience

Linux - 6 yearsC++ - 5 yearsScientific Computing - 4 yearsOpenMP - 4 yearsNVIDIA CUDA - 4 yearsNumerical Methods - 4 yearsPython - 3 yearsAndroid - 2 years

Availability

Part-time

Preferred Environment

Linux, C++, Visual Studio Code (VS Code)

The most amazing...

...project I've developed is a memory-efficient sparse tomography algorithm, reducing resource usage by 25 times.

Work Experience

GPU and Parallel Computing Engineer

2022 - 2023
Space and Time, Inc
  • Contributed to open-source projects Blitzar and Blitzar-rs, implementing GPU-based cryptographic primitives for Proof of SQL, a zero-knowledge protocol for SQL operations.
  • Conducted benchmarking in cloud-based instances using Callgrind and flame graph tools. Developed a Rust-based SQL parser for mapping parsed nodes to Proof of SQL and Polars Rust expressions.
  • Created initial prover and verifier services to run query processing using Protobuf and Tokio Rust libraries.
  • Developed Rust indexers for major blockchains like SUI and Polygon.
  • Orchestrated diverse CI pipelines, including static analysis, unit tests, code coverage, end-to-end integration tests, and daily automated benchmarks with Slack performance updates.
  • Set up a Kubernetes cluster with Helm charts to run GPU-based demos on Dockerized services, PostgreSQL, Kafka, and Redis.
Technologies: GPU Computing, Graphics Processing Unit (GPU), NVIDIA CUDA, Parallel Programming, C++, Rust, SQL, DevOps

Software Developer

2018 - 2022
High-performance Geophysics Lab (HPG CEPETRO)
  • Translated MATLAB tomography into C++/CUDA, reducing memory usage by over 25 times, resulting in savings of +200 GB.
  • Created a novel metaheuristic, achieving over five times speedup in optimizing seismic objectives.
  • Accelerated seismic algorithms using C++ and parallel programming libraries (OpenMP, CUDA, MPI).
  • Designed UIs in C++, Qt, and OpenGL for 2D/3D wave propagation.
  • Proposed memory optimization in reverse time migration, achieving over two times memory reduction (-1 TB).
  • Secured funding from Petrobras for seismic objective function research.
  • Implemented adaptive differential evolution (JADE) for optimization acceleration over two times.
  • Employed Python visualization tools to enhance differential evolution algorithm analysis.
Technologies: C++, NVIDIA CUDA, MPI, OpenMP, Python, Qt, OpenGL, Django, Amazon EC2, APIs, Multithreading, Open MPI, Back-end Development, Git, Distributed Systems, Amazon Web Services (AWS), GPU Computing, Graphics Processing Unit (GPU), Parallel Programming, C

Pureco App

As a member of the Pureco project, I developed the Android application called Pureco Limpeza, simplifying cleaning service contracting for busy Unicamp students and supporting ladies from Vila Esperança, Campinas, Brazil. The app garnered over a thousand downloads on Google Play, facilitated 500+ cleanings, and positively impacted more than four women. This experience honed my Android development skills and introduced me to technologies like Google Firebase. Additionally, I contributed to the Enactus marketing team, forging partnerships with local businesses to expand our initiatives within the Unicamp and Vila Esperanca community, including Lumière English School and Serasa Campinas.

Scadroid

https://github.com/joe-stifler/Scadroid
Revived obsolete computers using a lightweight Linux distribution, integrated them with Arduino and IoT devices, and employed ScadaBR open-source software for resource monitoring and control in a house. Developed Scadroid, an open-source Android app, for remote IoT control and resource usage tracking via ScadaBR.

NP-hard Problem Solving

https://github.com/joe-stifler/mc658-projects
Solved labor-constrained scheduling using MiniZinc, achieving top results. Tackled degree-constrained MST with C++ Lagrangian and evolutionary heuristics, also achieving top results. Solved five integer programming problems using Julia/Gurobi and Gnumeric/LPSolve.

Languages

C++, Python, Python 3, Java, Kotlin, C, Julia, Rust, SQL, Bash

Frameworks

Qt, Django, Flask

Libraries/APIs

OpenMP, Firebase Android SDK, MPI, OpenGL, Open MPI

Paradigms

Parallel Programming, REST, Testing, DevOps

Platforms

Linux, NVIDIA CUDA, Firebase, Android, Visual Studio Code (VS Code), Amazon EC2, Amazon Web Services (AWS), Docker, Kubernetes, Blockchain

Other

Numerical Methods, Scientific Computing, Back-end Development, Multithreading, Software, Algorithms, Distributed Systems, GPU Computing, Graphics Processing Unit (GPU), APIs, Supervisory Control & Data Acquisition (SCADA), SOAP, Mathematics, MiniZinc, Integer Programming, Heuristics, Smart Contracts, Benchmarking, Integration Testing, Deployment, GitHub Actions, Semantic-release, Open Source, Cryptography, Computer Science, Machine Learning

Tools

Apache Tomcat, Git, Gurobi, Docker Compose, Helm, CircleCI

2023 - 2023

Master's Degree in Computer Science

Imperial College London - London, UK

2016 - 2021

Bachelor's Degree in Computer Engineering

State University of Campinas (UNICAMP) - Campinas, São Paulo - Brazil

SEPTEMBER 2021 - SEPTEMBER 2023

Test of English as a Foreign Language (TOEFL) | Score: 92

Educational Testing Service (ETS)

Collaboration That Works

How to Work with Toptal

Toptal matches you directly with global industry experts from our network in hours—not weeks or months.

1

Share your needs

Discuss your requirements and refine your scope in a call with a Toptal domain expert.
2

Choose your talent

Get a short list of expertly matched talent within 24 hours to review, interview, and choose from.
3

Start your risk-free talent trial

Work with your chosen talent on a trial basis for up to two weeks. Pay only if you decide to hire them.

Top talent is in high demand.

Start hiring