Lieu : Paris centre Bastille
Salaire: de 1,600 à 2,000 €/mois
Contrats possibles: Professionnalisation, Apprentissage, CDD, CDI
Votre mission : Directement rattachée au Directeur, vous contribuerez par vos actions et votre support aux fortes ambitions de développement commercial de la société.
Vos fonctions : Vous aurez progressivement la charge d’assister, de manière générale, toute opération commerciale et marketing de la société et en particulier :
Votre profil : De formation supérieure (Bac+2/3 Action Commerciale, Assistante, LEA), vous avez déjà une première expérience significative en tant qu’assistante commerciale de préférence dans une TPE/PME. Vous maitrisez les logiciels de bureautique et vous avez l’expérience d’un logiciel de CRM. Vous maîtrisez obligatoirement l’anglais professionnel de façon courante. Par ailleurs vous êtes convaincante et persuasive, à la fois autonome dans votre organisation et précise dans vos actions et vous aimez travailler dans de petites structures.
Nous vous offrons un poste qui permettra de mettre en valeur vos qualités relationnelles et d’organisation dans une équipe à taille humaine. La taille de l’entreprise et son fort potentiel de développement, vous offrira, en cas de succès, une grande diversité de mission et de responsabilités.
Génération de code Ada à partir de modèles formels.
Le contexte
Nos outils permettent de décrire des modèles et des tests de manière abstraite, c’est-à-dire indépendamment de toute cible. Grâce à la sémantique des langages que nous utilisons, les modèles et les tests ainsi décrits peuvent être exécutés dans notre simulateur afin d’être mis au point sur station hôte.
Une fois les modèles et les tests mis au point, nos outils permettent de générer le code C ou C++ correspondant pour implémentation sur une cible réelle.
Ada est un langage de programmation orienté objet dont les premières versions remontent au début des années 1980. Après des évolutions régulières, la dernière mise à jour du langage date de 2012. Il est souvent utilisé dans des systèmes temps réel et embarqués nécessitant un haut niveau de fiabilité et de sécurité. De nos jours, Ada95 est employé dans l’automobile, le ferroviaire, l’aéronautique, le spatial et le militaire.
Objectif du stage
Le stage que nous proposons a pour objectif de valider la faisabilité d’un générateur de code Ada à partir de nos modèles et d’en implémenter tout ou partie.
Les différentes étapes sont:
Votre profil
Vous êtes en avant dernière année d’école d’ingénieur ou équivalent. Vous êtes autonome, rigoureux, et dynamique. Ce stage vous permettra de mettre en valeur vos qualités dans un environnement à taille humaine avec un fort potentiel de développement.
Contact: