Looking for a job

Juan Miguel Salamanca

@juanmiguelsalamanca

Senior Rust engineer at Cryptio; previously developed cryptographic protocols and led Nada Language, Compiler and MPC VM work.

United Kingdom

Message

At Cryptio, I work as a Senior Rust Engineer. Previously, at Nillion, I was Technical Lead and line manager for the team developing the Nada Language, Compiler and MPC VM, including implementation of MPC and FHE protocols in Python and Rust.

I founded SCANOSS, an open, configurable engine for always-on analysis of live code and software bill of materials creation. Across roles at IBM, Apple, BT and other organizations, I worked on cloud platforms, eCommerce systems, security controls and software architecture.

Experience

Work history, roles, and key accomplishments

Current

Senior Rust Engineer

Current

Cryptio

Dec 2025 - Present (10 months)

Senior Rust Engineer at Cryptio, a crypto accounting platform.

Rust

Staff Engineer

OneBalance

Apr 2025 - Dec 2025 (8 months)

Staff Engineer at OneBalance.

Strategy Advisor

SCANOSS

Apr 2021 - Apr 2025 (4 years)

Strategy Advisor at SCANOSS, an open-source SBOM engine.

Senior Software Engineer

Nillion

Jul 2023 - Jan 2025 (1 year 6 months)

Technical Lead responsible for the Nada Language, Compiler and MPC VM. Implemented cryptographic protocols (MPC, FHE) using Python and Rust.

Python Rust MPC FHE Compiler Design Principles

Senior Security, Risk, Compliance Software Developer

IBM

Nov 2021 - Feb 2023 (1 year 3 months)

Developed tools and strategies to assess security controls and adherence to policy. Served as Subject Matter Expert for service control implementation and audit engagements.

Security Compliance SRE Audit Automation

Senior Data Architect

Unit4

Jul 2021 - Nov 2021 (4 months)

Responsible for the design of the data architecture strategy.

Data Architecture

Founder and CTO

SCANOSS

Jun 2020 - Apr 2021 (10 months)

Co-founded SCANOSS, an open, configurable engine for software bill of materials (SBOM) creation.

Founder and CEO

SCANOSS

Mar 2019 - Jun 2020 (1 year 3 months)

Founded SCANOSS, an open, configurable engine for software bill of materials (SBOM) creation.

Senior Software Developer, IBM Cloud

IBM

Dec 2015 - Mar 2019 (3 years 3 months)

Senior Software Developer for IBM Cloud.

Senior Server Side Engineer, EMEIA eCommerce Systems Team

Apple

Feb 2014 - Nov 2015 (1 year 9 months)

Technical Lead and responsible for architecture and design of EMEIA AOS projects. Implemented continuous delivery process and led agile transformation.

Architecture Continuous Delivery Agile Scrum

Specialist Software Developer

Jun 2010 - Jan 2014 (3 years 7 months)

Technical lead for BT Wifi RADIUS platform and lead developer for BT Cloud IaaS/NaaS platform. Awarded 2011 BT Best Software Innovation.

Java C Groovy Ruby UNIX Shell Scripting AJAX VMWare Xen Kanban Test Driven Development Continuous Integration

Technical Lead

Victor Chandler International

Mar 2009 - Jun 2010 (1 year 3 months)

Led a team of developers for online gaming applications, focusing on trading platform with high transaction volumes and strict security.

REST J2EE JDBC JPA Struts AOP Junit JMock FitNesse JMeter Ruby on Rails RSpec Oracle MySQL Agile Scrum Test Driven Development

Technical Lead

ioko

Aug 2008 - Mar 2009 (7 months)

Technical Lead for Project Kangaroo / SeeSaw, a video on-demand portal. Responsible for design and implementation of web front-end and back-end components.

Java Tapestry Spring Framework Hibernate JMS ActiveMQ Scrum Agile Test Driven Development CI CD

Technical Lead

UK VOD LTD

Jan 2008 - Feb 2009 (1 year 1 month)

Technical Lead at UK VOD LTD.

Freelance

Accenture Financial Services

Aug 2007 - Aug 2008 (1 year)

Responsible for architecture definition and team leadership. Implemented Enterprise Architecture Integration solutions for Capital Markets.

Java Architecture Integration Capital Markets

Senior Software Engineer

Hispania Eurovip

May 2004 - Jul 2007 (3 years 2 months)

Directed projects and responsible for architecture of all applications. Set new lines for mobile applications and smart card development.

Mobile Smart Card GSM UMTS OTA Java

Senior Software Engineer

Gextech

Jan 2003 - May 2004 (1 year 4 months)

Responsible for architecture and design of mobile and desktop gaming applications in Java for sports betting. Designed mathematical library with prize compensation algorithms.

Java Gaming Architecture Algorithms

Senior Software Engineer

Germinus Solutions

Jul 2000 - Dec 2002 (2 years 5 months)

Designed and implemented infrastructure provisioning system. Led team consulting for ONI UMTS in Lisbon. Developed prototype mobile applications for 3G technology.

Java J2EE C Linux Project Management