2 formal-verification-computer-science positions at Fundación IMDEA Software

Sort by: relevance | listed |

Enter an email to receive alerts for formal-verification-computer-science positions

Visiting researcher in applications of AI to fault-tolerant computing

Fundación IMDEA Software | Spain | 9 days ago

16 Oct 2025 Job Information Organisation/Company Fundación IMDEA Software Research Field Computer science Researcher Profile Established Researcher (R3) Leading Researcher (R4) Positions Postdoc
TENURE-TRACK FACULTY POSITIONS AT THE IMDEA SOFTWARE INSTITUTE

Fundación IMDEA Software | Spain | about 2 months ago

5 Sep 2025 Job Information Organisation/Company Fundación IMDEA Software Research Field Computer science Researcher Profile Recognised Researcher (R2) Established Researcher (R3) Leading Researcher

Enter an email to receive alerts for formal-verification-computer-science positions