Rikard Hjort

Chief Executive Officer at Decidable
  • Claim this Profile
Contact Information
us****@****om
(386) 825-5501
Location
Tallinn, Harjumaa, Estonia, EE
Languages
  • English Full professional proficiency
  • Swedish Native or bilingual proficiency
  • German Limited working proficiency
  • Japanese Limited working proficiency

Topline Score

Topline score feature will be out soon.

Bio

Generated by
Topline AI

You need to have a working account to view this content.
Join now
You need to have a working account to view this content.
Join now

Credentials

  • Cambridge Certificate
    -

Experience

  • Decidable
    • Germany
    • Software Development
    • 1 - 100 Employee
    • Chief Executive Officer
      • Feb 2020 - Present

      Decidable OÜ offers consulting and R&D in the blockchain space. We help companies cut through the hype and battle test their hypotheses about what blockchain and cryptocurrency can do for them. Our R&D focuses on security and formal verification of WebAssembly based chains. Decidable OÜ offers consulting and R&D in the blockchain space. We help companies cut through the hype and battle test their hypotheses about what blockchain and cryptocurrency can do for them. Our R&D focuses on security and formal verification of WebAssembly based chains.

  • Runtime Verification
    • United States
    • Software Development
    • 1 - 100 Employee
    • Senior Formal Verification Engineer
      • Feb 2021 - Present

    • Formal Verification Engineer
      • Mar 2020 - Feb 2021

      Lead developer of KWasm and related blockchain applications.

    • Master Thesis Student
      • Sep 2019 - Mar 2020

    • Formal Verification Intern
      • Jun 2019 - Aug 2019

      Developing WebAssembly semantics in K Framework. https://github.com/kframework/wasm-semantics

  • Google
    • United States
    • Software Development
    • 700 & Above Employee
    • Software Engineering Intern
      • Jun 2017 - Sep 2017
    • Software Engineering Intern
      • Jun 2016 - Oct 2016
  • Upgrades Education
    • Sweden
    • Education
    • 1 - 100 Employee
    • Course Instructor
      • Oct 2013 - Jun 2016

      Mission: Teaching students how to master the Swedish SAT. Requires teaching people with very different backgrounds and proficiency, and help them perform under pressure. Since 2015 I have added responsibility as Site Manager, coordinating the courses with immediate responsibility for students and other instructors. Mission: Teaching students how to master the Swedish SAT. Requires teaching people with very different backgrounds and proficiency, and help them perform under pressure. Since 2015 I have added responsibility as Site Manager, coordinating the courses with immediate responsibility for students and other instructors.

  • MyNetwork AB
    • Web Programmer
      • May 2015 - Jul 2015

      Developing new features, customer support, interaction design improvements Developing new features, customer support, interaction design improvements

  • DOOST
    • Researcher, Copywriter
      • Aug 2013 - Aug 2014

      Mission: Selling and delivering communication projects. Personal projects include writing a book for a client; creating communication strategies för inspirational lecturers; producing copy for websites and print. DOOST is a small startup specializing in values-based strategic communication. Mission: Selling and delivering communication projects. Personal projects include writing a book for a client; creating communication strategies för inspirational lecturers; producing copy for websites and print. DOOST is a small startup specializing in values-based strategic communication.

  • Stag Studios
    • United Kingdom
    • Musicians
    • 1 - 100 Employee
    • Producer
      • Jul 2014 - Jul 2014

      Independent music production. Analog vibes by digital means. Independent music production. Analog vibes by digital means.

  • 365 saker du kan göra
    • Associated Editor
      • Dec 2011 - Dec 2012
  • NMAB
    • United Kingdom
    • Civic and Social Organizations
    • Editor
      • Aug 2011 - Jun 2012

      Writing, editing, proof-reading, finding contributors Writing, editing, proof-reading, finding contributors

  • Fisk Idag AB
    • Sweden
    • Standardizer
      • Aug 2011 - May 2012

      Writing a standard work protocol for all order handling procecures.

    • Order Picker/Packer
      • Oct 2010 - Aug 2011

Education

  • Chalmers University of Technology
    Engineer's Degree, Computer Software Engineering
    2014 - 2019
  • The University of Tokyo
    Computer Science
    2017 - 2018
  • University of Gothenburg
    Ethnic, Cultural Minority, Gender, and Group Studies, A
    2012 - 2013
  • Kitas
    High School, Natural Sciences
    2008 - 2010

Community

You need to have a working account to view this content. Click here to join now