Internship in Distributed Computing Theory

This position is part of the grant CNS2023-144164, funded by MCIN/AEI/10.13039/501100011033/ and by the European Union “NextGenerationEU”/PRTR **Who should apply?**: **Duration**: The duration of the internship is 4-6 months. **Working at IMDEA Software**: The IMDEA Software Institute is located in the vibrant city of Madrid, Spain. It offers an ideal...

**Who should apply?**: **Duration**: The position is initially for one year, with possibilities for extensions. The starting date is negotiable. **Working at IMDEA Software**: The IMDEA Software Institute is located in the vibrant city of Madrid, Spain. It offers an ideal working environment, where researchers can focus on developing new ideas and projects....

Applications are invited for an internship position at the IMDEA Software Institute in Madrid, Spain.The successful candidates will work with Alessio Mansutti.The goal of this project is to develop novel automata-based methods for solving first-order theories of arithmetic, including extensions of linear integer and linear real arithmetic. Related...

Applications are invited for an internship position at the IMDEA Software Institute in Madrid, Spain. **Who should apply?**: The position requires good programming and problem solving skills and proficiency in spoken and written English. A background on machine learning, LLMs and computer architecture and systems (course work, coding experience etc.) is...

**Who should apply?**: **Working at IMDEA Software**: The position is based in Madrid, Spain, where the IMDEA Software Institute is situated. The institute provides for travel expenses and an internationally competitive stipend. The working language at the institute is English. **Dates**: Internships usually last up to 6 months. **How to apply?**: For...

Be a leader who mentors and motivates others. Gain dive knowledge, supervision abilities, and become a role model to divers around the world.Do you love diving so much that you cannot get enough of it? Share your passion for scuba diving by becoming a PADI Divemaster. As a divemaster you will supervise scuba diving activities and assist with scuba classes....

Be a leader who mentors and motivates others. Gain dive knowledge, supervision abilities, and become a role model to divers around the world. Do you love diving so much that you cannot get enough of it? Share your passion for scuba diving by becoming a PADI Divemaster. As a divemaster you will supervise scuba diving activities and assist with scuba classes....

The internship will help developing an automated approach for collecting threat intelligence information in natural language from public sources (e.g., blog posts, Reddit) and classifying the collected information using artificial intelligence approaches, most likely large language models (LLMs). This position is supported by the PRODIGY Project...

Applications are invited for a postdoc position in the area of modal logic, model theory and programming language design at IMDEA Software Institute in Madrid, Spain. **Who should apply?**: **Working at IMDEA Software**: The position is based in Madrid, Spain, where the IMDEA Software Institute is situated. The institute provides for travel expenses and an...

Applications are invited for a PhD position in the area of logic, model theory, programming language design, software verification, and type theory at IMDEA Software Institute in Madrid, Spain, starting immediately. Who should apply? The candidate must have a M.Sc. degree in Computer Science, preferably with expertise in one of the above fields. Good...