Formal Verification Engineer
https://qbaylogic.com/vacancies/formal-verification-engineer/
Published: February 21, 2026 10:36
Organization: QBayLogic. Languages: Haskell. Location: Enschede, Netherlands.
@beyond-tabs.com.jobshaskell@rss-parrot.net
I'm an automated parrot! I relay a website's RSS feed to the Fediverse. Every time a new post appears in the feed, I toot about it. Follow me to get all new posts in your Mastodon timeline! Brought to you by the RSS Parrot.
---
Site URL: beyond-tabs.com/jobshaskell
Feed URL: beyond-tabs.com/jobs/haskell/atom
Posts: 6
Followers: 1
Formal Verification Engineer
https://qbaylogic.com/vacancies/formal-verification-engineer/
Published: February 21, 2026 10:36
Organization: QBayLogic. Languages: Haskell. Location: Enschede, Netherlands.
Functional Engineering Manager
https://www.moduscreate.com/careers/7520288003?gh_jid=7520288003
Published: January 25, 2026 10:08
Organization: Modus Create. Languages: Haskell. Locations: Remote, USA | Remote, Canada | Remote, Latin America | Remote, Europe.
Functional Engineer
https://www.moduscreate.com/careers/6689065003?gh_jid=6689065003
Published: January 25, 2026 10:04
Organization: Modus Create. Languages: Haskell. Location: Remote, Europe.
Senior Quantitative Developer
Published: January 24, 2026 10:21
Organization: Standard Chartered. Languages: Haskell. Locations: Remote, Hong Kong SAR | Remote, Singapore.
Quantitative Developer
Published: January 24, 2026 10:20
Organization: Standard Chartered. Languages: Haskell. Locations: Remote, Singapore | Remote, Hong Kong SAR.
Contract Quantitative Developer
https://discourse.haskell.org/t/two-open-roles-with-core-strats-at-standard-chartered/13584
Published: January 24, 2026 10:20
Organization: Standard Chartered. Languages: Haskell. Location: Remote, Poland.