Applied Researcher in Formal Methods for Physics - Barcelona, Catalonia
hace 1 mes
Axiomatic_AI is dedicated to accelerating R&D by developing the next generation of Automated Interpretable Reasoning. 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 engineering.<+Qualifications
- Master's degree in Mathematics, Physics, Computer Science or related field
- 1-2 years of experience preferably in mathematical settings with strong communication skills and ability to collaborate effectively within multicultural environments.
Descripción del trabajo
, consectetur adipiscing elit. Nullam tempor vestibulum ex, eget consequat quam pellentesque vel. Etiam congue sed elit nec elementum. Morbi diam metus, rutrum id eleifend ac, porta in lectus. Sed scelerisque a augue et ornare.
Donec lacinia nisi nec odio ultricies imperdiet.
Morbi a dolor dignissim, tristique enim et, semper lacus. Morbi laoreet sollicitudin justo eget eleifend. Donec felis augue, accumsan in dapibus a, mattis sed ligula.
Vestibulum at aliquet erat. Curabitur rhoncus urna vitae quam suscipit
, at pulvinar turpis lacinia. Mauris magna sem, dignissim finibus fermentum ac, placerat at ex. Pellentesque aliquet, lorem pulvinar mollis ornare, orci turpis fermentum urna, non ullamcorper ligula enim a ante. Duis dolor est, consectetur ut sapien lacinia, tempor condimentum purus.
Accede a todos los puestos de alto nivel y consigue el trabajo de tus sueños.
Trabajos similares
Lecturer, Physics
hace 1 mes
+Job summary · This is an exciting opportunity to join UNSW Canberra as a Lecturer in Physics. As part of our Education Focused roles (EF), you will specialize in teaching and learning design. · A PhD in physics · Actively stays up to date with discipline knowledge · +Responsibi ...
Physics and Maths teacher
hace 1 mes
We are looking for a passionate and dedicated Physics & Mathematics Teacher to join our Secondary School team. · ...
Freelance Physics Expert with Python Expertise
hace 1 semana
Mindrift connects specialists with project-based AI opportunities for leading tech companies. · Design rigorous physics problems reflecting professional practice; · ...
Applied Researcher in Formal Methods for Physics
hace 4 semanas
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 ...
Job Summary · Axiomatic_AI is dedicated to accelerating R&D by developing the next generation of Automated Interpretable Reasoning. · ResponsibilitiesAssess Lean4 code for formalization. · Write specific Lean4 libraries. · ...
Physical Design Technical Competency Lead
hace 1 semana
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 ...
Senior/Staff Silicon Physical Design Engineer
hace 2 días
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. · ...
Postdoctoral Position in the Theoretical Physics Group
hace 2 semanas
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 ...
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 ...
PhD Student Position for the MEDICAL PHYSICS Group
hace 8 horas
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) is seeking an Electronics Engineer to join their electronics engineering group. · ...
Postdoctoral Position in the Theoretical Physics Group
hace 2 semanas
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 ...
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. · ...