Empleos actuales relacionados con Internship On Algorithm for Arithmetic Theories - Pozuelo de Alarcón Madrid provincia - IMDEA Software Institute
-
Internship in automata methods for arithmetic theories
hace 1 semana
Pozuelo de Alarcón, Madrid, España IMDEA Software Institute A tiempo completoApplications 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...
-
Divemaster Internship
hace 7 días
Santa Cruz de Tenerife, Santa Cruz de Tenerife, España Internship Matching A tiempo completoBe 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....
-
Internship in Distributed Computing Theory
hace 2 semanas
28223 Pozuelo de Alarcón, Madrid provincia, España IMDEA Software Institute A tiempo completo**Who should apply?**: **Duration**: The internship is for approximately 6 months and can be part-time. **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. The working language at the institute is...
-
Internship in Llm Inference Serving Systems
hace 5 días
28223 Pozuelo de Alarcón, Madrid provincia, España IMDEA Software Institute A tiempo completoApplications 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...
-
Divemaster Internship
hace 2 semanas
Santa Cruz de Tenerife, España Internship Matching A tiempo completoBe 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....
-
HR Internship
hace 1 día
Pozuelo de Alarcón, España IMDEA Software Institute A tiempo completo**Why This Internship is Critical for an HR Practitioner**: Are you a current passionate student interested in the legal, analytical, and administrative core of Human Resources? This is a unique opportunity for an intensive mentorship within a prestigious International Research Center. You will not just observe; you will actively collaborate on...
-
Phd On Safe and Verified Cyber-physical Systems
hace 5 días
Pozuelo de Alarcón, España IMDEA Software Institute A tiempo completo**Who should apply?**: I am looking for multiple motivated PhD students in the area of formal methods and control systems. The exact PhD topic will be decided based on mutual interests, but needs to be broadly related to the verification and control of continuous and discrete dynamical systems under uncertainties. The goal will be both algorithm development...
-
Internship in Distributed Computing
hace 2 semanas
Pozuelo de Alarcón, España IMDEA Software Institute A tiempo completoThis 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...
-
Internship Programme
hace 2 semanas
Pozuelo de Alarcón, España Verisure A tiempo completoVerisure is seeking talented, innovative and passionateinternsto join our growing and successful company on an excellent career program. The successful candidate will be able to join an ever-growing company with a great opportunity to develop into one of our key permanent roles.You could be part of one of our excellent business teams including but not only:...
-
Internship Programme
hace 1 semana
Pozuelo de Alarcón, Madrid, España Verisure A tiempo completoVerisure is seeking talented, innovative and passionateinternsto join our growing and successful company on an excellent career program.The successful candidate will be able to join an ever-growing company with a great opportunity to develop into one of our key permanent roles.You could be part of one of our excellent business teams including but not only:...
Internship On Algorithm for Arithmetic Theories
hace 2 semanas
Applications are invited for one internship student position in at the IMDEA Software Institute, Madrid, Spain.
**Who should apply?**:
Good knowledge of complexity theory and algorithms is required, as well as some experience (at the level of a Bachelor’s degree) in the following areas:
- Linear algebra
- Discrete mathematics
- Combinatorics
- Mathematical logic
The position requires good communication skills, including excellent spoken and written English.
**Working at IMDEA Software**:
The IMDEA Software Institute is ranked among the best European research institutes in the areas of Programming Languages and Computer Security. Located in the Montegancedo Science and Technology Park, it perfectly combines the sunny and vibrant city of Madrid with cutting edge research and inspiring working environment.
The institute provides an internationally competitive stipend, access to an excellent public health care system, unemployment benefits, retirement benefits, and support for research related travel. The working language at the institute is English. Knowledge of Spanish is not required.
**Dates**:
The duration of the position is intended to be for the duration of the doctoral studies. The ideal starting period is from mid-February 2025.
**How to apply?**:
The recruitment process will comply with the IMDEA Software Institute’s OTM-R Policy.
For enquiries about the position, please contact Alessio Mansutti directly ().
- Funded by the Madrid Regional Government (César Nombela grant: 2023-T1/COM-29001)_
