En el Laboratorio de Sistemas Informáticos, pretenden contratar a varios estudiantes de doctorado en proyectos de investigación nacionales e internacionales en el ámbito de la seguridad de software y sistemas, en particular en técnicas para encontrar, mitigar y corregir errores y vulnerabilidades en código escrito en C/C /Rust.
Los temas de interés en los que tienen previsto trabajar son:
- encontrar errores en bases de código C/C /Rust, no basándose en reglas codificadas, sino aprendiendo reglas de la base de código bajo prueba.
- corrección automática de errores en bases de código C/C/Rust.
- mejorar los análisis estáticos existentes para bases de código C/C /Rust haciéndolos escalables a bases de código (muy) grandes.
Requisitos
Los candidatos deben tener:
- un Máster en Informática, Ingeniería Informática o equivalente.
- Se valorará muy positivamente la experiencia en cualquiera de los siguientes aspectos: desarrollo de software en C/C /Rust, conocimiento de los principios subyacentes a las herramientas de desarrollo en C/C /Rust (por ejemplo, depuradores, compiladores, herramientas y técnicas de análisis y reescritura de software), LLVM y fuzzing.
- Se valorará muy positivamente la experiencia con entornos tipo Linux y el desarrollo de software en el contexto de grandes proyectos de software (de código abierto).
Beneficios
La financiación cubre 4 años de investigación como estudiante de doctorado, con una posible prórroga de 5º año, en cualquier fecha de inicio posible. Como estudiante de doctorado en la Universidad de Gante, dispondrás de unos ingresos brutos (equivalentes) de unos 50.000 euros anuales que te permitirán llevar una vida cómoda e independiente en Bélgica y, por tanto, centrarte en la investigación.
Organización/Empresa – Universidad de Gante.
Campo de investigación – Informática » Otros
Perfil investigador – Investigador de primera etapa (R1).
País -Bélgica.
Plazo de solicitud – 14 Nov 2025 – 00:00 (UTC).
Más información: Euraxess.
Deja una respuesta