Profile
- Titre : Compilation et typage fort du langage Python
- Lieu : Lille (possibilité hébergement) ou télétravail
- Type : à temps plein
- Fonction : développeur
- Durée : stage (3-6 mois) / alternance / embauche
- Référence : Offer-2023-Python.Compilation
Description
Typon (https://typon.nexedi.com/) est un compilateur Python-vers-C++ en cours de développement à Nexedi. Typon dote Python d'un système de types vérifiés à la compilation et d'un moteur d'exécution concurrente écrit en C++ qui permet d'introduire des primitives de programmation puissantes.
Typon compile vers du C++ sans dépendance au runtime de Python (l'interpréteur CPython). L'intéroperabilité avec Python est en cours de développement pour permettre à la fois d'appeler du code Python externe et d'importer un module Typon depuis Python, en utilisant des bibliothèques de bindings Python/C++ comme Pybind11. L'absence de dépendance au runtime CPython ouvre la voie à des applications dans l'informatique embarquée et le temps-réel. Le code C++ généré peut ensuite être compilé vers du code natif performant.
Le compilateur Typon est écrit en Python et s'appuie sur le module ast de Python.
Typon s'incrit dans la continuité d'un intérêt continu pour le sujet de la compilation de Python depuis plusieurs années à Nexedi, précédemment incarné par le projet Cython+ (https://cython.plus/), une extension expérimentale du compilateur Cython. C'est de l'expérience acquise dans Cython+ que Typon est né.
Nous recherchons un candidat intéressé par le design des langages de programmation, avec de l'expérience en développement Python ou C++, et une affinité avec les logiciels libres. Des connaissances en exécution concurrente, language design, compilation, systèmes de types, ou analyse statique seront appréciées.
Si ces sujets t'intéressent, contacte-nous !
Responsabilités
- définir l'orientation d'un tout nouveau langage
- compiler de code Python vers un runtime d'exécution concurrente
- écrire des bibliothèques standard similaires à celles de Python
- faire le lien avec la communauté des utilisateurs
Opportunités
- développer en Python, C, C++
- participer au développement d'un langage de programmation
- contribuer à des solutions complexes de logiciels libres et open source
Permalink
https://www.nexedi.com/fr/NXD-Recruiting.Opportunity.Compilation.And.Strong.Typing.For.The.Python.Language
À propos de Nexedi
Nexedi est l'un des principaux éditeurs européens de logiciels libres et open source en Europe avec un portefeuille de solutions open source de plus de 15 millions de lignes de code. Nos solutions logicielles personnalisées sont utilisées par Airbus, Stellantis, Sanef et d'autres entreprises dans le monde entier. Nous participons à des projets de recherche de pointe, nous sommes en train de construire Rapid.Space, un fournisseur de cloud entièrement ouvert et nous faisons pression pour l'indépendance de l'Europe en ce qui concerne les technologies de cloud et de communication ainsi que l'utilisation de logiciels libres.
Intéressé ?
Nous serions heureux de vous connaître, envoyez-nous un message (accompagné de votre CV) à jobs(at)nexedi.com et nous vous contacterons.
Nexedi SA
147 Rue de Ballon
59110 La Madeleine
France
Phone : +33 629 02 44 25
Mail : info@nexedi.com
Web : www.nexedi.com