Internship On Succinctness and Learning of Linear
hace 2 semanas
Applications are invited for an internship position at the IMDEA Software Institute in Madrid, Spain.
The goal of the project is to develop novel algorithms for learning linear temporal properties starting from sets of positive and negative traces representing the (im)possible behaviors of a system. The linear temporal properties are expressed in Linear Temporal Logic, the de facto standard for expressing temporal properties of systems for formal verification.
**Who should apply?**:
The position requires good problem solving skills and proficiency in spoken and written English. A background on algorithms and formal logic is highly desirable. This is a great opportunity for graduating master students that are considering pursuing a PhD degree.
**Working at IMDEA Software**:
The IMDEA Software Institute is ranked among the best European research institutes in computer science. The institute provides an internationally competitive stipend and support for research related travel. The working language at the institute is English. Knowledge of Spanish is not required.
**Dates**:
The position has a duration of 5 months. The starting date is flexible, starting from April 2024.
**How to apply?**:
For enquiries about the position, please contact
-
Assistant Producer
hace 7 días
Madrid, España DAZN A tiempo completo**Job Title**: - Assistant Producer - Linear Channel**Location**: - Madrid, Spain**Schedule**: - Full-Time, Permanent**Team**: - Programming**Department**: - Content & Production**What's your new role about?**: - Join DAZN Madrid as our Assistant Producer and play an important role in organizing different assets to fill in grids within DAZN Linear...
-
Learning & Development Trainee
hace 4 semanas
Madrid, España Radisson Hotel Group, Madrid Office- Human Resources A tiempo completo**DESCRIPTION**: At Radisson Hotel Group, we take our cultural belief “We grow talent, talent grows us” to heart. Learning and Development opportunities play a critical role in retention and the development of talent. With strong internal equity, Radisson Academy plays is a key enabler by offering continuous learning opportunities to all team members...
-
Internship Department Coordinator
hace 4 semanas
Madrid, España European School of Economics A tiempo completoThe Internship Coordinator at the European School of Economics plays a vital role in connecting our students with invaluable real-world experiences aligned with their interests and career goals. As a dedicated institution committed to fostering individual growth and success, we believe in the transformative power of internships in shaping students'...
-
Internship Finance
hace 1 semana
Madrid, Madrid, España J&J Family of Companies A tiempo completoInternship Finance WDescriptionJohnson & Johnson is currently seeking a finance intern to join our finance team located in Madrid.At Johnson & Johnson, we believe health is everything. Our strength in healthcare innovation empowers us to build a world where complex diseases are prevented, treated, and cured, where treatments are smarter and less invasive,...
-
Madrid, Madrid, España Amadeus IT Group, S.A A tiempo completoAmadeus is part of everything it takes to bring travel to life. We provide the technology that keeps the travel sector moving from initial search to making a booking, from managing reservations to check-in, departure processes and expense management. At Amadeus, you can take pride and responsibility in your work, facilitating the entire end to end travel...
-
Learning Specialist
hace 1 semana
Madrid, Madrid, España Takeda Pharmaceutical A tiempo completoBy clicking the "Apply" button, I understand that my employment application process with Takeda will commence and that the information I provide in my application will be processed in line with Takeda's Privacy Notice and Terms of Use. I further attest that all information I submit in my employment application is true to the best of my knowledge.Job...
-
Learning Specialist
hace 1 semana
Madrid, Madrid, España Takeda A tiempo completoBy clicking the "Apply" button, I understand that my employment application process with Takeda will commence and that the information I provide in my application will be processed in line with Takeda's Privacy Notice and Terms of Use. I further attest that all information I submit in my employment application is true to the best of my knowledge.Job...
-
Machine Learning Engineer
hace 4 semanas
Madrid, España Mercedes-Benz Group Services Madrid, S.A.U. A tiempo completo**Aufgaben**: **Purpose - Machine learning engineer to work as part of the MB Tech Spain Hub.**and Responsibilities - As a Machine learning engineer, these tasks inc lude: - Create, Design, Code, Build, Run - Work with an interdisciplinary teams in the area of Autonomous Systems as a Data Engineer, Data Scientist, Machine Learning Engineer or Software...
-
Internship Pharmacovigilance
hace 2 días
Madrid, Madrid, España J&J Family of Companies A tiempo completoInternship Pharmacovigilance WDescriptionJohnson & Johnson is currently seeking a pharmacovigilance intern to join our pharmacology department located in Madrid.At Johnson & Johnson, we believe health is everything. Our strength in healthcare innovation empowers us to build a world where complex diseases are prevented, treated, and cured, where treatments...
-
Learning & Growth Specialist
hace 3 semanas
Madrid, España Takeda A tiempo completoBy clicking the "Apply" button, I understand that my employment application process with Takeda will commence and that the information I provide in my application will be processed in line with Takeda'sPrivacy Notice and Terms of Use. I further attest that all information I submit in my employment application is true to the best of my knowledge. Job...
-
Internship Group Privacy Office
hace 4 semanas
Madrid, Madrid, España Amadeus IT Group, S.A A tiempo completoGroup Privacy Office is in charge of monitoring privacy-related legal requirements and advising the organization on how to comply with these. Project Description The intern will be able to work hand-on-hand with the Privacy Counsel on advising the organization on the fulfilment of privacy legal requirements (e.g., legalization of international data...
-
Retail Learning Manager
hace 4 semanas
Madrid, España Louis Vuitton A tiempo completoPOSTE **OVERALL MISSION** As a Retail Learning Manager your mission is to support and develop retail teams in delivering the client experience to the benefit of store business. Through local execution of corporate strategy, you will train and coach client advisors to become ambassadors of Brand culture, values and products. Your role is to partner up with...
-
Digital Content and QA Specialist Internship
hace 1 mes
Madrid, Madrid, España Amadeus IT Group, S.A A tiempo completoCORPORATE DIGITAL MARKETING DEPARTMENT – WEBSITE STRATEGY AND OPERATIONS TEAM Be part of the corporate digital marketing team, supporting and helping with the following: 1) Content creation, integration, and migration of the new website; 2) Quality assurance of new developments: functional and visual quality assurance. Project Description New websites...
-
Global Learning
hace 1 mes
Madrid, Madrid, España Morgan Philips Executive Search A tiempo completoWe are looking for a Global Learning & Development Manager, you will be responsible for designing, implementing, and managing comprehensive learning and development programs across all regions and levels within our organization. You will play a crucial role in fostering a culture of continuous learning and skill development to drive employee engagement,...
-
Styling Assistant Internship
hace 4 semanas
Madrid, España All We Wear Group A tiempo completoAWWG is the global fashion group that integrates the brands Pepe Jeans London, Hackett London, and Façonnable, and is the licensed distributor for Tommy Hilfiger and Calvin Klein in Spain and Portugal. The **AWWG International Internship & Graduate program** is an opportunity to start learning and growing with us as you will work on some of the most...
-
comunity manager internship
hace 4 semanas
Madrid, Madrid, España Amadeus IT Group, S.A A tiempo completoAmadeus is the leading technology company dedicated to the global travel Industry. Within Amadeus, the Digital & Transformation Services (DTS) pro-vides the digitalization solutions to Amadeus worldwide, with the mission to move Amadeus forward by enabling collaboration, optimizing end-to-end processes, and transforming how Amadeus works and operates. The...
-
Marketing Internship
hace 3 semanas
Madrid, España Lenovo A tiempo completoDescription and Requirements Marketing Internship – Madrid This is an exciting opportunity to join Lenovo as intern and take on challenging real-life projects. We are looking for last year university students who are willing to work in a internship role during their study and would like to initiate an exciting career in the IT sector. As Lenovo...
-
Marketing Internship
hace 1 día
Madrid, España Lenovo A tiempo completoDescription and Requirements Marketing Internship – Madrid This is an exciting opportunity to join Lenovo as intern and take on challenging real-life projects. We are looking for last year university students who are willing to work in a internship role during their study and would like to initiate an exciting career in the IT sector. As Lenovo...
-
Learning & Growth Specialist
hace 1 mes
Madrid, Madrid, España Takeda Pharmaceutical A tiempo completoBy clicking the "Apply" button, I understand that my employment application process with Takeda will commence and that the information I provide in my application will be processed in line with Takeda's Privacy Notice and Terms of Use. I further attest that all information I submit in my employment application is true to the best of my knowledge.Job...
-
Learning & Growth Specialist
hace 2 semanas
Madrid, Madrid, España Takeda A tiempo completoBy clicking the "Apply" button, I understand that my employment application process with Takeda will commence and that the information I provide in my application will be processed in line with Takeda's Privacy Notice and Terms of Use. I further attest that all information I submit in my employment application is true to the best of my knowledge.Job...