Axiomatic-AI Inc.
Cualquier información adicional que necesite para este trabajo se encuentra en el texto a continuación. Asegúrese de leerla detenidamente y luego envíe su solicitud.
in Barcelona is seeking an Applied Researcher in Formal Methods for Physics, tasked with developing formal verification tools for scientific AI applications.
The ideal candidate holds a Master's degree, has 1-2 years of related experience, and possesses strong formal methods expertise.
A collaborative mindset, curiosity, and ability to thrive in a fast-paced environment are essential. xhfqzwm
Enjoy competitive compensation, stock options, and opportunities for professional growth, in a culture focused on impactful innovations.
#J-18808-Ljbffr