Our core R&D and Operations teams are growing fast. Make contact with us if you would like to work on some of the most exciting technology on the planet.
Dominic is a crypto theoretician and entrepreneur. His recent math includes Threshold Relay and PSC chains, Validation Towers and Trees, and USCIDs, and he proposes new ideas such as "The 3 E's of Sybil Resistance". Previously he ran a venture-backed MMO game using his own distributed systems that hosted millions of users.
Timo was once a Professor of Mathematics and Cryptography at Aachen University in Germany but got into Bitcoin. In 2013 he created AsicBoost to reduce the gate count on Bitcoin mining chips and increase the efficiency of Bitcoin mining by 20-30% that has since become a standard in large-scale mining operations.
Mack has led teams delivering large-scale distributed systems and networking and operating systems. Before DFINITY, he was Director of Core Systems at Facebook, helping build core infrastructure for flagship products. Prior, Mack led teams building managed databases in AWS RDS including Postgres / Aurora, and building DOS and Windows at Microsoft.
Jan is a leading scientist and has published over 120 widely cited papers in the areas of privacy and cryptography. Previously, he spent 19 years as Principal Research Staff Member at IBM, where he co-invented Identity Mixer, a unique cryptographic protocol for authentication. He is a Fellow of IEEE and IACR and has received many awards for his work.
Ben Lynn is the "L" from the "BLS" cryptography applied by "Threshold Relay" to generate randomness and achieve incredible security, speed and scale in public networks. Once a Stanford PhD under Dan Boneh, Ben joined the DFINITY team after 10 years in senior engineering roles at Google. Ben writes many papers.
Prior to joining DFINITY, Judy developed technology and software management expertise delivering native, web, and social media apps at IBM, large-scale distributed network systems at Akamai, and cloud communications platforms at Twilio. In her free time, Judy enjoys and takes great pride in building high-performing teams and mentoring engineers.
Mahnush joined DFINITY from a postdoctoral position at Yale University working on scalable and fault-tolerant distributed algorithms for consensus and secure multi-party computation, secret sharing, and interactive communication over noisy channels. She writes many papers.
Paul joined DFINITY after 7 years in a Staff Research Scientist position at Intel Labs, where he architected a highly optimized Haskell compiler for x86 architecture. He received his PhD from Yale University under Dr. Paul Hudak, one of the inventors of Haskell, and served as PC member of Haskell Symposium and IFL. Paul also writes many papers.
Claudio spent 18 years in the Programming Principles and Tools group at Microsoft Research Cambridge where he developed the Standard ML compiler, designed Moscow ML, and worked on several compilers including Comega, Concept C#, and F#. He has a PhD from University of Edinburgh, a post-doc from Cambridge, and has published many papers.
John is a computer scientist and programming language researcher. He is a long-time C++ and Haskell guru, was on the C++ committee for 15 years, authored Ledger, and is currently co-maintainer of the Emacs editor. Prior, he worked on DARPA contracts at BAE Systems applying formal methods to language and program semantics.
Joachim joins DFINITY after a 2-year post doc position at the University of Pennsylvania, where he was bridging the gap between Haskell and Coq to enable formal verification of Haskell code, following his PhD at KIT. He is a long-standing contributor to the Haskell compiler GHC and serves on its steering committee. He, too, has published many papers.
Maria is a cryptographer working on designing provably secure protocols for privacy protection and bringing research into practice. Maria holds a PhD from ETH Zurich and joined DFINITY after 11 years as an engineer and researcher at IBM. Maria has published many papers and promotes STEM for young women.
Gregory is a cryptography researcher and an expert on provable security for advanced signature and encryption schemes. He has published over 60 research papers in cryptography, security, and privacy. Gregory has a PhD from KU Leuven and joins DFINITY after ten years as a scientist at IBM Research.
Shigeo is one of the world's most talented writers of high performance cryptography libraries. He has interests in pairing implementations, x86/x64 optimization and machine learning, and is also the publisher of several academic works. His BLS implementations for DFINITY improved earlier state-of-the-art by more than 10X.
Enzo began his career as a quantitative developer, but quickly got into distributed systems because of a need to collect and process more financial data. The intersection of finance and distributed systems led him to Bitcoin and the blockchain industry, where he co-developed one of the first exchanges for cryptocurrency derivatives.
Norton joined DFINITY after building enterprise blockchain software and smart contracts implementations for capital markets at Axoni. Previously, he built cryptocurrency trading and data visualization tools at TradeBlock. He graduated from Cornell with a degree in Computer Science and in his free time enjoys mining small-cap coins.
Ximin works on secure decentralized protocols and high-level typed languages at DFINITY, with previous work in end-to-end messaging and decentralized storage networks. He frequently contributes to FOSS projects and is an active Debian Developer. Prior, he worked for Reproducible Builds, Tor, Google, MEGA, and graduated from Cambridge University (UK).
Maciej is a programming language enthusiast with a background in compilers, cloud computing, and financial software. He studied Computer Science at Oxford University and Cambridge University and joined DFINITY after three years at Fugue where he helped build Ludwig, a modular, compiled language for infrastructure as code.
Paul is a Software Engineer with experience in visual design, design systems, and an interest in programming language theory. Not satisfied with the limitations posed by existing platforms, he has been involved in projects such as constraint-based layouts for the web, alternative back ends for PureScript, and now, the Internet Computer.
Eftychi is interested in the intersection of cryptography and distributed systems. Previously, he built secure distributed systems at Apcera/Ericsson. During his M.Sc. at Stanford University, he focused on cryptographic primitives for proof automation. More recently, he has worked on efficient multi-party computation and secure, scalable machine learning.
Armando is a software engineer hailing from the Pacific Northwest. His love of correctness inspired him to use purely functional programming to build robust systems in infrastructure automation at Amazon Web Services, launch various web services in Haskell at Formation, and now contribute to data integrity and persistence at DFINITY.
Remy is a software engineer with wide interests in programming language theory, formal verification, computational physics, systems programming, and compiler design. He has worked on the K Framework for executable semantics at UIUC, on autonomous cars at Uber's Advanced Technologies Group, and on network security software at Awake Security.
Before joining DFINITY, David held a postdoc position at Graz University of Technology. He focuses on provably secure public key cryptography, and, in particular, on cryptographically addressing security and privacy issues in modern computing scenarios (e.g., cloud computing, Blockchains). This also includes work on primitives for the post-quantum era.
Manu joined DFINITY after working at IBM Research as predoctoral researcher in cryptography. His research focuses on anonymous credentials, multi-signatures, and composable cryptographic protocols. He, too, has published many papers.
Andrea is a researcher interested in the development and deployment of cryptographic protocols, currently working on building efficient zero-knowledge proofs and arguments. Previously, he was a doctoral researcher in the Information Security Group at UCL, and prior to that earned his M.Sc. in Mathematics for Cryptography at Univ. of London.
Stephen is a computer scientist whose research areas include machine learning, dynamical systems, programming languages, and the social implications of AI. He currently contributes to DFINITY's algorithmic governance work. Previously, he worked with Stephen Wolfram to create the symbolic mathematics program Mathematica.
Yulin holds a Master's degree in Quantum Computation and a PhD in Economics from ETH Zurich, where he is also a Senior Research Fellow. He joined DFINITY as Senior Economist to lead research on token economics and the on-chain governance system, aligning with his interests in macreconomics, monetary economics, and financial stability.
Robert is a blockchain researcher with an interest in Proof-of-Stake protocols, fair incentive schemes and scalable consensus algorithms. Based in Switzerland with a PhD in Law from University of Zurich, Robert also helps with DFINITY Swiss operations, technical community outreach, and recruiting new talent.
Artem is an iOS developer-turned-designer. After studying Computer Security and working as a web/mobile developer for several years, he decided to focus on design and branding of digital products. After attending Moscow Design school, Artem has spent his last few years working on digital products on desktop and mobile devices.
Artia brings extensive operating experience as a startup entrepreneur, crypto enthusiast, and venture capitalist (where he invested in Dominic's previous company). He joins the DFINITY team with the aim of honing its operations, PR, marketing, community communications, and investor relations processes, and earned his B.Sc from Columbia University.
Gian is an experienced entrepreneur, fund manager and board member. He currently serves on the DFINITY Foundation Council in Switzerland and helps oversee Swiss operations. He has deep experience in blockchain, having co-founded Bity, a leading European digital asset exchange, among many other ventures.
Blair joined DFINITY after 4 years as Director of Recruiting at Fastly, a leading-edge cloud platform, where he scaled the team from 30 to almost 400 team members. Over his 15+ years of experience in tech recruiting, he scaled engineering teams at Wikia, Wikimedia, Blekko, and Google. If you want to work for DFINITY, drop him a line at [email protected].
Jenn brings expertise in growth and partnerships with startups and businesses to DFINITY. Previously, she spent a decade as Corporate VP at Nasdaq leading the global flagship in New York, then served as Global CMO of BCG Digital Ventures. Most recently, Jenn co-founded 150 Bond, a global advisory firm whose clients include private & public companies.
Arthur joined DFINITY after implementing ConsenSys' initial content marketing strategy. He has a background in journalism, content marketing, and media production and has produced several popular blockchain-centric podcasts, most notably Beyond Bitcoin, The Ether Review, and The Third Web.
Michael joins Dfinity following his previous work in Community Operations at Facebook. As an entrepreneur and alternative funding advocate, he helped support the global startup community in years prior. At Dfinity, Michael aims to advocate for a diverse community of developers, enterprises, and blockchain enthusiasts.
Cédric initially joined DFINITY to help with the formation of the DFINITY Foundation and currently helps with Operations in Switzerland and elsewhere in Europe. Previously, he helped build and invested in technology companies in Zurich, Berlin, and Paris and has been a blockchain enthusiast since 2012.
Diego is a software engineer and product manager with an emphasis on platform growth. He studied Applied Math & Economics at Harvard University and is a PhD dropout in Operations Research Engineering from USC. Previously he co-founded a privacy-focused PaaS for serverless applications and was VP of Growth & Product Engineering at Overnight.
A highly dynamic coordinator of projects and business development activity, Tomomi was previously at the Women's Startup Lab in Menlo Park. She is a bilingual Japanese speaker, recently graduated Cum Laude with a B.A. in Communications from Santa Clara University, and is passionate about and helps drive progress in the blockchain space.
Elizabeth joins DFINITY after previously working as an analyst at Goldman Sachs in New York in alternative investments and internal audit for 3 years and most recently for a travel startup in Berlin leading Venture Development. She focuses on building project operations capabilities including legal, regulatory, and finance support.
Tho joins the team after four years at Samsung Electronics America, where she engaged with the community and partners to grow the developer ecosystem across various products and platforms. With DFINITY, she aims to provide operational and employment brand development support to scale the project.
Jelena brings a diversity of experience to the DFINITY team with her time at the United Nations, supporting a democracy-building NGO in Eastern Europe. Most recently, She lead the operations for a Canadian technology business council. She attended the University of Toronto and is passionate about inclusive community-building in the blockchain space.
Sharon supports the Founder/Chief Scientist and VP of Engineering at DFINITY. Prior to DFINITY, she had diverse operational experience for 5 years with Servcorp, a global workspace solutions company. Sharon adds a wealth of communication, process and execution capabilities to enable DFINITY to successfully scale rapidly.
The Decentralized and Distributed Systems (DEDIS) Group at École Polytechnique Fédérale de Lausanne (EPFL) has two members working full time on DFINITY at any given time.
Bryan focuses broadly on building secure decentralized systems, touching on topics including private and anonymous communication technologies, Internet architecture, and secure operating systems. He received the Jay Lepreau Best Paper Award at OSDI, and grants from NSF, DARPA, and ONR, including the NSF CAREER award.
Philipp completed his PhD in cryptography in 2015 at the Faculty of Computer Science and Mathematics of the University of Passau, Germany with his thesis receiving the 2016 dissertation award of the University of Passau in the area of mathematics / computer science. He is interested in cryptography and decentralized systems. Philip writes papers.
Lefteris's research focuses on decentralized trust systems increasing the robustness and transparency of today’s Internet, scalable blockchain systems, bias-resistant decentralized randomness generation, secure software update dispersion and novel applications of threshold cryptography and distributed consensus. He writes papers.
Ewa is interested in generating "good" and verifiable randomness in a distributed setting, strongest-link collective authorities ("cothorities") and improving anonymous communication technologies, privacy-preserving biometric authentication schemes and anonymous, deniable authentication methods. Ewa writes papers.
Stevens is postdoc researcher at DEDIS who has a particular interest in creating networks and systems that support anonymous communication. This is ambitious recent efforts in this regard are reflected in his work on the Aqua and Herd systems. He also writes papers.
Stay tuned to the latest updates in development and sign up for our newsletter. You’ll be the first to know when we launch DFINITY.