Formal Verification Undergrad — Barcelona, Flexible Hours

Barcelona Supercomputing Center is offering a full-time position for a Formal Verification Undergraduate Student in Barcelona.
Compruebe que cumple con los requisitos de habilidades para este puesto, así como con la experiencia asociada, y luego envíe su CV a continuación.
Responsibilities include developing assertions for RTL modules, setting up formal verification environments, and improving LLM-assisted tools.
Ideal candidates are enrolled in a relevant Bachelor's program and possess good scripting skills.

The position offers a flexible working environment, benefits such as private health insurance and training, and is open-ended with a competitive salary based on qualifications. xhfqzwm