Research Engineer in Formal Methods for GPU Systems
hace 4 semanas
The Computer Architecture and Operating System team at the Barcelona Supercomputing Center is dedicated to advancing research on programming frameworks for critical embedded systems that manage essential components in vehicles, aircraft, and spacecraft. Our efforts primarily focus on collaborative projects with various processor manufacturers and several European-funded initiatives. For an extensive list of our recent publications, please refer to our website.
The primary goal of this role is to create a methodology that identifies software issues in GPU applications and ensures the correctness of GPU software in alignment with its specifications through formal methods. This position entails extending existing formal technologies designed for CPUs to be applicable in GPU contexts. Additionally, it includes assessing the effectiveness of these methods, particularly in identifying possible and impossible errors. Relevant software will be adapted to fit the formal method framework chosen for this project. This work is part of the Formal Methods for GPUs initiative, funded by the European Space Agency (ESA) and coordinated by BSC.
Key Responsibilities
- Assess current formal methods frameworks for CPUs in safety-critical applications
- Investigate experimental formal methods frameworks for GPUs in safety-critical applications
- Modify space-relevant software to demonstrate the capabilities of these methods
- Innovate additional methods to enhance the effectiveness of existing frameworks or tailor them for GPU applications
- Education
- Ongoing Bachelor's Degree in Computer Science, Computer Engineering, or a related discipline
- Proven experience with formal methods, including static analysis and safe programming languages
- Demonstrated programming experience through academic or certified training, preferably from recognized CUDA Centers of Excellence
- Essential Skills and Experience
- Proficiency in C, C++, CUDA, and Python
- Familiarity with at least one safe programming language (e.g., Rust, Ada SPARK) or language subset (e.g., MISRA C)
- Competence in LaTeX
- Additional Skills and Experience
- Experience with embedded systems
- Understanding of supercomputing and cluster operations
- Experience in real-time, critical systems and/or reliability is preferred but not mandatory
- Competencies
- Strong problem-solving abilities, proactive approach, and results-driven mindset
- Capability to work independently as well as collaboratively within a team
- Excellent communication skills, with a strong command of the English language (both written and spoken)
Employment Conditions
- The position is based at BSC within the Computer Sciences Department
- We provide a full-time contract, a supportive work environment, state-of-the-art facilities, flexible working hours, comprehensive training programs, meal vouchers, private health insurance, and assistance with relocation
- Contract duration: Open-ended, contingent on the project's technical and scientific activities and budget duration
- Vacation: 23 paid vacation days, plus additional days as per collective agreements
- Compensation: Competitive salary based on qualifications and experience, adjusted for the cost of living in the area
-
GPU Formal Methods Research Engineer
hace 1 día
Barcelona, Barcelona, España Barcelona Supercomputing Center A tiempo completoJob DescriptionThe Barcelona Supercomputing Center is seeking a highly skilled researcher to join our Computer Architecture and Operating System group. As a GPU Formal Methods Research Engineer, you will be responsible for developing and applying formal methods to ensure the correctness and reliability of GPU software.Key ResponsibilitiesEvaluate existing...
-
GPU Formal Methods Research Engineer
hace 1 día
Barcelona, Barcelona, España Barcelona Supercomputing Center A tiempo completoJob DescriptionThe Barcelona Supercomputing Center is seeking a highly skilled researcher to join our Computer Architecture and Operating System group. As a GPU Formal Methods Research Engineer, you will be responsible for developing and applying formal methods to ensure the correctness and reliability of GPU software.Key ResponsibilitiesEvaluate existing...
-
Barcelona, Barcelona, España Barcelona Supercomputing Center A tiempo completoJob DescriptionWe are seeking a highly motivated and skilled PhD researcher to join our team at the Barcelona Supercomputing Center (BSC) to work on a research project focused on the development and application of high-order numerical methods for simulating hydrogen combustion in gas turbines.Research ObjectivesDevelop advanced numerical methods for reacting...
-
Barcelona, Barcelona, España Barcelona Supercomputing Center A tiempo completoJob DescriptionWe are seeking a highly motivated and skilled PhD researcher to join our team at the Barcelona Supercomputing Center (BSC) to work on a research project focused on the development and application of high-order numerical methods for simulating hydrogen combustion in gas turbines.Research ObjectivesDevelop advanced numerical methods for reacting...
-
Barcelona, Barcelona, España Barcelona Supercomputing Center A tiempo completoJob SummaryThe Barcelona Supercomputing Center is seeking a highly motivated PhD researcher to join our Propulsion Technologies Group. As a PhD researcher, you will be responsible for investigating the combustion characteristics of hydrogen, a promising alternative fuel for a sustainable future, using high-order numerical methods and leveraging the power of...
-
Barcelona, Barcelona, España Barcelona Supercomputing Center A tiempo completoJob SummaryThe Barcelona Supercomputing Center is seeking a highly motivated PhD researcher to join our Propulsion Technologies Group. As a PhD researcher, you will be responsible for investigating the combustion characteristics of hydrogen, a promising alternative fuel for a sustainable future, using high-order numerical methods and leveraging the power of...
-
Barcelona, Barcelona, España Barcelona Supercomputing Center A tiempo completoJob DescriptionWe are seeking a highly motivated and skilled PhD researcher to join our team at the Barcelona Supercomputing Center (BSC) to work on a research project focused on the development and application of high-order numerical methods for simulating hydrogen combustion in gas turbines.Research ObjectivesDevelop advanced numerical methods for reacting...
-
Barcelona, Barcelona, España Barcelona Supercomputing Center A tiempo completoJob DescriptionWe are seeking a highly motivated and skilled PhD researcher to join our team at the Barcelona Supercomputing Center (BSC) to work on a research project focused on the development and application of high-order numerical methods for simulating hydrogen combustion in gas turbines.Research ObjectivesDevelop advanced numerical methods for reacting...
-
Barcelona, Barcelona, España Barcelona Supercomputing Center A tiempo completoAbout the PositionThe Barcelona Supercomputing Center (BSC) is seeking a highly skilled researcher to join our Propulsion Technologies Group (PTG) as a PhD Position in High-Order Methods for Hydrogen Combustion in Gas Turbines. The successful candidate will work on the development and application of high-order numerical methods for simulating hydrogen...
-
Barcelona, Barcelona, España In Kehna A tiempo completoAbout the RoleIn Kehna is seeking a highly skilled Research Engineer in Data Management and Processing to join our team. As a key member of our organization, you will play a pivotal role in facilitating the work of our researchers, working closely with our Research units, particularly the research unit on Science of Science, and reporting to both the head of...
-
Barcelona, Barcelona, España In Kehna A tiempo completoAbout the RoleIn Kehna is seeking a highly skilled Research Engineer in Data Management and Processing to join our team. As a key member of our organization, you will play a pivotal role in facilitating the work of our researchers, working closely with our Research units, particularly the research unit on Science of Science, and reporting to both the head of...
-
Barcelona, Barcelona, España Barcelona Supercomputing Center (Bsc) A tiempo completoAbout the RoleThe Barcelona Supercomputing Center (BSC) is seeking a highly skilled GPU Porting Expert to join our team in the Earth Sciences Department. As a key member of our team, you will be responsible for coordinating the activities related to porting the modules of the Earth Science models to GPUs.Key ResponsibilitiesLead the department's research...
-
Barcelona, Barcelona, España Barcelona Supercomputing Center (Bsc) A tiempo completoAbout the RoleThe Barcelona Supercomputing Center (BSC) is seeking a highly skilled GPU Porting Expert to join our team in the Earth Sciences Department. As a key member of our team, you will be responsible for coordinating the activities related to porting the modules of the Earth Science models to GPUs.Key ResponsibilitiesLead the department's research...
-
Research Engineer for Edge AI Systems
hace 3 días
Barcelona, Barcelona, España Barcelona Supercomputing Center (Bsc) A tiempo completoAbout the PositionThe Barcelona Supercomputing Center (BSC) is seeking a highly skilled Research Engineer to join our team in the development of Edge AI systems. As a key member of our research group, you will be responsible for designing and implementing AI solutions for safety-critical systems on the edge.Key ResponsibilitiesDevelop functional and timing...
-
Research Engineer for Edge AI Systems
hace 4 días
Barcelona, Barcelona, España Barcelona Supercomputing Center (Bsc) A tiempo completoAbout the PositionThe Barcelona Supercomputing Center (BSC) is seeking a highly skilled Research Engineer to join our team in the development of Edge AI systems. As a key member of our research group, you will be responsible for designing and implementing AI solutions for safety-critical systems on the edge.Key ResponsibilitiesDevelop functional and timing...
-
Research Engineer for Edge AI Systems
hace 3 días
Barcelona, Barcelona, España Barcelona Supercomputing Center (Bsc) A tiempo completoAbout the Role:We are seeking a highly skilled Research Engineer to join our team at the Barcelona Supercomputing Center (BSC). As a Research Engineer for Edge AI Systems, you will be responsible for developing and deploying AI solutions for safety-critical systems on the edge.Key Responsibilities:Design and develop functional and timing models for Edge-AI...
-
Research Engineer for Edge AI Systems
hace 4 días
Barcelona, Barcelona, España Barcelona Supercomputing Center (Bsc) A tiempo completoAbout the Role:We are seeking a highly skilled Research Engineer to join our team at the Barcelona Supercomputing Center (BSC). As a Research Engineer for Edge AI Systems, you will be responsible for developing and deploying AI solutions for safety-critical systems on the edge.Key Responsibilities:Design and develop functional and timing models for Edge-AI...
-
Research Engineer in Atmospheric Science
hace 3 días
Barcelona, Barcelona, España Barcelona Supercomputing Center (Bsc) A tiempo completoAbout the Role:The Barcelona Supercomputing Center (BSC) is seeking a highly skilled Junior Research Engineer to join our Earth Sciences Department. As a key member of our team, you will be responsible for conducting in-depth research on downscaling methodologies for air quality data and investigating the correlation between indoor and outdoor air quality...
-
Research Engineer in Atmospheric Science
hace 4 días
Barcelona, Barcelona, España Barcelona Supercomputing Center (Bsc) A tiempo completoAbout the Role:The Barcelona Supercomputing Center (BSC) is seeking a highly skilled Junior Research Engineer to join our Earth Sciences Department. As a key member of our team, you will be responsible for conducting in-depth research on downscaling methodologies for air quality data and investigating the correlation between indoor and outdoor air quality...
-
Barcelona, Barcelona, España Barcelona Supercomputing Center (Bsc) A tiempo completoAbout the RoleThe Barcelona Supercomputing Center (BSC) is seeking a highly skilled Research Engineer to join our Computational Biology group. As a Research Engineer, you will play a key role in developing advanced biomedical applications using high-performance computing.Key ResponsibilitiesDesign and implement specific benchmarks to evaluate flagship...
