Research Engineer on High Assurance Cryptography

Inria

France

December 15, 2021

Description

2021-04233 - Research Engineer on High Assurance Cryptography

Contract type : Fixed-term contract

Level of qualifications required : Graduate degree or equivalent

Fonction : Temporary scientific engineer

Level of experience : Recently graduated

Context

Within the framework of a partnership (you can choose between)

  • not applicable,
  • The goal is to

    develop verified software implementations of various cryptographic mechanisms, more specifically, a verified implementation of AES-GCM.

    Is regular travel foreseen for this post ? No but travel expenses are covered within the limits of the scale in force.

    Assignment

    Assignments : The recruited person will attend conferences and workshops on security and privacy.

    For a better knowledge of the proposed research subject : A state of the art, bibliography and scientific references are available at the following URL, do not hesitate to log in: Prosecco

    Collaboration :

    The recruited person will be in connection with Karthikeyan Bhargavan and the HACL team.

    Responsibilities : The person recruited will take initiatives for writing and publishing open source software.

    Steering/Management : The person recruited will be in charge of Karthikeyan Bhargavan.

    Main activities

    Main activities (5 maximum) : Writing and verifying cryptographic software

    Additional activities (3 maximum) : Contributing code and helping in maintenance of HACL

    Skills

    Technical skills and level required : Masters degree in computer science with some experience of cryptography, programming languages, and software verification

    Languages : English, French

    Relational skills : Willingness and ability to work in large groups

    Other valued appreciated : Ability to contribute to and maintain open source software

    Benefits package
  • Subsidized meals
  • Partial reimbursement of public transport costs
  • Leave: 7 weeks of annual leave + 10 extra days off due to RTT (statutory reduction in working hours) + possibility of exceptional leave (sick children, moving home, etc.)
  • Possibility of teleworking (after 6 months of employment) and flexible organization of working hours
  • Professional equipment available (videoconferencing, loan of computer equipment, etc.)
  • Social, cultural and sports events and activities
  • Access to vocational training
  • General Information
  • Theme/Domain : Security and Confidentiality Software Experimental platforms (BAP E)

  • Town/city : Paris

  • Inria Center : CRI de Paris
  • Starting date : 2022-01-01
  • Duration of contract : 12 months
  • Deadline to apply : 2021-12-15
  • Contacts
  • Inria Team : PROSECCO
  • Recruiter : Bhargavan Karthikeyan / Karthikeyan.Bhargavan@inria.fr
  • The keys to success

    We are looking for someone who has expertise in multiple fields: cryptography, programming languages, and software verification. Candidates must be flexible and ready to learn. They must also work well in a large geographically distributed team that speaks English and French.

    About Inria

    Inria is the French national research institute dedicated to digital science and technology. It employs 2,600 people. Its 200 agile project teams, generally run jointly with academic partners, include more than 3,500 scientists and engineers working to meet the challenges of digital technology, often at the interface with other disciplines. The Institute also employs numerous talents in over forty different professions. 900 research support staff contribute to the preparation and development of scientific and entrepreneurial projects that have a worldwide impact.

    Instruction to apply

    Defence Security : This position is likely to be situated in a restricted area (ZRR), as defined in Decree No. 2011-1425 relating to the protection of national scientific and technical potential (PPST).Authorisation to enter an area is granted by the director of the unit, following a favourable Ministerial decision, as defined in the decree of 3 July 2012 relating to the PPST. An unfavourable Ministerial decision in respect of a position situated in a ZRR would result in the cancellation of the appointment.

    Recruitment Policy : As part of its diversity policy, all Inria positions are accessible to people with disabilities.

    Warning : you must enter your e-mail address in order to save your application to Inria. Applications must be submitted online on the Inria website. Processing of applications sent from other channels is not guaranteed.

    Similar Jobs

    Inria

    France Nov 16, 2021

    Add to favorites Read more...

    Software engineer on a python library

    2021-04215 - Software engineer on a python library About the research centre or Inria department The Inria Sophia Antipolis - Méditerranée center counts 34 research teams as The center's staff (about 500 people including 320...

    Georgia Institute of Technology

    United States Oct 7, 2021

    Add to favorites Read more...

    Microelectronics Systems Hardware/Software Security GRA- Summer 2022 - CIPHER

    Microelectronics Systems Hardware/Software Security GRA- Summer 2022 - Research Assistant (GRA) for the Summer 2022 semester with an interest in the development of novel cutting-edge software tools and/or hardware design to support research in microelectronics...

    Georgia Institute of Technology

    United States Oct 7, 2021

    Add to favorites Read more...

    Microelectronics Systems Hardware/Software Security GRA- Spring 2022 - CIPHER

    Microelectronics Systems Hardware/Software Security GRA- Spring 2022 - Research Assistant (GRA) for the Spring 2022 semester with an interest in the development of novel cutting-edge software tools and/or hardware design to support research in microelectronics...