Software Engineer Formal Methods H/F - Vélizy-Villacoublay, France - Inetum

    Inetum
    Inetum Vélizy-Villacoublay, France

    il y a 2 semaines

    Inetum background
    Indefinido
    Description

    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 learnAbility to work on features both independently and a small teamPassion, 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.

    Organisation

    Nous sommes une ESN agile, un groupe international certifié Top Employer Europe 2023.

    A l'ère de la post-transformation digitale, nous mettons tout en œuvre pour que chacun de nos athlètes du digital puisse se renouveler perpétuellement, en vivant positivement son propre flow digital.
    Chacun de nos talents peut ainsi façonner son parcours de carrière selon ses appétences, entreprendre de manière pragmatique avec ses clients pour un monde à impact positif, innover localement dans 27 pays et harmoniser son investissement professionnel et son bien-être personnel.

    Rejoignez Inetum. Live your positive digital flow.

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

    Pays

    France

    Emplacement

    Velizy Villacoublay

    Type de contrat

    CDI