Phd Student in Microarchitectural Attacks and Defenses

Applications are invited for one PhD student position in at the IMDEA Software Institute, Madrid, Spain. Some potential research topics are the following: - CPU fuzzing for information leaks (both black-box on silicon-CPUs and white-box on RTL designs) - CPU verification against microarchitectural attacks - Automated generation of exploits and defenses for...

About the PositionWe are seeking a talented PhD student to join our research group at the IMDEA Software Institute.The successful candidate will work on developing and applying formal methods for analyzing and verifying higher-order constraint logic programs.This is an exciting opportunity to contribute to our ongoing research projects and collaborate with...

Job OverviewThe IMDEA Software Institute is a leading research center in the field of programming languages and verification. We are seeking a highly motivated PhD student to join our team as a researcher for advanced constraint logic programming.

Organisation/Company: Fundación IMDEA SoftwareField: Computer ScienceResearcher Profile: First Stage Researcher (R1)Positions: Master PositionsCountry: SpainApplication Deadline: 10 Apr :59 (Europe/Madrid)Type of Contract: To be definedJob Status: Full-timeIs the job funded through the EU Research Framework Programme? Not funded by a EU programmeReference...

Organisation/Company: Fundación IMDEA SoftwareField: Computer ScienceResearcher Profile: First Stage Researcher (R1)Positions: Master PositionsCountry: SpainApplication Deadline: 10 Apr 2025 - 23:59 (Europe/Madrid)Type of Contract: To be definedJob Status: Full-timeIs the job funded through the EU Research Framework Programme? Not funded by a EU...

Organisation/Company: Fundación IMDEA Software Field: Computer Science Researcher Profile: First Stage Researcher (R1) Positions: Master Positions Country: Spain Application Deadline: 10 Apr :59 (Europe/Madrid) Type of Contract: To be defined Job Status: Full-time Is the job funded through the EU Research Framework Programme? Not funded by a EU programme...

Organisation/Company: Fundación IMDEA Software Field: Computer Science Researcher Profile: First Stage Researcher (R1) Positions: Master Positions Country: Spain Application Deadline: 10 Apr 2025 - 23:59 (Europe/Madrid) Type of Contract: To be defined Job Status: Full-time Is the job funded through the EU Research Framework Programme? Not funded by a EU...

**Job Responsibilities:** The successful candidate will be responsible for designing and implementing research studies, collecting and analyzing data, and presenting findings in peer-reviewed publications. You will also contribute to grant writing, teaching, and outreach activities.**Education Level:** A PhD or equivalent in a relevant field is required. You...

Organisation/Company: Fundación IMDEA SoftwareField: Computer scienceResearcher Profile: First Stage Researcher (R1)Positions: Master PositionsCountry: SpainApplication Deadline: 11 Apr 2025 - 23:59 (Europe/Madrid)Type of Contract: To be definedJob Status: Full-timeIs the job funded through the EU Research Framework Programme? European Union / Next...

**Job Summary**We are looking for a talented researcher to join our team as a PhD student. The successful candidate will have a strong background in computer science, mathematics, or a related field, with experience in abstract interpretation-based analysis and verification, constraint logic programming, or similar areas.The ideal candidate will possess...

Job DescriptionThe IMDEA Software Institute invites applications for a PhD student position in the area of advanced program analysis and verification.Candidates should have earned (or be close to earning) a Master's degree in Computer Science, Computer Engineering, or Mathematics, with experience in abstract interpretation-based analysis and constraint logic...

Job DescriptionWe are seeking a highly motivated PhD student to join our team and contribute to our research projects in constraint logic programming and higher order constraint logic programs. The successful candidate will have the opportunity to work on challenging research topics and collaborate with renowned experts in the field.The job description...

Job DescriptionXior Student Housing is looking for a highly motivated Student Accommodation Support Specialist to join our team. In this role, you will be the first point of contact for our students and visitors, providing assistance with inquiries, issues, and concerns.You will manage reservations, process check-in and check-out procedures, and ensure that...

About UsWe are a vibrant community of researchers committed to advancing the state-of-the-art in programming languages and verification. Located in Madrid, Spain, we offer an inspiring working environment that perfectly combines cutting-edge research with a dynamic city life.

Company OverviewFundación IMDEA Software is a research institute dedicated to advancing the field of software engineering. Our team of experts is passionate about developing innovative solutions that improve the way we build and interact with software systems.Job DescriptionWe are seeking a highly motivated PhD student to join our team as a researcher in...

**Who should apply?**: Applicants should have a MSc in computer science, mathematics or a related discipline. Good teamwork and communication skills, including excellent spoken and written English are also required. **Working at IMDEA Software**: The position is based in Madrid, Spain, where the IMDEA Software Institute is situated. The institute provides...

Join Our TeamWe are a leading research institute in the areas of Programming Languages and Verification, and we are seeking a highly motivated PhD student to join our team. As a member of our team, you will have the opportunity to work on challenging projects and collaborate with experienced researchers.Key ResponsibilitiesDesign, develop, and implement...

Job Title: Junior Doctor PositionJob Summary: We are looking for an experienced Junior Doctor to join our research team at CBGP- Centro de Biotecnología y Genómica de Plantas. As a Junior Doctor, you will be responsible for conducting metagenomic analysis and implementing phylogenetic analysis pipelines.About the Role:You will work closely with our team of...

Operations Assistant PositionXior Student Housing is a dynamic company that offers a unique opportunity to make a meaningful impact in the student accommodation sector. We are seeking an experienced Operations Assistant to join our team and support the smooth operation of our facilities.In this role, you will be responsible for managing reservations,...

Support Services CoordinatorXior Student Housing is a leader in the student accommodation sector, and we are seeking a highly motivated Support Services Coordinator to join our team. In this role, you will be responsible for providing exceptional customer service and support to our students.You will manage reservations, coordinate with various departments,...