Phd Student in Hardware Testing and Verification

Applications are invited for one PhD student position 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) - Program analysis and verification techniques for detecting programs vulnerable to microarchitectural...

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...

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...

Company DescriptionDoymus Software e Ingeniería is a leading engineering company offering systems and software development tools, DO-330 tool qualification packages, and consulting services in compliance, verification, and training for safety-critical industries. Collaborating with global technological partners, Doymus contributes to mission-critical...

**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...

AnnapurnaLabs as part of AWS, is looking for talented student engineers to help us develop the semiconductor platform which is based on revolutionary architecture. Take part in the development of products within disruptive system architecture. You’ll have the opportunity to work on the technologies that power the world’s largest Cloud provider, within a...

Empresa: Fundación IMDEA Networks - Referencia: PhD Student positions [2025]_03R - Publicada el 4/12/2024 - Publicada hasta el 20/12/2024 - Tipo de Contrato: Sin especificar - Dedicación: Sin especificar - Localidad: Leganés - Provincia: Madrid - Disponibilidad para viajar: Sin especificar - Enlace URL:

Social network you want to login/join with: At Deimos, we're pushing the boundaries of space technology, engaging in various projects involving the requirement definition, design, manufacturing, and verification of electronic units. We're on the lookout for a dedicated Senior Hardware Engineer to join our team and support our mission by managing the complete...

The UCAM-SENS unit is seeking a PhD student to join the European Project IRHIS (Interoperable Remote Health Innovation brought to Scale).About UCAM-SENSUCAM-SENS is a leading research unit dedicated to digital transformation in healthcare, sports, food, and environmental monitoring through advanced (bio)chemical sensing, combining electrochemistry and...

Yumatech is dedicated to helping companies elevate their technical teams by providing access to top-tier professionals in the human resources ecosystem. Utilizing innovative technology, we enable our partners to quickly fill their vacancy requirements and achieve rapid growth. As a candidate, Yumatech offers guidance to find your next challenging project,...