Applied Researcher: Formal Methods for Physics

A leading AI innovation firm in Barcelona seeks an Applied Researcher specializing in Formal Methods for Physics. In this role, you will develop formal verification tools, collaborate with a cross-functional team of experts, and manage data curation and benchmarking tasks. Candidates should have a Master’s degree in relevant fields and experience in...

Applied Researcher in Formal Methods for Physics Join to apply for the Applied Researcher in Formal Methods for Physics role at Axiomatic_AI About us Axiomatic_AI is dedicated to accelerating R&D by developing the next generation of Automated Interpretable Reasoning, a verifiably truthful AI model built for reasoning in science and engineering, empowering...

Applied Researcher in Formal Methods for Physics Barcelona, Spain About us Axiomatic_AI is dedicated to accelerating R&D by developing the next generation of Automated Interpretable Reasoning, a verifiably truthful AI model built for reasoning in science and engineering, empowering engineers specifically in hardware design and Electronic Design Automation...

Applied Researcher in Formal Methods for PhysicsBarcelona, SpainAbout usAxiomatic_AI is dedicated to accelerating R&D by developing the next generation of Automated Interpretable Reasoning, a verifiably truthful AI model built for reasoning in science and engineering, empowering engineers specifically in hardware design and Electronic Design Automation with...

**Job Reference**: - 78_25_CASE_PTG_R3 **Position**: - Researcher - Development of computational methods for high-speed reacting flows (R3) **Closing Date**: - Monday, 10 February, 2025 **Reference**: 78_25_CASE_PTG_R3 **Job title**: Researcher - Development of computational methods for high-speed reacting flows (R3) **About BSC** - The Barcelona...

**Job Reference**: - 629_24_CASE_PTG_R3**Position**: - Researcher on Development of advanced methods for hydrogen combustion using ML-based algorithms (R3) - AI4S**Closing Date**: - Monday, 30 September, 2024**Reference**: 629_24_CASE_PTG_R3**Job title**: Researcher on Development of advanced methods for hydrogen combustion using ML-based algorithms (R3)...

The InstituteThe Centre for Genomic Regulation (CRG) is an international biomedical research institute of excellence, based in Barcelona, Spain, with more than 400 scientists from 44 countries. The CRG is composed by an interdisciplinary, motivated and creative scientific team which is supported both by a flexible and efficient administration and by high-end...

**Our Team**: Vista is the go-to partner for millions of small businesses who need to promote themselves effectively in the modern age. With tools that empower brands to create their unique identity and expert design support when they need inspiration, we provide a range of digital and print services at every stage of their journey. To help customers bring...

**Job Reference**: - 614_24_CASE_GMS_R2**Position**: - Researcher in high-order methods (R2) - AI4S**Closing Date**: - Thursday, 31 October, 2024**Reference**: 614_24_CASE_GMS_R2**Job title**: Researcher in high-order methods (R2) - AI4S**About BSC** - The Barcelona Supercomputing Center - Centro Nacional de Supercomputación (BSC-CNS) is the leading...

**Our Team**: Vista is the go-to partner for millions of small businesses who need to promote themselves effectively in the modern age. With tools that empower brands to create their unique identity and expert design support when they need inspiration, we provide a range of digital and print services at every stage of their journey. To help customers bring...