Welcome, we are Developair Technologies, a startup located in Donostia-San Sebastian. At Developair Technologies, we are applying state of the art ArtificiaI Intelligence technologies and Formal Methods to build a new generation of Software Tools. Our goal is to allow companies to design and build reliable complex systems at unprecedented speed, by putting these technologies at the service of Software Developers We provide solutions for a wide variety of industries: railway, aerospace, energy, automotive and medical, among others. We are continuously looking for talented people, and provide: - Opportunity to work in cutting-edge technologies - Continuous training options - Opportunities for professional development - Integration in a diverse and dynamic team If you are interested just check our website for more information.
Enlace externo para Developair Technologies
Paseo Mikeletegi, 83
San Sebastian, Guipuzcoa 20009, ES
Developair Technologies ha compartido esto
🍽️ It's lunchtime! Join us in the exhibition hall to refuel and check out our Lightning Talks from AdaCore, Capgemini, Ansys and Developair Technologies (starting from 12.25). ⚡ Lightning Talks agenda 👉 https://lnkd.in/g-i_iS2q #HISC2024
Everything ready for High Integrity Software Conference 2024. Come tomorrow to our stand (S20) to talk about safety critical applications, automatic verification of software requirements, automatic test genetation with symbolic AI or just to say hello! See you there! #embeddedsystems #embeddedsoftware #FunctionalSafety #FuSa #DO178 #IEC61508 #IEC62443 #ISO26262 #EN50128 #HISC2024
Date: Oct 22, 2024 Location: ICC Wales (Newport, South Wales, UK) Stand: 20 This year, in October, we will be attending as exhibitors at the High Integrity Software Conference. We will be at booth 20, where we will show our solution based on symbolic #AI that automates formal verification activities and generates functional unit test in the development of #software for embedded systems. The mission of the High Integrity Software conference is to share challenges, best practice and experience between software engineering practitioners. The conference features talks from industrial and academic specialists which disseminate experience and knowledge of important techniques and methods that are applicable across industry sectors. ---------------------------------------------------------------------- Fecha: 22 de Octubre de 2024 Ubicación: ICC Wales (Newport, South Wales, UK) Stand: 20 Este año, en octubre, vamos a asistir como exhibidores a la High Integrity Software Conference. Estaremos en el stand 20, donde mostraremos nuestra solución basada en #IA simbólica para automatizar las actividades de verificación formal y generación test funcionales en el desarrollo de #software para sistemas embebidos. La misión de la conferencia High Integrity Software es compartir retos, mejores prácticas y experiencias entre profesionales de la ingeniería de software. La conferencia ofrece charlas de especialistas industriales y académicos que comparten sus experiencias y conocimientos sobre técnicas y métodos aplicables en todos los sectores de la industria. #embeddedsystems #embeddedsoftware #FunctionalSafety #FuSa #DO178 #IEC61508 #IEC62443 #ISO26262 #EN50128 High Integrity Software 2024 Conference — October 22, 2024 (his-conference.co.uk)
🚀 Join Developair as a Software Developer in Generative AI Solutions! Are you passionate about innovation and #AI? Join our team to develop #GenerativeAI #algorithms that will revolutionize the digitization and automation of key sectors such as #renewableenergy, #medicine, #railway and more. 📌 Responsibilities: - Explore and solve technology challenges, especially in #generative #AI. - Design and develop new #software #propotypes. - Collaborate with universities and research centers. 🧠 Requirements: - Advanced studies in Computer Engineering, Industrial Engineering, Telecommunications, or similar. - Generative AI knowledge and experience. - At least 2 years of experience in #Python programming. - Intermediate English. - Proactive person with organizational and communication skills (written and oral). 🤝 We offer: - Innovation and advanced technology to solve real problems. - Continuous learning and professional career. - Collaborative environment where autonomy, diversity and respect are valued. - Contract type: indefinite, full time. 💡 If you are looking to grow in a technological and collaborative environment, send your resume to: info@developair.es #Hiring #HRR #jobopportunity #SoftwareDevelopment #SoftwareEngineer #Innovation -- 🚀 ¡Únete a Developair como Desarrollador de Software en Soluciones de IA Generativa! ¿Te apasiona la innovación y la #IA? Únete a nuestro equipo para desarrollar #algoritmos de #IAgenerativa que revolucionarán la digitalización y automatización de sectores clave como el #ferriviario #automoción #energíarenovable etc. 📌 Responsabilidades: - Explorar y resolver retos tecnológicos, especialmente en IA generativa. - Diseñar y desarrollar nuevos #prototipos #software. - Colaborar con universidades y centros de investigación. 🧠 Requisitos: - Estudios superiores de Ingeniería Informática, Industrial, Telecomunicaciones, o equivalente. - Conocimientos y experiencia IA generativa. - Al menos 2 años de experiencia en programación #Python - Inglés intermedio. - Persona proactiva y con habilidades de organización y comunicación (escrita y oral). 🤝 Ofrecemos: - Innovación y tecnología de vanguardia para resolver problemas reales. - Aprendizaje continuo y desarrollo profesional. - Entorno colaborativo donde se valora la autonomía, diversidad y el respeto. - Tipo de contrato: indefinido, jornada completa 💡 Si buscas crecer en un entorno tecnológico y colaborativo, envíanos tu CV a: info@developair.es
Get Ready for High Integrity Software Conference Next Week! Next week, we’ll see you at the High Integrity Software Conference on October 22, 2024, at ICC Wales. Visit us at Stand 20 to learn more about our unique approach to automatic test generation. Don’t miss the chance to discuss how our symbolic #AI can automate formal verification activities and generate functional unit tests for critical embedded systems. We look forward to sharing insights and exploring new opportunities with you! See you there! #embeddedsystems #embeddedsoftware #FunctionalSafety #FuSa #DO178 #IEC61508 #IEC62443 #ISO26262 #EN50128
Date: Oct 22, 2024 Location: ICC Wales (Newport, South Wales, UK) Stand: 20 This year, in October, we will be attending as exhibitors at the High Integrity Software Conference. We will be at booth 20, where we will show our solution based on symbolic #AI that automates formal verification activities and generates functional unit test in the development of #software for embedded systems. The mission of the High Integrity Software conference is to share challenges, best practice and experience between software engineering practitioners. The conference features talks from industrial and academic specialists which disseminate experience and knowledge of important techniques and methods that are applicable across industry sectors. ---------------------------------------------------------------------- Fecha: 22 de Octubre de 2024 Ubicación: ICC Wales (Newport, South Wales, UK) Stand: 20 Este año, en octubre, vamos a asistir como exhibidores a la High Integrity Software Conference. Estaremos en el stand 20, donde mostraremos nuestra solución basada en #IA simbólica para automatizar las actividades de verificación formal y generación test funcionales en el desarrollo de #software para sistemas embebidos. La misión de la conferencia High Integrity Software es compartir retos, mejores prácticas y experiencias entre profesionales de la ingeniería de software. La conferencia ofrece charlas de especialistas industriales y académicos que comparten sus experiencias y conocimientos sobre técnicas y métodos aplicables en todos los sectores de la industria. #embeddedsystems #embeddedsoftware #FunctionalSafety #FuSa #DO178 #IEC61508 #IEC62443 #ISO26262 #EN50128 High Integrity Software 2024 Conference — October 22, 2024 (his-conference.co.uk)
Developair Technologies ha compartido esto
🚀 We are #hiring an Embedeed Software Project Engineer! Are you motivated to lead technological projects? We are looking for a creative and proactive engineer to lead the implementation of our innovative solutions in sectors such as #automotive #aerospace #railway etc. 📌 Responsibilities: - Lead product application projects with customers. - Interact and collaborate with customers to ensure project success. - Work with product team to identify enhancements and new development opportunities. 🧠 Requirements: - Advanced studies in Computer Engineering, Industrial, Telecommunications or similar. - Experience in #embeddedsystems and #software development projects. - Knowledge and application of #safety standards for #criticalsoftware development (#IEC61508, #EN50128, #ISO26262 or #IEC62304). - Experience in interaction with customers and suppliers. - Advanced English level. - High capacity for organization, communication and be very proactive. 🤝 We offer: - Leading pioneering projects. - Opportunity for professional growth. - Continuous learning. - Integration into a diverse and dynamic team. - Type of contract: indefinite, full time. 💡 If you are an innovative person and like to face technological challenges, we are looking for you! Send us your CV to info@developair.es -- 🚀 ¡Buscamos un Ingeniero/a de Proyectos de Software Embebido! ¿Te motiva liderar proyectos tecnológicos? Buscamos un/a ingeniero/a creativo y proactivo para liderar la implementación de nuestras innovadoras soluciones en sectores como #automoción #aeroespacial #ferroviario etc. 📌 Responsabilidades: - Liderar proyectos de aplicación de producto con clientes. - Interactuar y colaborar con clientes para asegurar el éxito de los proyectos. - Trabajar con el equipo de producto para identificar mejoras y nuevas oportunidades de desarrollo. 🧠 Requisitos: - Estudios superiores en Ingeniería Informática, Industrial, Telecomunicaciones o similar. - Experiencia en proyectos de desarrollo de sistemas y #softwareembebido. - Conocimiento y aplicación en normativas safety para desarrollo de #softwarecrítico (IEC 61508, EN 50128, ISO 26262 o IEC62304). - Experiencia en interacción con clientes y proveedores. - Nivel avanzado de inglés. - Gran capacidad de organización, comunicación y ser muy proactiva. 🤝 Ofrecemos: - Liderar proyectos punteros. - Oportunidad de desarrollo profesional. - Aprendizaje continuo. - Integración a un equipo diverso y dinámico. - Tipo de contrato: indefinido, jornada completa 💡 Si eres una persona innovadora y te gusta enfrentar desafíos tecnológicos, ¡te estamos buscando! Envíanos tu CV a info@developair.es
🚀 We are #hiring an Embedeed Software Project Engineer! Are you motivated to lead technological projects? We are looking for a creative and proactive engineer to lead the implementation of our innovative solutions in sectors such as #automotive #aerospace #railway etc. 📌 Responsibilities: - Lead product application projects with customers. - Interact and collaborate with customers to ensure project success. - Work with product team to identify enhancements and new development opportunities. 🧠 Requirements: - Advanced studies in Computer Engineering, Industrial, Telecommunications or similar. - Experience in #embeddedsystems and #software development projects. - Knowledge and application of #safety standards for #criticalsoftware development (#IEC61508, #EN50128, #ISO26262 or #IEC62304). - Experience in interaction with customers and suppliers. - Advanced English level. - High capacity for organization, communication and be very proactive. 🤝 We offer: - Leading pioneering projects. - Opportunity for professional growth. - Continuous learning. - Integration into a diverse and dynamic team. - Type of contract: indefinite, full time. 💡 If you are an innovative person and like to face technological challenges, we are looking for you! Send us your CV to info@developair.es -- 🚀 ¡Buscamos un Ingeniero/a de Proyectos de Software Embebido! ¿Te motiva liderar proyectos tecnológicos? Buscamos un/a ingeniero/a creativo y proactivo para liderar la implementación de nuestras innovadoras soluciones en sectores como #automoción #aeroespacial #ferroviario etc. 📌 Responsabilidades: - Liderar proyectos de aplicación de producto con clientes. - Interactuar y colaborar con clientes para asegurar el éxito de los proyectos. - Trabajar con el equipo de producto para identificar mejoras y nuevas oportunidades de desarrollo. 🧠 Requisitos: - Estudios superiores en Ingeniería Informática, Industrial, Telecomunicaciones o similar. - Experiencia en proyectos de desarrollo de sistemas y #softwareembebido. - Conocimiento y aplicación en normativas safety para desarrollo de #softwarecrítico (IEC 61508, EN 50128, ISO 26262 o IEC62304). - Experiencia en interacción con clientes y proveedores. - Nivel avanzado de inglés. - Gran capacidad de organización, comunicación y ser muy proactiva. 🤝 Ofrecemos: - Liderar proyectos punteros. - Oportunidad de desarrollo profesional. - Aprendizaje continuo. - Integración a un equipo diverso y dinámico. - Tipo de contrato: indefinido, jornada completa 💡 Si eres una persona innovadora y te gusta enfrentar desafíos tecnológicos, ¡te estamos buscando! Envíanos tu CV a info@developair.es
💡 Looking to enhance the reliability of your critical #software? At #Developair, we automate unit test generation using symbolic #AI, reducing errors and speeding up the testing process. 🚀 🔍 Discover how our platform optimizes test coverage, detects errors early, and seamlessly integrates with your testing tools. 💻 Read more about our innovative approach in our website: 👇 https://lnkd.in/d-iBciQK -- 💡 ¿Quieres mejorar la fiabilidad de tu #software crítico? En #Developair automatizamos la generación de pruebas unitarias mediante #IA simbólica, reduciendo errores y agilizando el proceso de pruebas. 🚀 🔍 Descubre cómo nuestra plataforma optimiza la cobertura de las pruebas, detecta errores de forma temprana y se integra a la perfección con tus herramientas de pruebas. 🖥 Lee sobre nuestro enfoque innovador en nuestra web! #SoftwareRequirements #FuntionalSafety #FuSa #DO178C #IEC61508 #ISO26262 #EN50128 #IEC62304 #SimbolicAI #IASimolica
Having trouble defining #software requirements in natural language? Find out how our platform can reduce these problems, improving the clarity and accuracy of the process. Don't miss the full post here: https://lnkd.in/d9gzfkiw -- ¿Tienes problemas para definir los requisitos de software en lenguaje natural? Descubre cómo nuestra plataforma puede mitigar estos problemas, mejorando la claridad y precisión del proceso. No te pierdas el post completo en nuestra web. #SoftwareRequirements #FuntionalSafety #FuSa #DO178C #IEC61508 #ISO26262 #EN50128 #IEC62304
Developair Technologies ha compartido esto
🚀 Calling All Critical Software Developers! 🚀 At Developair, we’re embarking on an ambitious survey to uncover the top challenges faced by embedded software developers working with functional safety standards. 🔍 Why? Because we believe in sharing knowledge and empowering our community! 🤝 📊 What’s in the Survey? It’s simple: 1. Select Your Standards: Choose the functional safety standards you work with. 2. Select the SIL: Indicate the safety integrity levels of your software. 3. Rank the Challenges: Prioritize 12 common challenges—from most relevant(1) to least (12). 📢 Stay Tuned! We’ll share the results in an article with all the information. 📰 Let’s shape the future of critical software together! 🌐💡 https://lnkd.in/dBFGKxCn
🚀 ¡𝐋𝐚 𝐠𝐫𝐚𝐛𝐚𝐜𝐢ó𝐧 𝐝𝐞 𝐧𝐮𝐞𝐬𝐭𝐫𝐨 𝐰𝐞𝐛𝐢𝐧𝐚𝐫 𝐜𝐨𝐧 Exceltic 𝐲𝐚 𝐞𝐬𝐭á 𝐝𝐢𝐬𝐩𝐨𝐧𝐢𝐛𝐥𝐞!🚀 Si te perdiste nuestro webinar sobre "𝐒𝐦𝐚𝐫𝐭 𝐑𝐞𝐪𝐮𝐢𝐫𝐞𝐦𝐞𝐧𝐭𝐬 𝐕𝐞𝐫𝐢𝐟𝐢𝐜𝐚𝐭𝐢𝐨𝐧 & 𝐈𝐧𝐭𝐞𝐥𝐥𝐢𝐠𝐞𝐧𝐭 𝐓𝐞𝐬𝐭 𝐆𝐞𝐧𝐞𝐫𝐚𝐭𝐢𝐨𝐧 𝐟𝐨𝐫 𝐄𝐦𝐛𝐞𝐝𝐝𝐞𝐝 𝐒𝐨𝐟𝐭𝐰𝐚𝐫𝐞", ahora puedes acceder a la grabación y descubrir cómo 𝐄𝐱𝐜𝐞𝐥𝐭𝐢𝐜 y 𝐃𝐞𝐯𝐞𝐥𝐨𝐩𝐚𝐢𝐫 𝐓𝐞𝐜𝐡𝐧𝐨𝐥𝐨𝐠𝐢𝐞𝐬 están transformando la verificación y validación de software embebido con IA y automatización inteligente. ¡No te lo pierdas! Haz clic aquí para acceder a la grabación: https://lnkd.in/dHejYZqf 🎥 —----------------------------------------------------------------------- 🚀 The recording of our webinar with Exceltic is now available (Note: this webinar is in Spanish)! 🚀 If you missed our webinar on "𝐒𝐦𝐚𝐫𝐭 𝐑𝐞𝐪𝐮𝐢𝐫𝐞𝐦𝐞𝐧𝐭𝐬 𝐕𝐞𝐫𝐢𝐟𝐢𝐜𝐚𝐭𝐢𝐨𝐧 & 𝐈𝐧𝐭𝐞𝐥𝐥𝐢𝐠𝐞𝐧𝐭 𝐓𝐞𝐬𝐭 𝐆𝐞𝐧𝐞𝐫𝐚𝐭𝐢𝐨𝐧 𝐟𝐨𝐫 𝐄𝐦𝐛𝐞𝐝𝐝𝐞𝐝 𝐒𝐨𝐟𝐭𝐰𝐚𝐫𝐞", you can now access the recording and discover how 𝐄𝐱𝐜𝐞𝐥𝐭𝐢𝐜 and 𝐃𝐞𝐯𝐞𝐥𝐨𝐩𝐚𝐢𝐫 𝐓𝐞𝐜𝐡𝐧𝐨𝐥𝐨𝐠𝐢𝐞𝐬 are transforming embedded software verification and validation with AI and smart automation. Don't miss it! #Webinar #SoftwareEmbebido #EmbeddedSoftware #Innovation #Engineering #embeddedsystems #FunctionalSafety #FuSa #EN50128 #ISO26262 #IEC61508 #IEC62304
¿Sabías que el software Developair Technologies puede transformar la verificación y validación del software embebido? 🌟 Te invitamos a nuestro próximo #shortwebinar: “𝘚𝘮𝘢𝘳𝘵 𝘙𝘦𝘲𝘶𝘪𝘳𝘦𝘮𝘦𝘯𝘵𝘴 𝘝𝘦𝘳𝘪𝘧𝘪𝘤𝘢𝘵𝘪𝘰𝘯 & 𝘐𝘯𝘵𝘦𝘭𝘭𝘪𝘨𝘦𝘯𝘵 𝘛𝘦𝘴𝘵 𝘎𝘦𝘯𝘦𝘳𝘢𝘵𝘪𝘰𝘯 𝘧𝘰𝘳 𝘌𝘮𝘣𝘦𝘥𝘥𝘦𝘥 𝘚𝘰𝘧𝘵𝘸𝘢𝘳𝘦 - 𝐄𝐦𝐛𝐞𝐝𝐝𝐞𝐝 𝐒𝐨𝐟𝐭𝐰𝐚𝐫𝐞 𝐒𝐦𝐚𝐫𝐭 𝐄𝐧𝐠𝐢𝐧𝐞𝐞𝐫𝐢𝐧𝐠”. Si quieres descubrir: ✅ Cómo mejorar la eficiencia y 𝐚𝐮𝐭𝐨𝐦𝐚𝐭𝐢𝐳𝐚𝐜𝐢ó𝐧 en la verificación de requisitos. ✅ Cómo 𝐚𝐬𝐞𝐠𝐮𝐫𝐚𝐫 𝐞𝐥 𝐜𝐮𝐦𝐩𝐥𝐢𝐦𝐢𝐞𝐧𝐭𝐨 de los más altos estándares de seguridad y calidad. ✅ Cómo la 𝐢𝐧𝐭𝐞𝐥𝐢𝐠𝐞𝐧𝐜𝐢𝐚 𝐚𝐫𝐭𝐢𝐟𝐢𝐜𝐢𝐚𝐥 puede impulsar la modernización del desarrollo de 𝐬𝐨𝐟𝐭𝐰𝐚𝐫𝐞 𝐞𝐦𝐛𝐞𝐛𝐢𝐝𝐨. ¡No te lo pierdas y únete a nosotros! 🚀 #Webinar #SoftwareEmbebido #EmbeddedSoftware #Innovation #Engineering