Soares Chen

Co-Founder

Leipzig, Saxony, Germany12 yrs 8 mos experience

Most Likely To SwitchHighly Stable

Key Highlights

Expert in Rust and functional programming.
Contributed to significant blockchain projects.
Strong foundation in software engineering and computer science.

Stackforce AI infers this person is a Blockchain and Software Development expert with a focus on Rust and functional programming.

Contact

Skills

Core Skills

RustFunctional ProgrammingInter-blockchain CommunicationHaskellWebrtcFace RecognitionGoNode.js

Other Skills

LLM inference infrastructuremodular programmingprogramming languagesmodular relayerNixAPI servicescross-browser testingtestingvideo processingOAuth2DockerCoffeeScriptEmber.jsCommon Lispmicroservice architecture

About

I am a dedicated Rust engineer passionate about functional programming, type theory, compiler design, formal methods, and the broader landscape of programming languages. In addition to Rust, I have deep expertise in many programming languages, including Haskell and JavaScript. My professional experience spans diverse domains, including blockchain development, web technologies, and machine learning. My personal mission is to leverage my expertise in programming languages and modularity to create high-quality software that can be rapidly prototyped, easily adaptable to evolving requirements, and thoroughly testable through isolation from side effects. I strive to ensure correctness by construction through the use of strong type systems whenever possible, and by employing formal verification to guarantee the correctness of core logic. With a strong foundation in software engineering and computer science, I excel at quickly adapting to new technologies, prototyping solutions rapidly, navigating complex codebases, and delivering meaningful contributions to teams. I am driven by curiosity, a commitment to technical excellence, and a desire to create impactful software solutions.

Experience

12 yrs 8 mos

Total Experience

2 yrs 7 mos

Average Tenure

7 yrs 4 mos

Current Experience

Tensordyne

Lead Software Engineer

Sep 2025 – Present · 8 mos · Germany · Remote

Develop the next generation LLM inference infrastructure in Rust.

RustLLM inference infrastructure

Context-generic programming

Creator

Jul 2022 – Present · 3 yrs 10 mos

Context-Generic Programming is a new modular paradigm for Rust. More info at https://contextgeneric.dev

Rustmodular programming

Informal systems

Rust Engineer

Apr 2021 – Apr 2025 · 4 yrs · Remote

Core developer for the [Hermes](https://github.com/informalsystems/hermes/) and [Hermes SDK](https://github.com/informalsystems/hermes-sdk/) projects, for building modular relayer in Rust for facilitating inter-blockchain communication (IBC).
Contribute to the integration of Inter-Blockchain Communication (IBC) between Cosmos and Non-Cosmos blockchains, including [Starknet](https://github.com/informalsystems/ibc-starknet) and [Sovereign SDK](https://github.com/informalsystems/hermes-sovereign-relayer).
Contribute to the development of a new version of the Inter-Blockchain Communication (IBC) protocol, [IBC Eureka](https://github.com/cosmos/ibc).
Contribute to the initial architecture of privacy-preserving blockchain for [Cycles](https://cycles.money/).
Start the [Cosmos.nix](https://github.com/informalsystems/cosmos.nix/) project for reproducible Nix build of executables used in the Cosmos ecosystem.
Design and implement [flex-error](https://github.com/informalsystems/flex-error), a lightweight Rust library that uses macros and traits to switch between different error tracing implementations and no_std

RustInter-Blockchain Communicationmodular relayer

Scrive

Haskell Developer

Jun 2019 – Jan 2021 · 1 yr 7 mos · Remote

Work on the Haskell back end of the Scrive API services.

HaskellAPI services

Maybevoid

Founder

Jan 2019 – Present · 7 yrs 4 mos

I build MaybeVoid.com to share about my knowledge in functional programming and programming languages.

Functional programmingprogramming languages

Cosmo software consulting pte ltd

Research Software Engineer

May 2017 – Dec 2018 · 1 yr 7 mos · Singapore

I work on the Web Platform Tests project [1], which is a cross-browser testsuite by W3C to test the compliance of web standards on major browser implementations. My primary contribution is on writing new test cases [2] and improve the test coverage for the WebRTC specification [3]. I also report spec issues on WebRTC that I found when writing the tests, and submit patches to fix them.
I have also work on developing WebRTC-based video conferencing systems that run on web, Android, and iOS clients. The technology is based on Jitsi Meet [4] and I help modify both the front end and back end to work for different use cases.
[1] http://web-platform-tests.org/introduction.html
[2] https://github.com/w3c/web-platform-tests/tree/master/webrtc
[3] https://w3c.github.io/webrtc-pc/
[4] https://jitsi.org/jitsi-meet/

WebRTCcross-browser testing

Deep labs

Senior Research Engineer

Oct 2015 – Mar 2017 · 1 yr 5 mos · Singapore

Develop face recognition system from scratch using open source libraries.
Capabilities include face verification, face identification, face tracking, emotion estimation, age gender recognition.
Runs in both GPU and CPU-only mode.
Support both batch and real time processing with video annotation.
Provide HTTP API to process real time video streams from various sources, including Raspberry Pi, camera device, and WebRTC.

face recognitionvideo processing

Nitrous.io

Software Engineer

Jan 2015 – Jun 2015 · 5 mos · Singapore

Implement OAuth2 authorization grant for third party sites to login with Nitrous.
Work on OAuth2 integration with GitHub.
Integrate Docker configuration with Nitrous.
Work on Back end API server using Go.
Work on front end user interfaces using CoffeeScript and Ember.js.

OAuth2DockerGoCoffeeScriptEmber.js