AdaCore - historique & statistiques
3 offres au total · 2 actives · 1 clôturée · de mai 2026 à septembre 2026
En chiffres
0
Offres actives
0
Localisations
0
Technologies
Stack & profils recherchés
Stack technique
AdaScaled AgileC++Microsoft OfficePythonRustIoTMicrosoft ExchangeJavaGitBashLinux AdministrationQA TestingStatic AnalysisControl Flow GraphsData FlowASTsOCaml
Séniorité recherchée
- SENIOR1
Où ils publient
Principalement repéré sur LesJeudis.
- LesJeudis3 (100%)
Toutes les offres
GNATpolyglot: introduce a backend for Python bindings generation
il y a 9 joursParis, Île-de-FranceSur site
Scaled AgileC++AdaMicrosoft OfficePythonJava+3
GNATfuzz fuzzing embedded C
il y a 9 joursParis, Île-de-FranceSur site
Scaled AgileC++GitAdaMicrosoft OfficeBash+6
Senior Static Analysis Software Engineer
Clôturée8 maiParisSur siteSENIOR
Static AnalysisControl Flow GraphsData FlowASTsOCamlAda