Senior Research Associate — Formal Methods

5 days ago Be among the first 25 applicants Get AI-powered advice on this job and more exclusive features. Job Opportunity The Trustworthy Systems (TS) Research Group , based within the School of Computer Science and Engineering, conducts world-leading research on software systems whose trustworthiness can be mathematically proven. The group is offering 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...

A cutting-edge AI research company in Barcelona seeks an AI Research Scientist to develop formal verification tools for science and engineering. The role involves creating AI solutions that enhance the use of formal methods in quantitative fields, collaborating closely with a multi-disciplinary team of experts. Candidates should have a PhD in relevant...

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

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 leading AI research firm located in Barcelona is searching for an Applied Researcher focused on formal methods in physics. In this role, you will develop and maintain Lean4 libraries and assess code for formalization while collaborating with a cross-functional team. A Master’s degree and 1-2 years of relevant experience are required, alongside a strong...

A leading AI research firm located in Barcelona is searching for an Applied Researcher focused on formal methods in physics. In this role, you will develop and maintain Lean4 libraries and assess code for formalization while collaborating with a cross-functional team. A Master’s degree and 1-2 years of relevant experience are required, alongside a strong...

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 mission to revolutionize the fields of hardware design...

About 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 (EDA), with a mission to revolutionize the fields of hardware design...

About UsHabilidades, experiencia, cualificaciones... Si tiene el perfil adecuado para esta oportunidad, asegúrese de inscribirse hoy mismo.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...