Trabajos
>
Barcelona

    Formal Methods for GPUs –Research Engineer - Barcelona, España - Barcelona Supercomputing Center

    Barcelona Supercomputing Center
    Barcelona Supercomputing Center Barcelona, España

    hace 1 semana

    BARCELONA SUPERCOMPUTING CENTER background
    De jornada completa
    Descripción

    Context And Mission


    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:

    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.

    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
    Requirements
    • Education
      • On going Bachelor's Degree in Computer Science, Computer Engineering or a related field
      • Demonstrated experience with formal methods such as static analysis and safe languages
      • Demonstrated programming training either as part of the Bachelor's and/or Master Degree Curriculum or other certified entities, preferably from CUDA Centers of Excellence
    • Essential Knowledge and Professional Experience
      • C, C++, CUDA, Python programming
      • Experience with the use of at least one safe language (Rust, Ada SPARK etc) or language subset (eg. MISRA C)
      • LaTeX
    • Additional Knowledge and Professional Experience
      • Experience with embedded platforms
      • Knowledge of supercomputer/cluster usage
      • Experience with real-time, critical systems and/or reliability is desired but not required
    • Competences
      • Problem-solving, pro-active, result-oriented work attitude
      • Ability to perform work both individually as well as in a team
      • Good communication skills including a good command of the English language (written and spoken)

    Conditions
    • The position will be located at BSC within the Computer Sciences Department
    • We offer a full-time contract a good working environment, a highly stimulating environment with state-of-the-art infrastructure, flexible working hours, extensive training plan, restaurant tickets, private health insurance, support to the relocation procedures
    • Duration: Open-ended contract due to technical and scientific activities linked to the project and budget duration
    • Holidays: 23 paid vacation days plus 24th and 31st of December per our collective agreement
    • Salary: we offer a competitive salary commensurate with the qualifications and experience of the candidate and according to the cost of living in Barcelona
    • Starting date: 1/8/2023

  • Barcelona Supercomputing Center-Centro Nacional de Supercomputación (BSC-CNS)

    Plaça de Research Engineer

    hace 1 día

    Barcelona Supercomputing Center-Centro Nacional de Supercomputación (BSC-CNS) Barcelona, España

    Barcelona Supercomputing Center-Centro Nacional de Supercomputación (BSC-CNS). 1 plaça de Research Engineer (RE2). Concurs o valoració de mèrits. Laboral temporal Termini obert. A1 - Grau universitari (correspondència amb llicenciatures). Doctorat en Informàtica o área propera. N ...

  • Barcelona Supercomputing Center-Centro Nacional de Supercomputación (BSC-CNS)

    Plaça de Research Engineer

    hace 1 semana

    Barcelona Supercomputing Center-Centro Nacional de Supercomputación (BSC-CNS) Barcelona, España

    Barcelona Supercomputing Center-Centro Nacional de Supercomputación (BSC-CNS). 1 plaça de Research engineer - Machine Learning (RE1). Concurs o valoració de mèrits. Laboral temporal Termini obert. A - Grau universitari. Grau en Telecomunicacions, Informàtica, Ciències Ambientals ...

  • Barcelona Supercomputing Center-Centro Nacional de Supercomputación (BSC-CNS)

    Plaça de Researcher/research Engineer

    hace 1 semana

    Barcelona Supercomputing Center-Centro Nacional de Supercomputación (BSC-CNS) Barcelona, España

    Barcelona Supercomputing Center-Centro Nacional de Supercomputación (BSC-CNS). 1 plaça de Researcher/Research Engineer - High-resolution global climate modeller (R2/RE2). Concurs o valoració de mèrits. Laboral temporal Termini obert. A1 - Grau universitari (correspondència amb ll ...

  • Barcelona Supercomputing Center-Centro Nacional de Supercomputación (BSC-CNS)

    Plaça de Research Engineer

    hace 1 semana

    Barcelona Supercomputing Center-Centro Nacional de Supercomputación (BSC-CNS) Barcelona, España

    Barcelona Supercomputing Center-Centro Nacional de Supercomputación (BSC-CNS). 1 plaça de Research engineer - Operational Climate Services Engineer (RE2). Concurs o valoració de mèrits. Laboral temporal Termini obert. C1 - Batxillerat, FP 2n grau, cicles formatius grau superior. ...

  • Barcelona Supercomputing Center-Centro Nacional de Supercomputación (BSC-CNS)

    Plaça de Research Engineer

    hace 3 días

    Barcelona Supercomputing Center-Centro Nacional de Supercomputación (BSC-CNS) Barcelona, España

    Barcelona Supercomputing Center-Centro Nacional de Supercomputación (BSC-CNS). 1 plaça de Research Engineer (RE3). Laboral temporal Termini obert. A1 - Grau universitari (correspondència amb llicenciatures). Doctorat en Informàtica, Enginyeria Informàtica o Enginyeria Elèctrica ( ...

  • Barcelona Supercomputing Center-Centro Nacional de Supercomputación (BSC-CNS)

    Plaça de Research Engineer

    hace 1 semana

    Barcelona Supercomputing Center-Centro Nacional de Supercomputación (BSC-CNS) Barcelona, España

    Barcelona Supercomputing Center-Centro Nacional de Supercomputación (BSC-CNS). 1 plaça de Research Engineer - Foundation models & LLMs (RE2). Concurs o valoració de mèrits. Laboral temporal Termini obert. A1 - Grau universitari (correspondència amb llicenciatures). Llicenciat o m ...

  • Barcelona Supercomputing Center-Centro Nacional de Supercomputación (BSC-CNS)

    Plaça de Research Engineer

    hace 1 semana

    Barcelona Supercomputing Center-Centro Nacional de Supercomputación (BSC-CNS) Barcelona, España

    Barcelona Supercomputing Center-Centro Nacional de Supercomputación (BSC-CNS). 1 plaça de Research engineer - Junior Streaming Workflows Engineer (RE1). Concurs o valoració de mèrits. Laboral temporal Termini obert. A1 - Grau universitari (correspondència amb llicenciatures). Lli ...

  • Barcelona Supercomputing Center-Centro Nacional de Supercomputación (BSC-CNS)

    Plaça de Research Engineer

    hace 1 semana

    Barcelona Supercomputing Center-Centro Nacional de Supercomputación (BSC-CNS) Barcelona, España

    Barcelona Supercomputing Center-Centro Nacional de Supercomputación (BSC-CNS). 1 plaça de Research Engineer - python I/O management (RE1). Concurs o valoració de mèrits. Laboral temporal Termini obert. A1 - Grau universitari (correspondència amb llicenciatures). Llicenciatura en ...

  • Barcelona Supercomputing Center-Centro Nacional de Supercomputación (BSC-CNS)

    Plaça de Research Engineer

    hace 5 días

    Barcelona Supercomputing Center-Centro Nacional de Supercomputación (BSC-CNS) Barcelona, España

    Barcelona Supercomputing Center-Centro Nacional de Supercomputación (BSC-CNS). 1 plaça de Research Engineer - Modeling and simulating emerging parallel architectures (RE1). Concurs o valoració de mèrits. Laboral temporal Termini obert. A1 - Grau universitari (correspondència amb ...

  • Barcelona Supercomputing Center-Centro Nacional de Supercomputación (BSC-CNS)

    Plaça de Research Engineer

    hace 4 días

    Barcelona Supercomputing Center-Centro Nacional de Supercomputación (BSC-CNS) Barcelona, España

    Barcelona Supercomputing Center-Centro Nacional de Supercomputación (BSC-CNS). 1 plaça de Research engineer - Verification of climate forecasts (RE2). Laboral temporal Termini obert. A - Grau universitari. Llicenciatura en Informàtica, Telecomunicacions, Matemàtiques, Física o di ...

  • Barcelona Supercomputing Center-Centro Nacional de Supercomputación (BSC-CNS)

    Plaça de Research Engineer

    hace 2 días

    Barcelona Supercomputing Center-Centro Nacional de Supercomputación (BSC-CNS) Barcelona, España

    Barcelona Supercomputing Center-Centro Nacional de Supercomputación (BSC-CNS). 1 plaça de Research Engineer - Artificial Intelligence for Synthetic Data Generation in Biomedicine. Concurs o valoració de mèrits. Laboral temporal Termini obert. A1 - Grau universitari (correspondènc ...

  • Barcelona Supercomputing Center-Centro Nacional de Supercomputación (BSC-CNS)

    Plaça de Junior Research Engineer

    hace 5 días

    Barcelona Supercomputing Center-Centro Nacional de Supercomputación (BSC-CNS) Barcelona, España

    Barcelona Supercomputing Center-Centro Nacional de Supercomputación (BSC-CNS). 1 plaça de Junior Research Engineer (RE1). Concurs o valoració de mèrits. Laboral temporal Termini obert. A1 - Grau universitari (correspondència amb llicenciatures). Llicenciat en lingüística, traducc ...

  • Barcelona Supercomputing Center-Centro Nacional de Supercomputación (BSC-CNS)

    Plaça de Junior Research Engineer

    hace 1 semana

    Barcelona Supercomputing Center-Centro Nacional de Supercomputación (BSC-CNS) Barcelona, España

    Barcelona Supercomputing Center-Centro Nacional de Supercomputación (BSC-CNS). 1 plaça de Junior Research Engineer - Bioinformatician in Transcriptomics (RE1). Concurs o valoració de mèrits. Laboral temporal Termini obert. A1 - Grau universitari (correspondència amb llicenciature ...

  • Barcelona Supercomputing Center-Centro Nacional de Supercomputación (BSC-CNS)

    Plaça de Research Senior Engineer

    hace 1 semana

    Barcelona Supercomputing Center-Centro Nacional de Supercomputación (BSC-CNS) Barcelona, España

    Barcelona Supercomputing Center-Centro Nacional de Supercomputación (BSC-CNS). 1 plaça de Research Senior Engineer - Machine Learning Operations (RE2). Concurs o valoració de mèrits. Laboral temporal Termini obert. A1 - Grau universitari (correspondència amb llicenciatures). Màst ...

  • Barcelona Supercomputing Center-Centro Nacional de Supercomputación (BSC-CNS)

    Plaça de Junior Research Engineer

    hace 1 semana

    Barcelona Supercomputing Center-Centro Nacional de Supercomputación (BSC-CNS) Barcelona, España

    Barcelona Supercomputing Center-Centro Nacional de Supercomputación (BSC-CNS). 1 plaça de Junior Research Engineer (RE1). Concurs o valoració de mèrits. Laboral temporal Termini obert. A1 - Grau universitari (correspondència amb llicenciatures). Llicenciatura o Màster en Bioinfor ...

  • Barcelona Supercomputing Center-Centro Nacional de Supercomputación (BSC-CNS)

    Plaça de Junior Research Engineer

    hace 1 semana

    Barcelona Supercomputing Center-Centro Nacional de Supercomputación (BSC-CNS) Barcelona, España

    Barcelona Supercomputing Center-Centro Nacional de Supercomputación (BSC-CNS). 1 plaça de Junior Research Engineer (RE1). Concurs o valoració de mèrits. Laboral temporal Termini obert. A1 - Grau universitari (correspondència amb llicenciatures). Màster en Informàtica, Matemàtique ...

  • Barcelona Supercomputing Center-Centro Nacional de Supercomputación (BSC-CNS)

    Plaça de Junior Research Engineer

    hace 1 semana

    Barcelona Supercomputing Center-Centro Nacional de Supercomputación (BSC-CNS) Barcelona, España

    Barcelona Supercomputing Center-Centro Nacional de Supercomputación (BSC-CNS). 1 plaça de Junior Research Engineer (RE1). Concurs o valoració de mèrits. Laboral temporal Termini obert. A1 - Grau universitari (correspondència amb llicenciatures). Llicenciat en lingüística, traducc ...

  • Barcelona Supercomputing Center-Centro Nacional de Supercomputación (BSC-CNS)

    Plaça de Research Engineer for Trustworthy

    hace 5 días

    Barcelona Supercomputing Center-Centro Nacional de Supercomputación (BSC-CNS) Barcelona, España

    Barcelona Supercomputing Center-Centro Nacional de Supercomputación (BSC-CNS). 1 plaça de Research Engineer for Trustworthy Autonomous Vehicles (RE1). Concurs o valoració de mèrits. Funcionari interí Termini obert. A - Grau universitari. Màster en Intel-ligència Artificial amb fo ...

  • Fundació i2CAT, Internet i Innovació Digital a Catalunya

    Plaça D'engineer for Quantumcryptolab Research

    hace 2 días

    Fundació i2CAT, Internet i Innovació Digital a Catalunya Barcelona, España

    Fundació i2CAT, Internet i Innovació Digital a Catalunya. 1 plaça d'Engineer for QuantumCryptoLab Research Infrastructure. Concurs o valoració de mèrits. Laboral Data orientativa; si teniu algun dubte, consulteu l'ens convocant. Termini obert. A - Grau universitari. Grau en Engin ...

  • Barcelona Supercomputing Center (BSC)

    Research Engineer/researcher

    hace 3 días

    Barcelona Supercomputing Center (BSC) Barcelona, España

    **Job Reference**: · - 176_23_CS_Z_R0-4-RE1-4**Position**: · - Research Engineer/Researcher - Design of a supercomputing processor chip (RE1-4/R1-4/R0)**Closing Date**: · - Sunday, 30 April, 2023**Reference**: 176_23_CS_Z_R0-4-RE1-4**Job title**: Research Engineer/Researcher - De ...