Formal Methods Engineer
Current
Jul 2024 - Present
AeroLeads people directory · profile
Cas Van Der Rest Email & Phone Number
Formal Methods Engineer
at
Input Output (IOHK)
LinkedIn matched
✓ Verified May 2026
3 data sources
Profile completeness 86%
Current company
Role
Formal Methods Engineer
Location
The Randstad, Netherlands, Netherlands
Company size
Who is Cas Van Der Rest? Overview
A concise factual answer block for searchers comparing this professional profile.
Quick answer
Cas Van Der Rest is listed as Formal Methods Engineer at Input Output (IOHK), a company with 186 employees, based in The Randstad, Netherlands, Netherlands. AeroLeads shows a matched LinkedIn profile for Cas Van Der Rest.
Cas Van Der Rest previously worked as Doctoral Student at Tu Delft and Schaatsinstructeur at Duosport. Cas Van Der Rest holds Master Of Science - Ms, Computing Science from Universiteit Utrecht.
Company email context
Email format at Input Output (IOHK)
This section adds company-level context without repeating Cas Van Der Rest's masked contact details.
Input Output (IOHK)
Review company-level records connected to Cas Van Der Rest before choosing the right outreach path.
Profile bio
About Cas Van Der Rest
PhD candidate interested in Programming Technology & Functional Programming
Current workplace
Cas Van Der Rest's current company
Company context helps verify the profile and gives searchers a useful next step.
Input Output (Iohk)
5 roles
Cas Van Der Rest work experience
A career timeline built from the work history available for this profile.
Doctoral Student
Dec 2019 - Aug 2024
Schaatsinstructeur
Duosport
Oct 2013 - Apr 2019
Studentassistent
May 2018 - Feb 2019
Developer
Bolas B.V.
Frontend + Backend development in C#, AngularJS, HTML, SQL & CSS
Nov 2017 - Dec 2018
Team & coworkers
Colleagues at Input Output (IOHK)
Other employees you can reach at iohk.io. View company contacts for 186 employees →
AB
Aida Bezarediet
Colleague at Input Output (Iohk)Addis Ababa, Ethiopia, Ethiopia
View →
JF
Joseph Fajen
Colleague at Input Output (Iohk)Portland, Oregon, United States, United States
View →
VZ
Vassilis Zikas
Colleague at Input Output (Iohk)Edinburgh, Scotland, United Kingdom, United Kingdom
View →
RK
Roman Kireev
Colleague at Input Output (Iohk)Montenegro, Montenegro
View →
AG
Abel Gebreslassie
Colleague at Input Output (Iohk)Ethiopia, Ethiopia
View →
JS
Jonathan Sobel
Colleague at Input Output (Iohk)Raleigh-Durham-Chapel Hill Area, United States
View →
PV
Polina Vinogradova
Colleague at Input Output (Iohk)Ottawa, Ontario, Canada, Canada
View →
EP
Erica Pew - Senior Event Manager
Colleague at Input Output (Iohk)London Area, United Kingdom, United Kingdom
View →
BA
Betelhem A.
Colleague at Input Output (Iohk)Addis Ababa, Ethiopia, Ethiopia
View →
SS
Samuel Sutton
Colleague at Input Output (Iohk)Topeka, Kansas, United States, United States
View →
Aida Bezarediet
Colleague at Input Output (Iohk)Addis Ababa, Ethiopia, Ethiopia
View →
JF
Joseph Fajen
Colleague at Input Output (Iohk)Portland, Oregon, United States, United States
View →
VZ
Vassilis Zikas
Colleague at Input Output (Iohk)Edinburgh, Scotland, United Kingdom, United Kingdom
View →
RK
Roman Kireev
Colleague at Input Output (Iohk)Montenegro, Montenegro
View →
AG
Abel Gebreslassie
Colleague at Input Output (Iohk)Ethiopia, Ethiopia
View →
JS
Jonathan Sobel
Colleague at Input Output (Iohk)Raleigh-Durham-Chapel Hill Area, United States
View →
PV
Polina Vinogradova
Colleague at Input Output (Iohk)Ottawa, Ontario, Canada, Canada
View →
EP
Erica Pew - Senior Event Manager
Colleague at Input Output (Iohk)London Area, United Kingdom, United Kingdom
View →
BA
Betelhem A.
Colleague at Input Output (Iohk)Addis Ababa, Ethiopia, Ethiopia
View →
SS
Samuel Sutton
Colleague at Input Output (Iohk)Topeka, Kansas, United States, United States
View →
3 education records
Cas Van Der Rest education
Master Of Science - Ms, Computing Science
Bachelor'S Degree, Informatics
Gymnasium
Marnix Gymnasium
FAQ
Frequently asked questions about Cas Van Der Rest
Quick answers generated from the profile data available on this page.
What company does Cas Van Der Rest work for?
Cas Van Der Rest works for Input Output (IOHK).
What is Cas Van Der Rest's role at Input Output (IOHK)?
Cas Van Der Rest is listed as Formal Methods Engineer at Input Output (IOHK).
Where is Cas Van Der Rest based?
Cas Van Der Rest is based in The Randstad, Netherlands, Netherlands while working with Input Output (IOHK).
What companies has Cas Van Der Rest worked for?
Cas Van Der Rest has worked for Input Output (Iohk), Tu Delft, Duosport, Msc Student At Uu, and Bolas B.V..
Who are Cas Van Der Rest's colleagues at Input Output (IOHK)?
Cas Van Der Rest's colleagues at Input Output (IOHK) include Aida Bezarediet, Joseph Fajen, Vassilis Zikas, Roman Kireev, and Abel Gebreslassie.
How can I contact Cas Van Der Rest?
You can use AeroLeads to view verified contact signals for Cas Van Der Rest at Input Output (IOHK), including work email, phone, and LinkedIn data when available.
What schools did Cas Van Der Rest attend?
Cas Van Der Rest holds Master Of Science - Ms, Computing Science from Universiteit Utrecht.
Find 750M verified contacts
Search by job title, company, industry, location, and seniority. Export verified B2B contact data when you need it.
Start free trialPeople with similar names
Check these profiles if this is not the Cas Van Der Rest you were looking for.
View similar profiles