Researcher
大学共同利用機関法人 情報・システム研究機構
AeroLeads people directory · profile
Jun Furuse Email & Phone Number
Researcher
at
大学共同利用機関法人 情報・システム研究機構
1 work email found
@sc.com
LinkedIn matched
✓ Verified Jun 2026
4 data sources
Profile completeness 100%
Who is Jun Furuse? Overview
A concise factual answer block for searchers comparing this professional profile.
Quick answer
Jun Furuse is listed as Researcher at 大学共同利用機関法人 情報・システム研究機構, based in Japan, Japan, Japan. AeroLeads shows a work email signal at sc.com and a matched LinkedIn profile for Jun Furuse.
Jun Furuse previously worked as Founder at Dailambda and Scientific Director at Tezos Japan Foundation. Jun Furuse holds Ph.D, Computer Science from Université Paris Cité.
Company email context
Email format at 大学共同利用機関法人 情報・システム研究機構
This section adds company-level context without repeating Jun Furuse's masked contact details.
{first}.{last}@sc.com
86% confidence
AeroLeads found 1 current-domain work email signal for Jun Furuse. Compare company email patterns before reaching out.
Profile bio
About Jun Furuse
Specialties: Programming language, type system, compilation, functional programming (OCaml and Haskell).Interested in building robust and scalable systems using strongly typed languages and formal methods.
Listed skills include Ocaml, Haskell, Functional Support, Type Systems, and 9 others.
Current workplace
Jun Furuse's current company
Company context helps verify the profile and gives searchers a useful next step.
8 roles · 23 years
Jun Furuse work experience
A career timeline built from the work history available for this profile.
Founder
CurrentJust founded a new R&D and consultant company to provide formal verification to critical systems, cryptocurrencies, etc.
Sep 2018 - Present
Scientific Director
Tezos Japan Foundation
Nov 2018 - Jul 2020
Lead Developer
Asahinet, Inc.
R&D in Kyoto to design and develop HA clusters in Haskell.
Apr 2017 - Jun 2018
Associate Quantitative Developer
Development of derivative risk analysis framework "Cortex", using Haskell and C++.As a member of "Cortex Core" team, I work on building robust base systems for derivative pricing, such as strict version of Haskell DSL programming environment, market and reference data servers, visualizing financial data, various risk pricing tools.
May 2010 - Feb 2017
Quantitative Researcher
Development of highly robust and secure systems for high frequency trading in functional programming language OCaml.Design and implementation of ETF information scraper. Development of order monitor system and position management server. OCaml compiler and programming tool enhancements.
Apr 2008 - Apr 2010
Researcher
Led a project to study information flow type systems and implemented an information flow secure C compiler, which compiles legacy C programs to memory secure executables without secrecy leaks to attackers.
2004 - Mar 2008
Post-Doc
Joined the initial development of domain specific functional language MLFi, specialized for derivative pricing and managements and its semantics of financial primitives. Built several GUI tools for contract evaluation and Monte Carlo simulation manager.
2003 - 2004
~1 yr
4 education records
Jun Furuse education
Ph.D, Computer Science
Ph.D, Computer Science
Inria
Doctorial Study (Terminated), Computer Science
Msc, Computer Science
FAQ
Frequently asked questions about Jun Furuse
Quick answers generated from the profile data available on this page.
What company does Jun Furuse work for?
Jun Furuse works for 大学共同利用機関法人 情報・システム研究機構.
What is Jun Furuse's role at 大学共同利用機関法人 情報・システム研究機構?
Jun Furuse is listed as Researcher at 大学共同利用機関法人 情報・システム研究機構.
What is Jun Furuse's email address?
AeroLeads has found 1 work email signal at @sc.com for Jun Furuse at 大学共同利用機関法人 情報・システム研究機構.
Where is Jun Furuse based?
Jun Furuse is based in Japan, Japan, Japan while working with 大学共同利用機関法人 情報・システム研究機構.
What companies has Jun Furuse worked for?
Jun Furuse has worked for 大学共同利用機関法人 情報・システム研究機構, Dailambda, Tezos Japan Foundation, Asahinet, Inc., and Standard Chartered Bank.
How can I contact Jun Furuse?
You can use AeroLeads to view verified contact signals for Jun Furuse at 大学共同利用機関法人 情報・システム研究機構, including work email, phone, and LinkedIn data when available.
What schools did Jun Furuse attend?
Jun Furuse holds Ph.D, Computer Science from Université Paris Cité.
What skills is Jun Furuse known for?
Jun Furuse is listed with skills including Ocaml, Haskell, Functional Support, Type Systems, Algorithms, Programming Languages, Computer Science, and Functional Programming.
Find 750M verified contacts
Search by job title, company, industry, location, and seniority. Export verified B2B contact data when you need it.
Start free trial