Formal Methods for GPUs 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 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...

Job Title: GPU Formal Methods ResearcherWe are seeking a highly skilled GPU Formal Methods Researcher to join our team at the Barcelona Supercomputing Center. As a key member of our Computer Architecture and Operating System group, you will be responsible for developing and applying formal methods to ensure the correctness and safety of GPU software.Key...

Job Title: GPU Formal Methods ResearcherWe are seeking a highly skilled GPU Formal Methods Researcher to join our team at the Barcelona Supercomputing Center. As a key member of our Computer Architecture and Operating System group, you will be responsible for developing and applying formal methods to ensure the correctness and safety of GPU software.Key...

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

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

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

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

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

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

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**Hydrogen combustion is a promising alternative fuel for a sustainable future, and the development of accurate models and High-Performance Computing (HPC) tools is crucial for its widespread adoption.The proposed research project aims to investigate the combustion characteristics of hydrogen using high-order methods and leveraging the...