Romain Ruetschi
AeroLeads people directory · profile

Romain Ruetschi Email & Phone Number

Senior Staff Software Engineer at Circle
Location: Lausanne, Vaud, Switzerland 10 work roles 4 schools
1 work email found @informal.systems LinkedIn matched
✓ Verified August 2026 4 data sources Profile completeness 100%

Contact Signals · 1 work email

Work email r****@informal.systems
LinkedIn Profile matched
3 free lookups remaining · No credit card
Current company
Role
Senior Staff Software Engineer
Location
Lausanne, Vaud, Switzerland
Company size

Who is Romain Ruetschi? Overview

A concise factual answer block for searchers comparing this professional profile.

Quick answer

Romain Ruetschi is listed as Senior Staff Software Engineer at Circle, a with 1178 employees, based in Lausanne, Vaud, Switzerland. AeroLeads shows a work email signal at informal.systems and a matched LinkedIn profile for Romain Ruetschi.

Romain Ruetschi previously worked as Principal Engineer at Informal Systems and Technical Lead at Informal Systems. Romain Ruetschi holds Master'S Degree, Computer Science, 5.7/6 from Epfl (École Polytechnique Fédérale De Lausanne).

Company email context

Email format at Circle

This section adds company-level context without repeating Romain Ruetschi's masked contact details.

{first}@informal.systems
86% confidence

AeroLeads found 1 current-domain work email signal for Romain Ruetschi. Compare company email patterns before reaching out.

Profile bio

About Romain Ruetschi

Romain Ruetschi is a Senior Staff Software Engineer at Circle. They possess expertise in functional programming, haskell, rust, scala, formal verification and 2 more skills. They is proficient in German and English.

Listed skills include Functional Programming, Haskell, Rust, Scala, and 3 others.

Current workplace

Romain Ruetschi's current company

Company context helps verify the profile and gives searchers a useful next step.

Circle
Circle
Senior Staff Software Engineer
Lausanne, VD, CH
Website
Employees
1178
AeroLeads page
10 roles

Romain Ruetschi work experience

A career timeline built from the work history available for this profile.

Senior Staff Software Engineer

Lausanne, Vd, Ch

Principal Engineer

Current

Lausanne, Vaud, Switzerland

Interchain team

Oct 2023 - Present

Technical Lead

Lausanne, Vaud, Switzerland

IBC team

Sep 2021 - Oct 2023

Research & Development Engineer

Lausanne, Vaud, Switzerland

IBC team

Feb 2020 - Sep 2021

Scientific Collaborator

Lausanne Area, Switzerland

Laboratory for Automated Reasoning and Analysis (LARA) — https://lara.epfl.ch/w/Main contributor to Stainless, a formal verification framework for Scala programs.https://stainless.epfl.ch

Mar 2018 - Feb 2020

Co-Founder

Hackers At Epfl

Lausanne Area, Switzerland

We promote the hacking culture at Swiss Federal Institute of Technology (EPFL), and organize hackathons, talks and workshops on a regular basis.

Nov 2012 - Jul 2016

Freelance Web Developer

Romac.Me

Lausanne Area, Switzerland

Development of web applications for private clients, web and communication agencies.Author of open-source projects.

Jul 2011 - Sep 2014

Apprentice

Lausanne Area, Switzerland

- TYPO3 & Web development- System administration and installation- Database administration- Training for users and developers- Software integration

May 2007 - Jun 2011
Team & coworkers

Colleagues at Circle

Other employees you can reach at circle.com. View company contacts for 1178 employees →

4 education records

Romain Ruetschi education

Certificat Fédéral De Capacité / Federal Vet Certificate, Computer Technology

Epsic École Professionelle De Lausanne
FAQ

Frequently asked questions about Romain Ruetschi

Quick answers generated from the profile data available on this page.

What company does Romain Ruetschi work for?

Romain Ruetschi works for Circle.

What is Romain Ruetschi's role at Circle?

Romain Ruetschi is listed as Senior Staff Software Engineer at Circle.

What is Romain Ruetschi's email address?

AeroLeads has found 1 work email signal at @informal.systems for Romain Ruetschi at Circle.

Where is Romain Ruetschi based?

Romain Ruetschi is based in Lausanne, Vaud, Switzerland while working with Circle.

What companies has Romain Ruetschi worked for?

Romain Ruetschi has worked for Circle, Informal Systems, Epfl (École Polytechnique Fédérale De Lausanne), Hackers At Epfl, and Romac.Me.

Who are Romain Ruetschi's colleagues at Circle?

Romain Ruetschi's colleagues at Circle include Amit Vira, Helen Mccarty, Steph Pang, Jennifer Mackenzie, Cpa, and Maxime Berenshteyn.

How can I contact Romain Ruetschi?

You can use AeroLeads to view verified contact signals for Romain Ruetschi at Circle, including work email, phone, and LinkedIn data when available.

What schools did Romain Ruetschi attend?

Romain Ruetschi holds Master'S Degree, Computer Science, 5.7/6 from Epfl (École Polytechnique Fédérale De Lausanne).

What skills is Romain Ruetschi known for?

Romain Ruetschi is listed with skills including Functional Programming, Haskell, Rust, Scala, Formal Verification, Type Theory, and Information Security.

Find 750M verified contacts

Search by job title, company, industry, location, and seniority. Export verified B2B contact data when you need it.