Trabajos
>
Barcelona

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

    Barcelona Supercomputing Center
    Barcelona Supercomputing Center Barcelona, España

    Encontrado en: Talent ES C2 - hace 6 días

    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

  • Telefónica

    Research Engineer in

    Encontrado en: Talent ES C2 - hace 11 horas

    Telefónica Barcelona, España

    TELEFONICA RESEARCH · Telefonica Research is a leading industrial research lab based in Barcelona (Spain). The aim of the lab is to carry out research studies on mid to long-term topics related to several technological areas of interest to the Telefónica Group. The Research grou ...

  • BARCELONA SUPERCOMPUTING CENTER - CENTRO NACIONAL DE SUPERCOMPUTACIÓN

    research engineer

    Encontrado en: Talent ES C2 - hace 4 días

    BARCELONA SUPERCOMPUTING CENTER - CENTRO NACIONAL DE SUPERCOMPUTACIÓN Barcelona, España De jornada completa

    · In the context of VITAMIN-V european project , the Data Centric Computing Group from the Computer Science Department searches an engineer willing to work in a project with leading industry players to support the next wave of Exascale computing advancements centered in the init ...

  • Barcelona Supercomputing Center

    Research Engineer

    Encontrado en: Talent ES C2 - hace 23 horas

    Barcelona Supercomputing Center Barcelona, España De jornada completa

    Context And Mission · The High Performance Artificial Intelligence research group is growing, attracting both young talent and resources. This growth requires a stronger structure in which researchers with experience take responsability and proaction in the growth of the group. T ...

  • Telefonica S.A.

    Research Engineer in

    Encontrado en: beBee S2 ES - hace 7 horas

    Telefonica S.A. BARCELONA, España

    TELEFONICA INNOVACIÓN DIGITAL - DISCOVERY RESEARCH · Telefonica Innovación Digital - Discovery Research is a leading industrial research lab based in Barcelona (Spain). The aim of the lab is to carry out research studies on mid to long-term topics related to several technological ...

  • Fundació i2cat

    Research Engineer

    Encontrado en: Talent ES C2 - hace 4 días

    Fundació i2cat Barcelona, España De jornada completa

    The Mobile and Wireless Internet (MWI) group at i2CAT is looking for an Engineer/Researcher to work on energy optimization topics within the framework of the SNS BeGREEN project · BeGREEN project will take a holistic view to propose evolving radio networks that not only accommod ...

  • IQS - Universitat Ramon Llull

    Predoctoral Engineering Researcher

    Encontrado en: Talent ES C2 - hace 1 día

    IQS - Universitat Ramon Llull Barcelona, España

    IQS, a founding member of Universitat Ramon Llull, is made up of two university faculties: IQS School of Engineering and IQS School of Management; IQS Executive Education which offers specialized training to professionals and companies; the IQS Tech Transfer division which carrie ...

  • IQS - Universitat Ramon Llull

    Predoctoral Engineering Researcher

    Encontrado en: Talent ES C2 - hace 1 día

    IQS - Universitat Ramon Llull Barcelona, España

    IQS, a founding member of Universitat Ramon Llull, is made up of two university faculties: IQS School of Engineering and IQS School of Management; IQS Executive Education which offers specialized training to professionals and companies; the IQS Tech Transfer division which carrie ...

  • Sdi Digital Group

    Electronic Engineer Researcher For A Technological Centre

    Encontrado en: Buscojobs ES C2 - hace 19 horas

    Sdi Digital Group Barcelona, España

    de la oferta The Functional Printing & Embedded Devices Unit develops innovative solutions based on functional materials and devices. · This Unit has the knowledge and experience to contribute from research concepts to prototyping and manufacturing. The Unit can cover the entire ...

  • cimne

    VAC-2023-64 – Research Engineer

    Encontrado en: Talent ES C2 - hace 4 días

    cimne Barcelona, España

    Functions to be developed: · Development work of GPFEM code and its application to soil-root interactions. Emphasis in homogenized continuum models. An elasto-plastic constitutive model in the framework of Critical State soil mechanics will be proposed in which the presence of r ...

  • Barcelona Supercomputing Center

    Senior Climate Services Research Engineer

    Encontrado en: Talent ES C2 - hace 4 días

    Barcelona Supercomputing Center Barcelona, España De jornada completa

    Context And Mission · The Earth System Services Group (ESS) at the Earth Sciences Department conducts interdisciplinary and transdisciplinary research to enhance societal value of climate prediction services, atmospheric composition and weather forecasting. The group actively eng ...

  • Fundació i2cat

    Junior Researcher/Engineer on Immersive Video Streaming

    Encontrado en: Talent ES C2 - hace 19 horas

    Fundació i2cat Barcelona, España De jornada completa

    i2CAT Foundation (Barcelona) is opening a PhD, or Junior Researcher, position to advance in the research field of immersive video streaming technologies. The candidate will join the Media & Internet Area (MIA) of i2CAT, which is composed of over 10 experienced researchers and eng ...

  • Barcelona Supercomputing Center

    Hardware development for space processors –Research Engineer

    Encontrado en: Talent ES C2 - hace 5 días

    Barcelona Supercomputing Center Barcelona, España A tiempo parcial

    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 wo ...

  • BARCELONA SUPERCOMPUTING CENTER - CENTRO NACIONAL DE SUPERCOMPUTACIÓN

    research engineer on real-time and high performance systems

    Encontrado en: Talent ES C2 - hace 2 días

    BARCELONA SUPERCOMPUTING CENTER - CENTRO NACIONAL DE SUPERCOMPUTACIÓN Barcelona, España De jornada completa

    · Software systems used in domains such as automotive, space, large scientific infrastructures or smart cities, have seen their complexity drastically increased in the last years due to the need of implementing advanced functionalities applied to cutting edge research areas like ...

  • Barcelona Supercomputing Center

    Research support engineer position on development of spatial and temporal emission proxies

    Encontrado en: Talent ES C2 - hace 5 días

    Barcelona Supercomputing Center Barcelona, España De jornada completa

    Context And Mission · The Atmospheric Composition group from the Earth Science department at the BSC-CNS searches for one junior research support engineer willing to work on the development of spatial and temporal emission proxies for atmospheric modelling purposes. The position ...

  • INSTITUT CATALÀ DE NANOCIÈNCIA I NANOTECNOLOGIA (ICN2)

    Product Manager

    Encontrado en: Jobatus ES A2 - hace 3 días

    INSTITUT CATALÀ DE NANOCIÈNCIA I NANOTECNOLOGIA (ICN2) Barcelona, España temporal, jornada completa

    The mission of the Catalan Institute of Nanoscience and Nanotechnology (ICN2) is to achieve the highest level of scientific and technological excellence in Nanoscience and Nanotechnology. Its research lines focus on the newly-discovered physical and chemical properties that arise ...

  • INSTITUT CATALÀ DE NANOCIÈNCIA I NANOTECNOLOGIA (ICN2)

    Scientific content writer and promoter

    Encontrado en: Jobatus ES A2 - hace 5 días

    INSTITUT CATALÀ DE NANOCIÈNCIA I NANOTECNOLOGIA (ICN2) Barcelona, España temporal, jornada completa

    The mission of the Catalan Institute of Nanoscience and Nanotechnology (ICN2) is to achieve the highest level of scientific and technological excellence in Nanoscience and Nanotechnology. Its research lines focus on the newly-discovered physical and chemical properties that arise ...

  • INSTITUT CATALÀ DE NANOCIÈNCIA I NANOTECNOLOGIA (ICN2)

    PhD fellowship in Experimental Physics

    Encontrado en: Jobatus ES A2 - hace 5 días

    INSTITUT CATALÀ DE NANOCIÈNCIA I NANOTECNOLOGIA (ICN2) Barcelona, España temporal, jornada completa

    Physics and Engineering of Nanodevices (PEN) group, · Catalan Institute of Nanoscience and Nanotechnology (ICN2) · Join ICN2 for an exciting PhD position centered on proximity-induced spin phenomena and spin-orbit torques in artificial heterostructures based on 2D quantum materia ...

  • SySS GmbH

    Systemadministrator/in, Informatiker/in,IT-Sicherheitsadministrator/in, IT-Sicherheitsberater/in,IT-Sicherheitsspezialist/in

    Encontrado en: Talent BE 2 C2 - hace 5 días

    SySS GmbH Barcelona, España

    Penetration Testing, Systemadministration, Linux,IT-Infrastruktur, Softwareentwicklung, IT-Security, IT,Betriebssysteme, Informatik We are looking for: · ITSecurity Consultants (m/f/d) (computer scientist, IT securityengineer, physicist, system administrator or similar) · Secur ...

  • cimne

    VAC-2023-72 – Programador interfases de simulació i arquitectures cloud

    Encontrado en: Talent ES C2 - hace 23 horas

    cimne Barcelona, España

    Nombre de places a cobrir: 1 · Categoria professional: Research Engineer – RENG 3 · Localitat i centre de treball: CIMNE Campus Nord B0 · Remuneració bruta anual: ,98 € · Jornada laboral: 40 hores setmanals · Tipus contracte: Indefinit per activitats científico-tècniques · Funcio ...

  • cimne

    VAC-2023-87 – Expert/a en mètodes numèrics en l'àmbit de la dinàmica fluvial

    Encontrado en: Talent ES C2 - hace 5 días

    cimne Barcelona, España

    Nombre de places a cobrir: 1 · Categoria professional: Research Engineer (RENG 6) · Localitat i centre de treball: Barcelona. Institut Flumen · Remuneració bruta anual: 9.154,64 € · Jornada laboral: 20h setmanals · Duració prevista : 12 mesos · Funcions del lloc de treball: · De ...