GPU Formal Methods Researcher

Job Opportunity at Barcelona Supercomputing CenterThe Computer Architecture and Operating System group at the Barcelona Supercomputing Center is seeking a highly skilled researcher to join our team. We are looking for an expert in formal methods to develop a method for finding software problems in GPU software and proving the correctness of the GPU...

Job Opportunity at Barcelona Supercomputing CenterThe Computer Architecture and Operating System group at the Barcelona Supercomputing Center is seeking a highly skilled researcher to join our team. We are looking for an expert in formal methods to develop a method for finding software problems in GPU software and proving the correctness of the GPU...

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

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

The Barcelona Supercomputing Center is seeking a highly skilled Formal Methods for GPUs Researcher to join our Computer Architecture and Operating System group. In this role, you will be responsible for developing a method to find software problems in GPU software and proving its correctness using formal methods.The ideal candidate will have a strong...

Overview and Purpose 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...

Overview and Purpose 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...

Job Opportunity at Barcelona Supercomputing CenterWe are seeking a highly skilled researcher to join our team at the Barcelona Supercomputing Center. The successful candidate will be responsible for developing formal methods for GPU software verification and correctness.Key ResponsibilitiesEvaluate existing formal methods frameworks for CPUs and adapt them...

Job Opportunity at Barcelona Supercomputing CenterWe are seeking a highly skilled researcher to join our team at the Barcelona Supercomputing Center. The successful candidate will be responsible for developing formal methods for GPU software verification and correctness.Key ResponsibilitiesEvaluate existing formal methods frameworks for CPUs and adapt them...

Job Opportunity at Barcelona Supercomputing Center We are seeking a highly skilled researcher to join our team at the Barcelona Supercomputing Center. The successful candidate will be responsible for developing formal methods for GPU software verification and correctness. Key Responsibilities Evaluate existing formal methods frameworks for CPUs and adapt...

Job DescriptionThe Barcelona Supercomputing Center is seeking a highly skilled Research Engineer to join our Computer Architecture and Operating System group. The successful candidate will be responsible for developing a method to find software problems in GPU software and prove its correctness using formal methods.The ideal candidate will have a strong...

The Barcelona Supercomputing Center is seeking a Research Engineer to join its Computer Architecture and Operating System group. The successful candidate will contribute to the development of formal methods for GPUs, focusing on finding software problems and proving correctness through the use of formal methods.Key ResponsibilitiesEvaluate existing formal...

Job Description:The Barcelona Supercomputing Center is seeking a highly skilled Research Engineer to join our Computer Architecture and Operating System group. The successful candidate will be responsible for developing a method to find software problems in GPU software and prove its correctness using formal methods.The ideal candidate will have a strong...

Researcher in Hydrogen Combustion DynamicsJoin the Propulsion Technologies Group at the Barcelona Supercomputing Center as a PhD researcher in hydrogen combustion dynamics. Our team is actively involved in several European research-oriented and industrial projects, and we are seeking a highly motivated and skilled researcher to contribute to the development...

Researcher in Hydrogen Combustion DynamicsJoin the Propulsion Technologies Group at the Barcelona Supercomputing Center as a PhD researcher in hydrogen combustion dynamics. Our team is actively involved in several European research-oriented and industrial projects, and we are seeking a highly motivated and skilled researcher to contribute to the development...

Researcher in Hydrogen Combustion and High-Order MethodsAs a researcher in the Propulsion Technologies Group at the Barcelona Supercomputing Center, you will investigate the combustion characteristics of hydrogen, a promising alternative fuel for a sustainable future. You will employ high-order methods and leverage the power of High-Performance Computing...

Researcher in Hydrogen Combustion and High-Order MethodsAs a researcher in the Propulsion Technologies Group at the Barcelona Supercomputing Center, you will investigate the combustion characteristics of hydrogen, a promising alternative fuel for a sustainable future. You will employ high-order methods and leverage the power of High-Performance Computing...

Job Title: Senior UX Researcher - Mixed Methods ExpertAbout the Role:We are seeking a skilled Senior UX Researcher to join our DIY Division in Spain. As a mixed methods user researcher, you will report into a Principal UX Researcher and operate within a framework that includes research specialist, coach/trainer, and advisor roles.Key Responsibilities:Lead...

**Mission and Context**As part of our ongoing efforts to reduce greenhouse gas emissions from aircraft propulsion systems, we are seeking a highly motivated PhD researcher to investigate the combustion characteristics of hydrogen. This research project aims to develop and apply high-order numerical methods for simulating hydrogen combustion, leveraging the...

Job DescriptionWe are seeking a highly motivated and skilled researcher to join our team at the Barcelona Supercomputing Center (BSC) as a PhD researcher in the field of high-order methods for hydrogen combustion. The successful candidate will work on the development and application of high-order numerical methods for simulating hydrogen combustion,...