Passa al contingut principal

Formal Methods for GPUs – 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 a method that will allow finding software problems in GPU software as well as proving the correctness of the GPU software and that it adheres to its specification through the use of formal methods.

The work involves experimenting with an existing formal technology for CPUs and extend it for use in a GPU environment. Moreover, it includes the evaluation of the capabilities of these methods, such as what types of errors are possible or impossible to be find with them. For the experimental assessment space relevant software will be ported to the formal method framework selected for the project. The work will be performed within the context of the Formal Methods for GPUs 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

Evaluate existing formal methods frameworks for CPUs for safety-critical systems use

Evaluate experimental formal methods frameworks for GPUs for safety-critical systems use

Adapt space relevant software for the demonstration of the capabilities of these methods

Develop additional methods which can enhance the capabilities for these methods or make them more appropriate for GPUs

Termini per aplicar: Divendres, 30 Juny, 2023

Més informació

Més entrades de Beques

Comentaris

Entrades populars d'aquest blog

Oferta pública 10/04/2024

  Ajuntament de Cadaqués 1 plaça de Tècnic de medi ambient Ajuntament de Pira 1 plaça de Secretari interventor de l'Agrupació Pira - Vilaverd Ajuntament de Sant Antoni de Vilamajor 1 plaça de Tècnic de medi ambient Ajuntament de Sant Martí de Llémena 1 plaça d'Arquitecte tècnic Ajuntament d'Esparreguera Borsa de treball de places d'Enginyer tècnic Barcelona Supercomputing Center-Centro Nacional de Supercomputación (BSC-CNS) 1 plaça de Co-leader of the Climate Variability and Change Group (R4) Barcelona Supercomputing Center-Centro Nacional de Supercomputación (BSC-CNS) 1 plaça de Postdoc on aerosol microphysics (R2) Consell Comarcal de la Cerdanya Borsa de treball de places de Secretari interventor Fundació Transports Metropolitans de Barcelona (TMB) 1 plaça d'Enginyer de Coordinació Tècnica del Projecte EBRT2030 Generalitat de Catalunya - Departament d'Acció Climàtica, Alimentació i Agenda Rural 1 plaça de Diplomat enginyer tècnic forestal a l'Oficina Comar

Oferta pública 09/04/2024

  Ajuntament de Lloret de Mar 1 plaça d'Enginyer tècnic adscrit a Serveis Públics Ajuntament de Móra la Nova Borsa de treball de places de Secretari interventor Barcelona Supercomputing Center-Centro Nacional de Supercomputación (BSC-CNS) 1 plaça de Technical coordinator - Climate Digital Twin (RE2) Generalitat de Catalunya - Agència Catalana de Turisme (ACT) 1 plaça de Data analyst - Model Turístic i Recerca Generalitat de Catalunya - Departament d'Interior 1 plaça de Titulat superior en enginyeria industrial (Barcelona) Generalitat de Catalunya - Servei Públic d'Ocupació de Catalunya (SOC) 1 plaça de Tècnic superior al Centre d'Innovació i Formació de L'Hospitalet de Llobregat Universitat Autònoma de Barcelona (UAB) 1 plaça d'Investigador ordinari al Departament d'Enginyeria de la Informació i de les Comunicacions

Graduate Programs (3)

GSK Future Leaders graduate programme .  Sustainability Analyst Internship & Graduate Program.  All We Wear Group Graduate Management Traineeship Programme (GMT) .  AB InBev Shell Graduate Programme 2024 - Germany Business Planning and Supply Chain Graduate . Henkel Graduate Program CHAiNGERS Operations & Supply Chain . Henkel Engineering & Technology Graduate Programme . Rolls-Royce Més posts de Graduate program