Formal Verification Undergraduate Student (R0)

Job Reference
-----------------

257\_26\_CS\_V\_R0
Position
------------

Formal Verification Undergraduate Student (R0\)
Closing Date
----------------

Monday, 15 June, 2026
Reference: 257\_26\_CS\_V\_R0
Job title: Formal Verification Undergraduate Student (R0\)

About BSC

The Barcelona Supercomputing Center \- Centro Nacional de Supercomputación (BSC\-CNS) is the leading supercomputing center in Spain. It houses MareNostrum, one of the most powerful supercomputers in Europe, was a founding and hosting member of the former European HPC infrastructure PRACE (Partnership for Advanced Computing in Europe), and is now hosting entity for EuroHPC JU, the Joint Undertaking that leads large\-scale investments and HPC provision in Europe. The mission of BSC is to research, develop and manage information technologies in order to facilitate scientific progress. BSC combines HPC service provision and R\&D into both computer and computational science (life, earth and engineering sciences) under one roof, and currently has over 1000 staff from 60 countries.

Look at the BSC experience:

BSC\-CNS YouTube Channel

Let's stay connected with BSC Folks!

We are particularly interested for this role in the strengths and lived experiences of women and underrepresented groups to help us avoid perpetuating biases and oversights in science and IT research. In instances of equal merit, the incorporation of the under\-represented sex will be favoured.

We promote Equity, Diversity and Inclusion, fostering an environment where each and every one of us is appreciated for who we are, regardless of our differences.

If you consider that you do not meet all the requirements, we encourage you to continue applying for the job offer. We value diversity of experiences and skills, and you could bring unique perspectives to our team.

Context And Mission

Applications are invited for an undergraduate student at the Barcelona Supercomputing Center (BSC). BSC is involved in multiple initiatives that involve hardware design. One critical aspect of hardware development is verification of its correct functionality.

While previous and current efforts have focused on simulation\-based functional verification, but at BSC we are also establishing a Formal Verification methodology and framework to extend the range and rigour of our verification process for RTL designs. In this internship you will have the opportunity to work in one of the following topics related to formal verification:

• Verify some RTL modules developing assertions for it and setting up formal verification environment and flow.


• Improving the LLM\-assisted assertion generation tool by implementing support for an open source tool. For example, right now the tool is designed to work with a proprietary EDA tool and we want to also support the open YosysHQ EDA formal app. Also, you would be involved in improvements to the flow and scripting.

Key Duties

• Develop assertions for an RTL module


• Setup formal verification environment and flow


• Improve LLM\-assisted tool for formal verification

Requirements

• Education

+ Undergrad students enrolled in a Bachelor program in Computer Science / Computer Engineering.

• Essential Knowledge and Professional Experience

+ Good scripting skills (python, bash, ...)
+ Basic knowledge of Verilog, SystemVerilog, or other HDL

• Additional Knowledge and Professional Experience

+ Excellent written and verbal communication skills in English.
+ Basic Computer Architecture concepts
+ Previous knowledge of assertions
+ Previous experience prompting LLMs for code generation

• Competences

+ Ability to work independently and make decisions.
+ Ability to take initiative, prioritize and work under set deadlines.
+ Excellent interpersonal, written, and verbal communication skills.
+ Ability to work as part of a cross\-functional team according to an established timeline

Conditions

• The position will be located at BSC within the Computer Sciences Department


• We offer a full\-time contract (35h/week), a good working environment, a highly stimulating environment with state\-of\-the\-art infrastructure, flexible working hours, extensive training plan, restaurant tickets, private health insurance, support to the relocation procedures


• Duration: Open\-ended contract due to technical and scientific activities linked to the project and budget duration


• Holidays: 22 days of holidays \+ 6 personal days \+ 24th and 31st of December per our collective agreement


• Salary: we offer a competitive salary commensurate with the qualifications and experience of the candidate and according to the cost of living in Barcelona


• Starting date: 01/07/2026

Applications procedure and process

All applications must be submitted via the BSC website and contain:

• A full CV in English including contact details


• A cover/motivation letter with a statement of interest in English, clearly specifying for which specific area and topics the applicant wishes to be considered. Additionally, two references for further contacts must be included. Applications without this document will not be considered.

Development of the recruitment process

The selection will be carried out through a competitive examination system ("Concurso\-Oposición"). The recruitment process consists of two phases:

• Curriculum Analysis: Evaluation of previous experience and/or scientific history, degree, training, and other professional information relevant to the position. \- *40 points*


• Interview phase: The highest\-rated candidates at the curriculum level will be invited to the interview phase, conducted by the corresponding department and Human Resources. In this phase, technical competencies, knowledge, skills, and professional experience related to the position, as well as the required personal competencies, will be evaluated. \- *60 points.* *A minimum of 30 points out of 60 must be obtained to be eligible for the position.*

The recruitment panel will be composed of at least three people, ensuring at least 25% representation of women.

In accordance with OTM\-R principles, a gender\-balanced recruitment panel is formed for each vacancy at the beginning of the process. After reviewing the content of the applications, the panel will begin the interviews, with at least one technical and one administrative interview. At a minimum, a personality questionnaire as well as a technical exercise will be conducted during the process.

The panel will make a final decision, and all individuals who participated in the interview phase will receive feedback with details on the acceptance or rejection of their profile.

At BSC, we seek continuous improvement in our recruitment processes. For any suggestions or comments/complaints about our recruitment processes, please contact recruitment \[at] bsc \[dot] es.

For more information, please follow this link.

Deadline

The vacancy will remain open until a suitable candidate has been hired. Applications will be regularly reviewed and potential candidates will be contacted.

OTM\-R principles for selection processes

BSC\-CNS is committed to the principles of the Code of Conduct for the Recruitment of Researchers of the European Commission and the Open, Transparent and Merit\-based Recruitment principles (OTM\-R). This is applied for any potential candidate in all our processes, for example by creating gender\-balanced recruitment panels and recognizing career breaks etc.

BSC\-CNS is an equal opportunity employer committed to diversity and inclusion. We are pleased to consider all qualified applicants for employment without regard to race, color, religion, sex, sexual orientation, gender identity, national origin, age, disability or any other basis protected by applicable state or local law.

For more information follow this link

Este anuncio proviene de indeed. Ver anuncio original ↗