Offer Description

Mission:

Provide support in the design and implementation of algorithms, and in the design and development of experiments within the framework of the project.

Functions to be developed:

- Become familiar with the algorithms used in PB solvers.
- Understand the Cube-and-Conquer algorithmic approach.
- Determine ways to produce formal evidence in this context.
- Design and carry out experiments that evaluate the behavior of the developed software.
- Identify real problems where the software produced improves the state of the art.

Where to apply Website

Requirements

Research Field Engineering » Computer engineering Education Level Bachelor Degree or equivalent

Research Field Computer science Education Level Bachelor Degree or equivalent

Skills/Qualifications

Technical Skills:

- MPI.
- Slurm.
- SAT/PB solving (Basic level).
- C++.

Specific Requirements

Knowledge:

- Algorithm.
- Distributed systems.

Professional Experience:

- Have participated in projects with a similar theme: SAT, PB or cube-and-conquer.
- Have worked with computing clusters.
- Experience in functions similar to those described will be valued, specifically in the development of research activities, both in the university and industrial environment.

Languages CATALAN Level Basic

Languages ENGLISH Level Good

Languages SPANISH Level Good

Research Field Engineering » Computer engineeringComputer science Years of Research Experience 1 - 4

Additional Information

Benefits

33.876,08 € bruts/anuals (per jornada completa)

Eligibility criteria





All the candidates who cannot prove the required academic degree will be immediately withdrawn from the selection process.

The CVs will be assessed according the following general criteria:

- The maximum score for the candidates who accomplish all the eligibility criteria stated in the job offer will be 10 points.
- Threshold: 5 points.
- The maximum score (10 points) will be distributed as follows:
- 1 point for required speciality.
- 2 points for required academic training.
- 2 points for technic competences.
- 1 point for organisational competences.
- 3 points for professional experience.
- 1 point for any aspect of the candidate's professional profile to be determined as specially relevant by the Selection committee.

If the selection committee decide to include a personal interview as additional step of the selection process, only the candidates scored 5 or above for their CV will be retained for the interview step.

The interview will be assessed according the following criteria:

- Maximum scoring: 5 points.
- Threshold: 3 points.
- The maximum score will be distributed according the following criteria:
- 2 points for adequacy to functional competences of the job.
- 2 points for adequacy of professional experience.




- 1 point for any aspect of the candidate's professional profile to be determined as especially relevant by the Selection committee.

The eligible candidates will be ranked from highest to lowest score, being this the selection criteria.

Selection process

The planned selection process is as follows:

- Those interested must access the website where the university publishes all the offers:

, select the offer that is of interest to you, click on: , fill in the form and add the additional documentation indicated. * The members of the selection committee will decide for each case what the selection process will be, if an assessment is made only for the curriculum vitae or any other procedure is planned: interview, tests, etc ...
- Each phase of the selection process will be reported on the website where the offer is published. If applicable, indicate your request.
- Finally, the name of the person selected will be published on the same website where the offer is published.

Additional comments

Remember that the resume should not include any personal data or photographs.

Work Location(s)

Number of offers available 1 Company/Institute Department of Computer Science (CS) Country Spain State/Province Barcelona City Barcelona Postal Code 08034 Street Jordi Girona, 1-3, Building Ω (Omega)

Contact State/Province

Barcelona City

Barcelona Website

Street

C. Jordi Girona, 31 Postal Code

08034 E-Mail

[email protected]

STATUS: EXPIRED

Share this page

📌 Technician for the design and implementation of a Cube-and-Conquer system for pseudo-Boolean problems (Barcelona)
🏢 Sin nombre
📍 Barcelona