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

AI Research Scientist - Formal Methods for Science 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 (EDA), with a...

A pioneering AI research company in Barcelona seeks an AI Research Scientist to focus on formal methods for science. This role involves developing AI tools for the adoption of formal methods across scientific disciplines and requires a PhD in a relevant field and proficiency in Python. Ideal candidates will thrive in a collaborative, multidisciplinary...

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

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

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

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