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 15/09/2023

  Ajuntament de Castell-Platja d'Aro 1 plaça d'Arquitecte tècnic Generalitat de Catalunya - Servei Públic d'Ocupació de Catalunya (SOC) 1 plaça de Tècnic superior al Servei Territorial d'Ocupació a Girona (Secció de Control i Justificació Econòmica) Generalitat de Catalunya - Servei Públic d'Ocupació de Catalunya (SOC) 1 plaça de Tècnic de gestió a l'Oficina de Treball de Barcelona-Sant Andreu Generalitat de Catalunya - Servei Públic d'Ocupació de Catalunya (SOC) 1 plaça de Tècnic de gestió a l'Oficina de Treball de Vilanova i la Geltrú Institut Català de Nanociència i Nanotecnologia (ICN2) 1 plaça de Predoctoral researcher - Advanced Electronic Materials and Devices Group Ministerio de Ciencia e Innovación - Centro de Investigaciones Energéticas, Medioambientales y Tecnológicas (CIEMAT) 1 plaça d'Investigador predoctoral Ministerio de Ciencia e Innovación - Centro de Investigaciones Energéticas, Medioambientales y Tecnológicas (CIEMAT) 1 plaça d'

Oferta pública 18/09/2023

  Ajuntament de Santa Maria de Palautordera 1 plaça de Professor de l'Escola d'Adults Barcelona Supercomputing Center-Centro Nacional de Supercomputación (BSC-CNS) 1 plaça de RTL Engineer (R0) Fundació Bosch Gimpera 1 plaça d'Ajudant investigador Fundació i2CAT, Internet i Innovació Digital a Catalunya 1 plaça de Project Manager Tecnologies Digitals Fundació i2CAT, Internet i Innovació Digital a Catalunya 1 plaça de Project Manager TIC - Sector públic i privat Generalitat de Catalunya - Departament d'Acció Climàtica, Alimentació i Agenda Rural 1 plaça de Diplomat enginyer tècnic agrícola als Serveis Territorials a Barcelona Generalitat de Catalunya - Departament d'Acció Climàtica, Alimentació i Agenda Rural 1 plaça de Diplomat enginyer tècnic agrícola a la Direcció General d'Agricultura i Ramaderia Generalitat de Catalunya - Departament d'Acció Climàtica, Alimentació i Agenda Rural 1 plaça de Diplomat enginyer tècnic forestal als Serveis Territorials a la Ca

Ciència i cinema a l'EEBE: “Maths saves The Last of Us”

Comença una nova edició del cicle Ciència i Cinema de l'Escola d'Enginyeria de Barcelona Est (EEBE), amb la conferència “Maths saves The Last of Us”, a càrrec d'Ángeles Carmona, Andrés M. Encinas i Ma. José Jiménez, investigadores del departament de Matemàtiques), i del grup de recerca d'Anàlisi matricial i Teoria Discreta del Potencial (MAPTHE). Les investigadores analitzaran el context matemàtic de la sèrie The Last of Us, sèrie emesa per HBO, per poder assabentar-se de com la matemàtica discreta ens ajuda a aturar el cordyceps. A la sessió es podrà descobrir com les matemàtiques esdevenen essencials per al modelatge de pandèmies i ens permeten comprendre com es propaga la infecció del fong. L'activitat tindrà lloc a les 12 h a la Sala d'Actes de l'EEBE, i en finalitzar la xerrada, les persones assistents podran posar a prova els coneixements adquirits durant la sessió mitjançant un qüestionari de resposta múltiple. La persona guanyadora s'endurà a cas