@Legicash is renaming its Free Software Consultancy to @LegiLogic https://legilogic.com/
We are recruiting, from Junior Developer to Senior Developer and to Head of Engineering. Requirement: experience, or at least strong interest, in functional programming and formal methods.
Web apps, yes, backed by servers that bind each other's behavior using cryptocurrency smart contracts. Written in a way that is correct by construction in a model that can express serious attacks.