Empleos de formal en Madrid

As a static formal verification lead, you will play a key role in ensuring functional correctness and low-power intent integrity across the design lifecycle. You will be responsible for equivalence checking with and without UPF, ensuring seamless convergence between RTL, synthesis, and physical design stages for hierarchical designs. Key...

1. OrganizaciónEntreculturas es una ONG de Cooperación Internacional de la Compañía de Jesús en España, forma parte de la Federación Internacional de Fe y Alegría y trabaja en favor de la justicia y la transformación social. Defiende la educación como derecho humano, trabaja por la vida digna de las personas migrantes y refugiadas, y apuesta por la...

At TechBiz General, we are providing recruitment service to our TOP clients from our portfolio. We are currently seeking a Senior Formal Verification (FV) Engineer to join one of our clients' teams.Reporting directly to the Vector Unit Verification Lead, this is a highly technical Individual Contributor (IC) role. In this position, you will be the dedicated...

Openchip & Software Technologies S. L. is seeking a Senior Formal Verification Engineer to lead the formal verification strategy across our So C platforms.You will work with system architects to establish verification environments, write System Verilog assertions, and guide the use of formal methods to improve IP and chip-level verification efficiency.You...

Zona Gestión busca redactores académicos freelance especializados en medicina y ciencias de la salud para desarrollar proyectos en una modalidad 100% remota y no exclusiva. Se valorará experiencia en redacción de contenidos académicos y cumplimiento de normativas APA/Vancouver/Chicago.El puesto permite compaginar con otras tareas, requiere residencia en...

Evaluation work under formal schemes: side channel analysis, fault injection and firmware review on chips, payment devices and IoT. Unusually hands-on hardware for an entry-level role, and the methodology is taught.What you will do:Execute evaluation tests against a formal methodologyAnalyse firmware and hardware interfacesWrite evaluation reports for...

Evaluation work under formal schemes: side channel analysis, fault injection and firmware review on chips, payment devices and IoT. Unusually hands-on hardware for an entry-level role, and the methodology is taught. What you will do:Execute evaluation tests against a formal methodology Analyse firmware and hardware interfaces Write evaluation reports for...

Ingeniero/a de configuración (sector espacial) Ingeniero/a de configuración (sector espacial)Ingeniero/a de configuración (sector espacial)¿Te interesa desarrollar tu experiencia en un proyecto del sector espacio? ¡Sigue leyendo! En ALTEN tenemos claro que el éxito de nuestros proyectos se debe a las personas que forman nuestro equipo. Por eso, si...

Citi's Commercial Bank is seeking Full-Time Analysts to join our team in Madrid. The Program starts in July 2027 with in-depth training, combining formal sessions and hands-on experience across sales, credit, product, technology, and professional skills with strong mentorship. By the program's end you will gain thorough experience in Citi's client coverage...

Litoral Móvil, Agente Oficial de Claro, busca un/a Supervisor/a de Call Center para liderar y acompañar al equipo comercial, asegurando el logro de objetivos y una atención de calidad. Se ofrece contrato formal, desarrollo profesional y remuneración fija más variable; se valora experiencia en teleoperadores y disponibilidad para trabajar presencialmente...

Mercor is seeking a Music Production Expert for Spanish (ES). This remote contract role requires 20+ hours/week for up to 6 months, with compensation of $39–$54/hour. You will evaluate AI-generated music, ensure vocal and mix quality, and help label songs by genre and structure. Start date is immediate. The ideal candidate has 2+ years in music production...

Evaluation work under formal schemes: side channel analysis, fault injection and firmware review on chips, payment devices and IoT. Unusually hands-on hardware for an entry-level role, and the methodology is taught. What you will do: * Execute evaluation tests against a formal methodology * Analyse firmware and hardware interfaces * Write evaluation reports...

Grupo 5 es una empresa líder en servicios sociales y sociosanitarios, con presencia en numerosos centros en España.Aumente sus posibilidades de llegar a la fase de entrevista leyendo la descripción completa del puesto y enviando su solicitud sin demora.Buscamos incorporar a un/a Técnico/a de Animación Sociocultural en nuestro centro RESIDENCIA LAS...

Socialty es una organización sin fines de lucro comprometida con el desarrollo de las personas a través de acciones concretas en educación formal y no formal, e integración social. Nuestra misión es contribuir al crecimiento sostenible, acceso al empleo, cohesión social e innovación. Imaginamos un mundo donde la ciudadanía, independientemente de su...

Skydweller Aero Inc. is seeking a seasoned Program Manager to design, develop, and maintain Integrated Master Schedules (IMS) for complex aerospace programs in Madrid and beyond. You will apply formal PM practices to manage large schedules, dependencies, and milestones across internal teams, vendors, and government sources. You will lead schedule analysis...

GMV is seeking an experienced cybersecurity systems engineer to design and defend security for satellite navigation ground segments and interfaces. You will work with engineering, networks, hardware, software, and operations teams to define secure architectures and review designs. You will participate in risk management, hardening activities, and formal...

Amentum seeks a Naval Architect to join our team in Rota, Spain, supporting the Forward Deployed Regional Maintenance Center (FDRMC). The role focuses on hull, structural, and coating systems, casualty response, and repair planning to maintain Fleet readiness for forward-deployed U. S. Navy vessels. You will perform on-site and remote inspections, assist...

Fortra, LLC seeks a collaborative Professional Services Consultant to deploy software solutions in customer environments. The role involves working with cross-functional teams, delivering both remote and onsite services, and coordinating with customers and partners to ensure project success. Travel is extensive, and you will deliver formal training sessions...

Somos una empresa multinacional del sector educativo y de marketing, especializada en la producción y redacción de contenidos de todo tipo. Desarrollamos materiales digitales, educativos y corporativos, adaptados a las necesidades específicas de cada cliente.Nos encontramos en búsqueda de redactores para que se ocupen del desarrollo de los proyectos del...

Merkle Barcelona is launching a Java Graduate Scheme to train you into a full-stack Java Developer, with mentoring and on-the-job training across frontend and backend projects. You will work with an international client portfolio and experience a formal mentorship from your line manager and HR team. The program aims to develop you into a fully-fledged Java...