Logique formelle, modélisation et ontologies
Logic.Tools, spin off de Raincode Labs, est une société d’ingéniérie en informatique, basée à Bruxelles, qui propose une plateforme de développement pour les systèmes régulatoires (regulatory systems) afin qu’ils soient 100% lisibles, 100% compréhensibles et 100% transparents.
Dans le contexte de notre expansion, nous recrutons un.e mathématicien.ne pour modéliser des domaines de connaissances pour le compte de nos clients, afin de les exécuter sur notre plateforme pour le déploiement de la nouvelle génération d’applications dans le domaine des assurances.
Compétences:
- Diplôme universitaire de type Master ou plus
- Maîtrise de la logique formelle
- Capacité à modéliser de manière abstraite les produits et domaines de connaissance
- Capacité à communiquer et échanger avec les représentants du métier
- Capacité à comprendre les enjeux majeurs des clients
- Francophone (ou presque)
- Connaissance de l’anglais des affaires
Un plus:
- Une expérience, ou intérêt pour le monde des assurances (par l’angle fonctionnel plutôt qu’actuariel)
Nous offrons:
- Ce qu’il y a de mieux (comme tout le monde)
- Un environnement de travail fabuleux (comme tout le monde)
- Les meilleurs collègues du monde (si, si, je vous assure)
- La possibilité de choisir son mode de travail pour être le plus efficace possible (comme personne)
- Un sens de l’autodérision (absolu)