Passa al contingut principal

Software randomisation compiler – Bachelor’s Student (R0) per el Barcelona Supercomputing Center

The Computer Architecture and Operating System group at the Barcelona Supercomputing Center aims at carrying out research on programming models for critical embedded systems in charge of controlling fundamental parts of cars, airplanes and satellites. Our work is mainly done in the context of bilateral projects with several processor companies as well as several European-funded projects. For a complete list of publications of the group in the last years, please visit: www.bsc.es/caos

The objective of this position is to develop an existing software randomization method in a compiler framework, for the computation of worst case execution time in safety critical systems, using the Measurement Based Probabilistic Timing Analysis (MBPTA). For the experimental assessment, space relevant software will be used to validate the correctness of the implementation on a space relevant platform. The work will be performed within the context of the “Open Source Software Randomisation for safe and secure space systems” project funded by the European Space Agency (ESA), which is coordinated by BSC.

The student is expected to enroll or have already been enrolled in a Bachelor’s program. The technical work performed during the candidate’s placement will contribute to the student’s Bachelor’s Thesis. Upon successful completion of the Bachelor’s degree, the student may be offered the possibility to continue for a Master’s degree, leading to PhD studies.

Key Duties

  • Implement an existing software randomization method in a compiler infrastructure
  • Evaluate the implementation using space relevant software on a space relevant processor

Document the application of software randomization in space applications, as well as the computation of pWCET using MBPTA

Termini per aplicar: Divendres, 30 Juny, 2023

Més informació

Més entrades de Beques

Comentaris

Entrades populars d'aquest blog

Ofertes laborals actives a Eurecat

Eurecat Centre Tecnològic de Catalunya està format per un equip de professionals que busquen la excel·lència. Els nostres valors defineixen els nostres projectes: vocació de servei, eficiència, innovació i creativitat, orientació a les persones i als resultats, transparència i equitat, respecte i compromís i treball en equip. Troba l’oferta d’ocupació que s’ajusti més al teu perfil professional i expectatives. Inscriu-te per fer-nos arribar el teu CV. Ingeniero/a para Investigación en Industria 4.0 (Sector Plásticos). Barcelona. Modalitat de treball Presencial Business Developer - Biotecnología Alimentaria - Complementos Alimenticios. Barcelona. Departament Desarrollo de Negocio Modalitat de treball Híbrida Data Scientist & Machine Learning Engineer. Departament Data Science & Big Data Analytics Modalitat de treball Híbrida.  GESTOR/A PROYECTOS DE SALUD DIGITAL Barcelona. Departament Tecnología y Transferencia Modalitat de treball Híbrida Totes les ofertes Més posts de Recerca

Oferta pública 16/02/2024

  Ajuntament de Maçanet de la Selva 1 plaça d'Enginyer Fundació Bosch Gimpera 1 plaça d'Ajudant d'investigador Generalitat de Catalunya - Centre d'Atenció i Gestió de Trucades d'Urgència 112 Catalunya 1 plaça de Tècnic en integracions (xarxes i comunicacions informàtiques / gestor de projectes) (Barcelona o Reus) Generalitat de Catalunya - Ens d'Abastament d'Aigua Ter-Llobregat (ATL) 1 plaça de Cap de Distribució a les Oficines centrals de Fontsanta (Sant Joan Despí) Institut de Física d'Altes Energies (IFAE) 1 plaça de Technical Position for the Atlas Pixel group

Oferta pública 19/02/2024

  Ajuntament de Campdevànol 1 plaça d'Arquitecte tècnic Ajuntament de la Pobla de Lillet 1 plaça de Secretari interventor a l'agrupació de municipis de la Pobla de Lillet i Sant Julià de Cerdanyola Ajuntament de les Franqueses del Vallès 2 places d'Agent de la Policia Local Centre Tecnològic de Telecomunicacions de Catalunya (CTTC) 1 plaça de Researcher position Consell Comarcal de l'Alt Empordà Borsa de treball de places d'Arquitecte Consell Comarcal de l'Alt Empordà Borsa de treball de places d'Arquitecte Tècnic Diputació de Barcelona Borsa de treball de places de Tècnic superior Recursos Humans Diputació de Girona 2 places d'Enginyer tècnic informàtic - perfil tècnic de desenvolupament Diputació de Girona 2 places d'Enginyer de camins, canals i ports Diputació de Girona 1 plaça d'Enginyer tècnic informàtic - perfil analista funcional Diputació de Girona 1 plaça d'Enginyer tècnic informàtic - perfil sistemes Diputació de Girona 8 places de