<div dir="ltr"><div>IOG, formerly known as IOHK, is hiring two new members for the Plutus team, currently led by Manuel Chakravarty and Michael Peyton-Jones. One of the posts is for a new leader, but don't worry, Manuel and Michael are both staying; the other post is someone to work on developer relations and communications. People working with the Plutus team include myself, Simon Thompson, and John Hughes. Plutus is a library for Haskell that provides smart contracts for Cardano. Ada, the coin of Cardano, is (as of last week) the fourth-largest cryptocurrency by market capitalisation, at USD$32 billion.<br></div><div><br></div><div>Details below. Let me know if you have any questions. Go well, -- P<br><h1 style="margin:24px auto 12px;padding:0px;border:0px;font-variant-numeric:inherit;font-variant-east-asian:inherit;font-stretch:inherit;line-height:26px;vertical-align:baseline;max-width:600px;text-align:center"><span style="color:rgb(51,62,73);font-family:-apple-system,system-ui,"Segoe UI",Roboto,Ubuntu,"Helvetica Neue",sans-serif;font-size:22px">Software Engineering Lead - Plutus</span></h1><div><br></div><div><p style="margin:0px 0px 1em;padding:0px;border:0px;font-variant-numeric:inherit;font-variant-east-asian:inherit;font-stretch:inherit;font-size:16px;line-height:1.5;font-family:-apple-system,system-ui,"Segoe UI",Roboto,Ubuntu,"Helvetica Neue",sans-serif;vertical-align:baseline;color:rgb(51,62,73);background-color:rgb(249,249,249)">We are searching for a Software Engineer to lead our Plutus team. The Plutus team is building the core of Cardano’s smart contract functionality on the bedrock of functional programming languages. We are an interdisciplinary team who do original R&D and turn it into production systems.</p><p style="margin:0px 0px 1em;padding:0px;border:0px;font-variant-numeric:inherit;font-variant-east-asian:inherit;font-stretch:inherit;font-size:16px;line-height:1.5;font-family:-apple-system,system-ui,"Segoe UI",Roboto,Ubuntu,"Helvetica Neue",sans-serif;vertical-align:baseline;color:rgb(51,62,73);background-color:rgb(249,249,249)">In the past few years, the Plutus team has:</p><ul style="margin:0px 0px 1em;padding:0px 0px 0px 24px;border:0px;font-variant-numeric:inherit;font-variant-east-asian:inherit;font-stretch:inherit;font-size:16px;line-height:1.5;font-family:-apple-system,system-ui,"Segoe UI",Roboto,Ubuntu,"Helvetica Neue",sans-serif;vertical-align:baseline;list-style-position:initial;color:rgb(51,62,73);background-color:rgb(249,249,249)"><li style="margin:0px;padding:0px;border:0px;font:inherit;vertical-align:baseline">Published five peer-reviewed papers with top academic researchers</li><li style="margin:0px;padding:0px;border:0px;font:inherit;vertical-align:baseline">Designed and implemented three programming languages</li><li style="margin:0px;padding:0px;border:0px;font:inherit;vertical-align:baseline">Formalized the semantics of two of those languages using Agda</li><li style="margin:0px;padding:0px;border:0px;font:inherit;vertical-align:baseline">Helped to improve the ability of Agda to generate usable Haskell output</li><li style="margin:0px;padding:0px;border:0px;font:inherit;vertical-align:baseline">Created novel compilation techniques for data types</li><li style="margin:0px;padding:0px;border:0px;font:inherit;vertical-align:baseline">Written a GHC proposal, which is now being taken into implementation work</li><li style="margin:0px;padding:0px;border:0px;font:inherit;vertical-align:baseline">Implemented a compiler for a subset of Haskell as a GHC plug-in</li><li style="margin:0px;padding:0px;border:0px;font:inherit;vertical-align:baseline">Used statistical modeling to infer evaluation cost models</li><li style="margin:0px;padding:0px;border:0px;font:inherit;vertical-align:baseline">Participated in the design and implementation of the Cardano ledger extensions to support smart contracts.</li></ul><p style="margin:0px 0px 1em;padding:0px;border:0px;font-variant-numeric:inherit;font-variant-east-asian:inherit;font-stretch:inherit;font-size:16px;line-height:1.5;font-family:-apple-system,system-ui,"Segoe UI",Roboto,Ubuntu,"Helvetica Neue",sans-serif;vertical-align:baseline;color:rgb(51,62,73);background-color:rgb(249,249,249)">Such a heady and complex mixture of research, development, and design work needs a competent leader to keep it all working well. If that sounds like fun to you, drop us a line!</p><a href="https://apply.workable.com/io-global/j/DC4A9703F1/" rel="noopener noreferrer" target="_blank" style="box-sizing:inherit;text-decoration-line:none;font-family:Slack-Lato,appleLogo,sans-serif;font-size:15px;font-variant-ligatures:common-ligatures;background-color:rgb(248,248,248)">https://apply.workable.com/io-global/j/DC4A9703F1/</a><div></div></div><div><h1 style="margin:24px auto 12px;padding:0px;border:0px;font-variant-numeric:inherit;font-variant-east-asian:inherit;font-stretch:inherit;font-size:22px;line-height:26px;font-family:-apple-system,system-ui,"Segoe UI",Roboto,Ubuntu,"Helvetica Neue",sans-serif;vertical-align:baseline;color:rgb(51,62,73);max-width:600px;text-align:center">Developer Relations Specialist - Plutus</h1></div><div><div style="margin:0px 0px 40px;padding:0px;border:0px;font-variant-numeric:inherit;font-variant-east-asian:inherit;font-stretch:inherit;font-size:14px;line-height:inherit;font-family:-apple-system,system-ui,"Segoe UI",Roboto,Ubuntu,"Helvetica Neue",sans-serif;vertical-align:baseline;color:rgb(0,0,0);background-color:rgb(249,249,249)"><div style="margin:0px 0px 1em;padding:0px;border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:16px;line-height:1.5;font-family:inherit;vertical-align:baseline"><p style="margin:0px 0px 1em;padding:0px;border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;line-height:1.5;font-family:inherit;vertical-align:baseline;color:rgb(51,62,73)">The Cardano ecosystem is expanding and software developer interest is increasing rapidly, so we are looking for a Developer Relations Specialist for the Plutus smart contract programming platform. You will help build, nurture and manage new relationships within established blockchain and smart contract development communities, especially Ethereum.</p><p style="margin:0px 0px 1em;padding:0px;border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;line-height:1.5;font-family:inherit;vertical-align:baseline;color:rgb(51,62,73)">This role will put you at the forefront of an exciting developer ecosystem at a crucial time in its development, winning and onboarding partners, feeding any requirements and proposals back into the business, and helping rapidly expand a healthy, productive Cardano developer base.</p><p style="margin:0px 0px 1em;padding:0px;border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;line-height:1.5;font-family:inherit;vertical-align:baseline;color:rgb(51,62,73)">To enjoy this role you will be someone who is passionate about blockchain technologies and the real problems they can address. You will have a proactive, problem-solving attitude, and enjoy working with customers and representing IOG at conferences, meetups, podcasts, etc.</p><a href="https://apply.workable.com/io-global/j/965433F163/" rel="noopener noreferrer" target="_blank" style="box-sizing:inherit;text-decoration-line:none;font-family:Slack-Lato,appleLogo,sans-serif;font-size:15px;font-variant-ligatures:common-ligatures;background-color:rgb(248,248,248)">https://apply.workable.com/io-global/j/965433F163/</a></div></div></div></div><div><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature">.\ Philip Wadler, Professor of Theoretical Computer Science<br>./\ School of Informatics, University of Edinburgh<br>/  \ <a href="http://homepages.inf.ed.ac.uk/wadler/" target="_blank">http://homepages.inf.ed.ac.uk/wadler/</a><br></div></div></div>