Lean4-Driven Formal Methods Researcher for Physics - Barcelona - Axiomatic-AI Inc.

Institut de Física d'Altes Energies (IFAE). Plaça de PhD Student per al grup CIDO. · ...

We are looking for a passionate and dedicated Physics & Mathematics Teacher to join our Secondary School team. · ...

Agora Barcelona International School is a private school, member of the Globeducate group. The school is located in San Esteve Ses Rovires, 25 kilometres from Barcelona in a beautiful natural setting. It is characterised by educational innovation, high academic performance and pe ...

This Job is based in Australia · One of Australia's leading research & teaching universities · Vibrant campus life with a strong sense of community & inclusion · Enjoy a career that makes a difference by collaborating & learning from the best · At UNSW, we pride ourselves on bein ...

We are building a new class of AI systems designed to reason with the rigor of the scientific method. As an Applied Researcher specializing in Formal Methods for Physics, you will join a focused team playing a key role in building new formal verification tools for science and eng ...

We seek highly motivated professionals to help us bring innovations to life, driving the evolution from development to commercial product. · Master's degree in Mathematics, Physics, Computer Science, Artificial Intelligence or related field · A strong communication skills and abi ...

The role of Physical Design- Technical Competency Lead involves defining and leading physical design methodologies and technical strategies that drive innovation, efficiency, and alignment with industry standards. · To define and implement technical strategies and methodologies a ...

The Head of Physical Security will be responsible for defining implementing and overseeing the global physical security strategy of NTT DATA within the region ensuring the protection of people assets and facilities the physical business continuity and regulatory compliance across ...

We are creating the next-generation AI platform to support anyone who wants to help advancing humanity and improve the world around us. · Leveraging your expertise in ASIC Physical Design from RTL to GDS, you will be responsible for all aspects, including synthesis, floorplanning ...

The Department of Information and Communications Technologies of the public Pompeu Fabra University invites applications for a tenure track faculty position in Computer Graphics and Physically-Based Rendering. · The candidate should have a PhD in computer science with strong back ...

The Head of Physical Security IBIOL will be responsible for defining, implementing and overseeing the global physical security strategy of NTT DATA within the region, · ensuring the protection of people, assets and facilities, · physical business continuity, · and regulatory comp ...

Join Keysight's central AI team in Barcelona, a newly formed hub driving innovation in machine learning. · ...

The Barcelona Institute for Global Health (ISGlobal) is seeking a Staff Scientist to join the Respiratory Health Over the Lifecourse Research Area. The area's work focuses on the risk factors of development and progression of allergic and chronic respiratory diseases over the lif ...

+ Job summary: Staff Scientist for the Physical Activity and respiratory health group. The Barcelona Institute for Global Health (ISGlobal) is a cutting-edge institute addressing global public health challenges through research, translation into policy and education. · + Qualific ...

The Smart Nano-Bio-Devices Group at IBEC is looking for a Postdoctoral Researcher to study artificial active matter developed in the group. · Analyze collective behavior of active particles by image processing and simulations. · ...

PhD position at the Autonomous University of Barcelona (UAB), in Spain. This position is part of the PHYNEST doctoral programme, a Marie Skłodowska-Curie Actions (MSCA) COFUND initiative funded under Horizon Europe. The call is currently open and closes on 28 February 2026. The s ...

The Institut de Física d'Altes Energies (IFAE) is seeking a Postdoctoral Researcher in Theoretical Physics within their strategic lines of Beyond the Standard Model and Astroparticle Physics and Cosmology groups. · The successful candidate will have research expertise in theoreti ...

PhD Student Position for Medical Physics Group. · The Institute de Física d'Altes Energies (IFAE) has a public consortium whose main objective is to carry out research and contribute to high energy physics development from theoretical experimental technological point view. · ...

The Institut de Física d'Altes Energies (IFAE) invites expressions of interest from outstanding researchers to join its Gravitational Waves Group, · working on the Virgo, LIGO, and Einstein Telescope collaborations · in the framework of the 2026 ATRAE Program of the Spanish Fundi ...

The Institut de Física d'Altes Energies (IFAE) invites expressions of interest from outstanding researchers to join its Gravitational Waves Group., working on the Virgo, LIGO, · and Einstein Telescope collaborations.A vibrant research environment. · ...

The Institut de Física d'Altes Energies (IFAE) is a public consortium of the Generalitat de Catalunya, the Autonomous Government of Catalonia, and the Universitat Autònoma de Barcelona (UAB, a public university) whose main objective is to carry out research and to contribute to t ...