Empleos actuales relacionados con PhD student in logical foundation for programming with side-effects - Pozuelo de Alarcón, Madrid - IMDEA Software Institute
-
Internship in automata methods for arithmetic theories
hace 2 semanas
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...
-
Pozuelo de Alarcón, Madrid, España Berlitz Spain A tiempo completoBerlitz Spain is seeking an enthusiasticRussian Instructorfor in-company classes inPozuelo de Alarcónstarting March 2026 and running until February hours per week for most of the year).Teaching PhilosophyAt Berlitz, you will learn a language in a very effective way. All our teachers are C2 level speakers of the language they teach. Using the Berlitz Method,...
-
Pozuelo de Alarcón, Madrid, España Escuela de Idiomas Berlitz de España, S.A. A tiempo completoBerlitz Spain is seeking an enthusiastic Russian Instructor for in-company classes in Pozuelo de Alarcón starting March 2026 and running until February hours per week for most of the year).Teaching PhilosophyAt Berlitz, you will learn a language in a very effective way. All our teachers are C2 level speakers of the language they teach. Using the Berlitz...
-
Intake Care Representative with German
hace 4 días
Pozuelo de Alarcón, Madrid, España Cigna Healthcare A tiempo completoYour jobYou are a member of the Integrated Health Team, servicing the International Organizations. More specifically you'll take part in the CARE team, a team of non-clinically trained staff, and close work together with the CARE teams worldwide (Antwerp – Madrid – Kuala Lumpur – Singapore - Greenock – Nairobi)You are responsible for the timely...
-
Admissions & Boarding Program Coordinator
hace 2 semanas
Pozuelo de Alarcón, Madrid, España Aquinas American School A tiempo completoAquinas American School is seeking anAdmissions and Boarding Program Coordinatorto support the growth of our Boarding Program and the Getafe International Madrid Football Academy. This role involves guiding families through the admissions process, coordinating legal and immigration documentation, and building strong relationships with students and parents....
-
Intern - Project Manager
hace 1 semana
Pozuelo de Alarcón, Madrid, España ServiceNow A tiempo completoCompany DescriptionIt all started in sunny San Diego, California in 2004 when a visionary engineer, Fred Luddy, saw the potential to transform how we work. Fast forward to today — ServiceNow stands as a global market leader, bringing innovative AI-enhanced technology to over 8,100 customers, including 85% of the Fortune 500. Our intelligent cloud-based...
-
Intern - Project Manager
hace 1 semana
Pozuelo de Alarcón, Madrid, España ServiceNow A tiempo completoCompany Description It all started in sunny San Diego, California in 2004 when a visionary engineer, Fred Luddy, saw the potential to transform how we work. Fast forward to today — ServiceNow stands as a global market leader, bringing innovative AI-enhanced technology to over 8,100 customers, including 85% of the Fortune 500. Our intelligent cloud-based...
-
Project Management Internship Box2Bit
hace 1 semana
Pozuelo de Alarcón, Madrid, España Capital Energy A tiempo completoBox2Bit, a developer and operator of digital infrastructures, linked to Capital Energy, whose activity is focused on the digitalization of the economy in a sustainable way, is looking for a student interested in entering the workforce through the completion of external academic internships, offering the opportunity to put into practice and expand the...
-
Intake Care Representative with German and Dutch
hace 1 semana
Pozuelo de Alarcón, Madrid, España The Cigna Group A tiempo completoThe job profile for this position is Intake Care Representative, which is a Band 1 Professional Career Track Role.Excited to grow your career?We value our talented employees, and whenever possible strive to help one of our associates grow professionally before recruiting new talent to our open positions. If you think the open position you see is right for...
-
Intake Care Representative with Dutch and/or French
hace 2 semanas
Pozuelo de Alarcón, Madrid, España Cigna Healthcare A tiempo completoABOUT US:Cigna Corporation is a global health service company. We provide healthcare products and services, group disability, life and accident insurance and international insurance – directly to individuals and through employers and intermediaries.Cigna's mission is to help our customers improve their health, well-being and sense of security.JOB...
PhD student in logical foundation for programming with side-effects
hace 2 semanas
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 teamwork and communication skills, including excellent spoken and written English are essential. The research will be conducted under the supervision of Aleks Nanevski. Interested applicants are encouraged to contact him personally.
Working at IMDEA SoftwareThe 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.
How to apply?Applicants interested in the position should submit their application at using reference code phd-effects. Deadline for applications is November 30th, 2025. Review of applications will begin immediately.
The recruitment process will comply with the IMDEA Software Institute's OTM-R Policy (Open, Transparent and Merit-based Recruitment).
For enquiries about the position, please contact Aleks Nanevski directly ().
