Formal Verification Undergrad — Barcelona, Flexible Hours
Barcelona Supercomputing Center
Full-time
Recursos humanos
Location
barcelona, cataluña, Spain
Posted
June 08, 2026
Job Description
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.
#J-18808-Ljbffr