Moteur de recherche d'offres d'emploi Gfi

Software Engineer Formal Methods H/F


Détail de l'offre

Informations générales

Entité de rattachement

Inetum est un leader européen des services numériques. Pour les entreprises, les acteurs publics et la société dans son ensemble, les 28 000 consultants et spécialistes du groupe visent chaque jour l'impact digital : des solutions qui contribuent à la performance, à l'innovation et au bien commun.
Présent dans 19 pays au plus près des territoires, et avec ses grands partenaires éditeurs de logiciels, Inetum répond aux enjeux de la transformation digitale avec proximité et flexibilité.
Porté par son ambition de croissance et d'industrialisation, Inetum a généré en 2023 un chiffre d'affaires de 2,5 milliards d'€.

Pour répondre à un marché en croissance continue depuis plus de 30ans, Inetum a fait le choix délibéré de se recentrer sur 4 métiers afin de gagner en puissance et proposer des solutions sur mesure, adaptées aux besoins spécifiques de ses clients : le conseil (Inetum Consulting), la gestion des infrastructures et applications à façon (Inetum Technologies), l'implémentation de progiciels (Inetum Solutions) et sa propre activité d'éditeur de logiciels (Inetum Software). Inetum a conclu des partenariats stratégiques avec 4 grands éditeurs mondiaux - Salesforce, ServiceNow, Microsoft et SAP et poursuit une stratégie d'acquisitions dédiée afin d'entrer dans le top 5 européen sur ces technologies et proposer la meilleure expertise à ses clients.

Tous nos postes sont ouverts aux personnes en situation de handicap.  

Description du poste

Métier

Métier Software (Edition de logiciels) - Produit - Développement Produit

Intitulé du poste

Software Engineer Formal Methods H/F

Contrat

CDI

Description de la mission

Metaware builds the world’s most powerful and advanced solution to solve Enterprise IT most pressing problems: Legacy System Transformation. Our DNA is software engineering and innovation. Our R&D team comprises of smart and talented engineers designs, develops, and improve our transformation engine – based on the refine technology – used by metaware delivery teams for our projects.

As we grow, we’re seeking new and promising software engineers who have a passion for functional programming (LISP, Theory of Languages, etc.), to join the team and take part in exciting engineering achievements.

We thrive on intellectual agility, enthusiasm, energy, curiosity and individual commitment to explore innovative ways of solving complex problems

Job Responsibilities


• Design and develop language processing tools (analysis, transformation) such as syntax translation, data flow and business logic extraction, …
• Develop feature enhancements to our toolset
• Maintain an active role in every part of the software development life cycle
• Analyze sophisticated problems and voice your ideas to get them solved
• Partner with other teams to understand our project/development requirements


We offer
• Unique opportunities for smart, hands-on engineers with the expertise and passion to solve problems creatively
• Financially secure technology company, surrounded by a talented team, where you can both learn and contribute,
• The tools and support to build a career with us
• Plus, our employees receive an excellent benefits package which includes medical insurance, meal vouchers, flexible working

Profil

Successful candidates should be:

  • Degree educated (Computer Science, Mathematics, or any other science related field)
  • Experienced in functional programming (LISP, CAML, Refine) and able to design simple and elegant solutions
  • High energy, naturally curious and keen to solve hard problems
  • Keen to self-learn and share their knowledge with the team around them

Mandatory Technical Skills:

  • Experience with:

- Functional Programming language like Lisp or Caml

- Language design & implementation and of language tool chain such as parsing

- EMACS Development environments

  • Practical knowledge for Theory of language/Language programming technical field
  • First Experience are welcome

Desirable Skills:

Version Control System like Git or willingness to learn
Ability to work on features both independently and a small team
Passion, Creativity, Forward thinking, Analytic reasoning.                 

 

If you meet the above criteria, please get in touch. Promising Functional Programmer candidates can be assured of a response within 24 hours.

 

Localisation du poste

Localisation du poste

France, Ile-de-France

Ville

Velizy Villacoublay

Critères candidat

Niveau d'études min. requis

Bac+5

Niveau d'expérience min. requis

Plus de 2 ans