Internship On Algorithms for Arithmetic Theories - Madrid, España - IMDEA Software Institute

IMDEA Software Institute
IMDEA Software Institute
Empresa verificada
Madrid, España

hace 1 mes

Isabel García

Publicado por:

Isabel García

beBee Recruiter
PrácticasSHIP
Descripción
Study small-model property for the GCD fragment of the problem.

  • Study proof calculi for the normalisation procedure.
  • Improve bounds on the normalisation procedure.
  • Look at lowerbounds for the normalisation procedure.
  • Study optimisation variant of the problem.

Who should apply?:


Working at IMDEA Software:

The position is based in Madrid, Spain, where the IMDEA Software Institute is situated. The institute provides for travel expenses and an internationally competitive stipend. The working language at the institute is English.


Dates:


How to apply?:

For enquiries about the position, please contact Alessio directly (alessio dot mansutti at imdea dot org).
Más ofertas de trabajo de IMDEA Software Institute
Ver todas las ofertas de empleo de IMDEA Software Institute