Identificación de usuariosPortal de Empleo I+D+i


 COMPARTIR OFERTA
Facebook  Twitter 
Imprimir en blanco y negro
Ofertas de empleo
 

Oferta de Trabajo  Código: 25088  

Puesto: Research Programmer

Función: The candidate will work in a project related with computer security and electronic voting (e-voting) technologies. The main purpose of the project is the automatic generation of secure JavaScript (JS) code for an e-voting system.
Empresa: IMDEA Software Institute  
Referencia: JavaScript programmer Publicada el 11/10/2017 Publicada hasta el 11/11/2017
Tipo de Contrato: Obra y servicio Dedicación: Jornada completa  
Localidad: Pozuelo de Alarcon Provincia: Madrid Disponibilidad para viajar: Sin especificar

Nivel Académico
Master  

Titulación Académica
Informática (Titulación Universitaria)

Áreas tecnológicas
P-07 Informática

Idiomas
Idioma: Inglés Nivel Lectura: Medio Nivel Escrito: Medio Nivel Conversación: Bajo

Conocimientos de Informática  
Required technical skills
   - Knowledge of JavaScript language and programming
   - Experience/knowledge of Abstract Data Types (ADT) programming (e.g.: lists, trees)
   - Basic knowledge of code parsing concepts/elements (e.g.: AST, ...)
   - Basic knowledge of security vulnerabilities of JavaScript code
   - Experience in using code repositories: SVN, GIT.
   - Strong mathematical background
   - Experience working in research projects and publishing research work

Desired technical skills:
   - Knowledge of common web cryptographic APIs and providers (Bouncy Castle, Forge, ...)
   - Some experience/knowledge of Python programming
   - Ability to read and write English is desirable
   - Knowledge of Machine Learning / Data Analysis methods

Experiencia
Professional experience:
- Valuable but not mandatory

Otros

The candidate will work in collaboration with researchers from the institute in a project related with computer security and electronic voting (e-voting) technologies. The main purpose of the project is the automatic generation of secure JavaScript (JS) code for an e-voting system. The project consists of generating secure JS code from the specification of cryptographic primitives. The primitives are formally verified and translated to JS using a tool developed at Microsoft Research. The generated JS is then automatically plugged into an existing e-voting client. The candidate will be assigned this latter task of developing a tool for automatically plug the JS code into an existing JS client, while preserving secure properties of the code.

The project will be developed jointly with a company expert in e-voting technologies, so the candidate will be required to collaborate with members of the company to achieve the project goals.

Tasks:

  • Navigate and understand the existing JS code implementing the e-voting client.
  • Collaborate in designing secure code interfaces for plug the secure JS code into the existing e-voting client.
  • Develop a tool for automatically generate the JS interfaces designed
  • Define code tests to check correct functionality and performance
  • Collaborate in writing project deliverables and documentation

The selected candidate will work in a dynamic and flexible environment involved in a research project related with computer security and e-voting topics. The candidate is expected to be self-motivated, self-organized to achieve project objectives and to work autonomously with a problem-solving mentality.



Si es ud. un usuario registrado con su Currículum en la sección del portal de empleo i+d+i y está interesado en esta oferta de trabajo puede ud. inscribirse directamente en la Oferta a través del botón "inscribirse". Su interés por la oferta será comunicado a la empresa y su Currículum será accesible para la misma durante el proceso de selección asociado.