We're planting a tree for every job application! Click here to learn more

Browse Agda Jobs

Browse Agda Jobs

star icon x
star icon x
star icon x
star icon x

Post your 1st job for free

 and access top talent

brand icon
brand icon
brand icon
brand icon
brand icon
brand icon
brand icon
🏄 Curated jobs (1)

Software Engineer - Formal Methods

IOHK, Remote

IO Global is searching for a Software Engineer - Formal Methods to join their Ledger team

  • Haskell
  • Agda
  • NixOps

Competitive

Full time

250+

Remote

over 2 years ago

🔍 Jobs from around the Web (1)

Researcher - Formal Methods

Recruitee, London, United Kingdom

This is a job posted by our partner Jooble

Competitive

Full time

over 1 year ago

WorksHub

CareersCompaniesSitemapFunctional WorksBlockchain WorksJavaScript WorksAI WorksGolang WorksJava WorksPython WorksRemote Works

For companies

For employersRegister companyPricing and plansRequest a demoTerms of Service

Jobs

Scala jobsClojure jobsClojureScript jobsKotlin jobsHaskell jobsElixir jobsErlang jobsOCaml jobsF# jobsElm jobsPureScript jobsReasonML jobs

Locations

Jobs in United StatesJobs in United KingdomJobs in GermanyJobs in LondonJobs in New YorkJobs in San FranciscoJobs in BerlinJobs in BarcelonaRemote Jobs

Articles

Functional Programming articlesTyped Functional Programming articlesFunctional Workplaces articlesClojure articlesClojureScript articlesHaskell articlesScala articlesElixir articlesErlang articlesElm articlesOCaml articlesF# articles
hello@works-hub.com

Ground Floor, Verse Building, 18 Brunswick Place, London, N1 6DZ

108 E 16th Street, New York, NY 10003

Subscribe to our newsletter

Join over 111,000 others and get access to exclusive content, job opportunities and more!

© 2025 WorksHub

Privacy PolicyDeveloped by WorksHub