Looks like you have JavaScript disabled. For the full Twine experience, you will need to re-enable it.

I'm Bernard Jonas, a Senior Software Engineer with 8+ years of experience designing and building complex, high-performance systems across functional and system programming environments. I have a deep technical grounding in Rust, C++, Haskell, and distributed systems, with a track record of transforming research ideas into real, testable prototypes. I excel at tackling blockchain consensus models, formal verification, and applied cryptography while maintaining clean, modular architectures. I work with high autonomy in experimentation-driven teams and consistently bridge theory with production-grade engineering.…I'm Bernard Jonas, a Senior Software Engineer with 8+ years of experience designing and building complex, high-performance systems across functional and system programming environments. I have a deep technical grounding in Rust, C++, Haskell, and distributed systems, with a track record of transforming research ideas into real, testable prototypes. I excel at tackling blockchain consensus models, formal verification, and applied cryptography while maintaining clean, modular architectures. I work with high autonomy in experimentation-driven teams and consistently bridge theory with production-grade engineering.

Bernard Jonas

Developer, Programmer, Web Developer, +2





I'm Bernard Jonas, a Senior Software Engineer with 8+ years of experience designing and building complex, high-performance systems across functional and system programming environments. I have a deep technical grounding in Rust, C++, Haskell, and distributed systems, with a track record of transforming research ideas into real, testable prototypes. I excel at tackling blockchain consensus models, formal verification, and applied cryptography while maintaining clean, modular architectures. I work with high autonomy in experimentation-driven teams and consistently bridge theory with production-grade engineering.…I'm Bernard Jonas, a Senior Software Engineer with 8+ years of experience designing and building complex, high-performance systems across functional and system programming environments. I have a deep technical grounding in Rust, C++, Haskell, and distributed systems, with a track record of transforming research ideas into real, testable prototypes. I excel at tackling blockchain consensus models, formal verification, and applied cryptography while maintaining clean, modular architectures. I work with high autonomy in experimentation-driven teams and consistently bridge theory with production-grade engineering.

Available to hire

I’m Bernard Jonas, a Senior Software Engineer with 8+ years of experience designing and building complex, high-performance systems across functional and system programming environments. I have a deep technical grounding in Rust, C++, Haskell, and distributed systems, with a track record of transforming research ideas into real, testable prototypes. I excel at tackling blockchain consensus models, formal verification, and applied cryptography while maintaining clean, modular architectures. I work with high autonomy in experimentation-driven teams and consistently bridge theory with production-grade engineering.

Skills

Experience Level

Expert

Expert

Expert

Expert

Expert

Expert

Expert

Expert

Expert

Expert

Expert

Expert

Expert

Expert

Expert

Intermediate

Intermediate

Intermediate

Intermediate

Intermediate

Language

English

Fluent

Work Experience

Senior Software Engineer at Ramp

August 2, 2025 - August 2, 2025

Led research-driven software prototypes for blockchain systems, transforming theoretical specifications into working, validated proof-of-concepts. Designed and implemented high-performance modules in Rust and C++, optimizing memory safety, concurrency, and execution speed. Mentored engineers in debugging complex distributed systems, profiling, and performance optimization.

Software Engineer at Arbisoft

August 1, 2023 - August 1, 2023

Developed and maintained core blockchain infrastructure components in Rust; contributed to Substrate runtime modules. Integrated smart contract layers and optimized transaction throughput and consensus stability. Architected multi-threaded data synchronization systems, improving performance by ~30%. Coordinated architecture reviews across teams to simplify and unify internal frameworks and tooling. Mentored engineers in debugging distributed systems and performance optimization.

Software Engineer at Seasia Infotech

September 1, 2018 - September 1, 2018

Built large-scale distributed pipelines handling real-time events with C++ and Python; implemented robust unit and property testing frameworks to ensure stability and deterministic performance. Integrated cryptography-focused research and optimized throughput.