Barcelona Supercomputing Center is offering a full-time position for a Formal Verification Undergraduate Student in Barcelona. 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.