Pubblicato il 17 giugno
Mansioni della posizione
La posizione è aperta all'interno del team di Leonardo. Vuole candidarsi? Si assicuri che il suo CV sia aggiornato, poi legga attentamente le specifiche del lavoro prima di procedere. **Job Description: **Leonardo is an international industrial group, among the world's leading companies in Aerospace, Defense and Security, creating multi-domain technological capabilities in Helicopters, Aircraft, Aerostructures, Electronics, Cyber Security and Space. With over 60,000 employees worldwide, the company has a strong industrial presence in Italy, the United Kingdom, Poland, the United States, and operates in 150 countries also through subsidiaries, joint ventures and shareholdings. A protagonist in major global strategic programs, it is a technological and industrial partner of Governments, Defense Administrations, Institutions and companies. In 2024, Leonardo recorded consolidated revenues of € 17.8 billion, new orders for € 20.9 billion, and invested € 2.5 billion in R&D activities. Innovation, continuous research, digital industry and sustainability are the pillars of its business worldwide.Experienced tutors in their sector will guide you, allowing you to deepen the theoretical part and develop your thesis, preparing you in the best possible way for future professional challenges.The topics proposed for theses to be carried out at Leonardo cover a vast spectrum of technological, research and innovation fields: from Artificial Intelligence to High-Performance Computing, from Cyber Security to Materials Engineering, passing through the aerospace sectors. You will be able to explore the most avant-garde areas of your field of study, with creativity and a spirit of innovation.To support you during this experience, which will last a maximum of six months, an expense reimbursement is also provided.We are looking for 1 young student to be included in an internship, with the aim of developing their degree thesis on the topic of Cybersecurity on UAS legacy: " **Vulnerability verification through formal models **" at the Ronchi dei Legionari site.The increasing integration of unmanned aerial systems (UAS) into critical operational contexts makes it necessary to systematically address the vulnerabilities of legacy UAS, which are vulnerable because they were designed without current cyber defenses.The thesis aims to bridge this gap through a methodological approach based on: * Hardware/software reverse engineering, identifying vulnerable entry points. * Formal models that formalize and verify security properties (integrity, authenticity, availability) ensuring the correctness of countermeasures.By combining these approaches, a methodology is obtained to retroactively strengthen the resilience of existing systems, reducing the risks of attacks and improving the security of the UAS system.Main activities: **Analysis of the legacy UAS system *** Collection and study of available documentation; * Reconstruction of the software/hardware architecture using reverse engineering techniques; * Identification of attack surfaces and structural vulnerabilities. **Reverse engineering and formal modeling *** Extraction of functional behaviors and communication flows; * Definition of formalmodels for verifying security and resilience properties; * Validation of modelsthrough simulations and static/dynamic analysis. **Cybersecurity and resilience *** Threat assessment according to standards and best practices (e.G., DO 326A, NIST, ENISA); * Definition of technical and procedural countermeasures applicable to legacy systems.Main activities: **Analysis of the legacy UAS system *** Collection and study of available documentation; * Reconstruction of the software/hardware architecture using reverse engineering techniques; * Identification of attack surfaces and structural vulnerabilities. **Reverse engineering and formal modeling *** Extraction of functional behaviors and communication flows; * Definition of formalmodels for verifying security and resilience properties; * Validation of modelsthrough simulations and static/dynamic analysis. **Cybersecurity and resilience *** Threat assessment according to standards and best practices (e.G., DO 326A, NIST, ENISA); * Definition of technical and procedural countermeasures applicable to legacy systems. **Support for regulatory compliance *** Analysis of emerging regulatory requirements for UAS and critical systems; * Contribution to the preparation of evidence, technical reports and compliance documentation. **Interdisciplinary collaboration *** Interface with engineering, security, certification and safety teams; * Participation in technical reviews, internal audits and governance activities. **Educational qualification: ** Master's Degree in Computer Science, Electronic Engineering, Automation. **Seniority: ** Junior **Technical knowledge and skills: *** Proficiency in major programming languages, with the ability to develop scripts, analysis tools and small applications; * Knowledge of TCP andUDP network communication protocols; * Understanding of fundamental cybersecurity concepts, including common vulnerabilities in embedded systems and network protocols; * Ability to identify elementary attack surfaces in software systems and communications. **Behavioral skills: *** Proactivity; * Ability to work in ateam; * Learning orientation; * Flexibility; * Communication; * Result orientation. **Language skills: *** Good knowledge of written and spoken English, B2/C1 level. **Computer skills: *** Linux and Windows operating systems. **How does the selection process work? **Following the collection of applications, CVs that are most in line with the required qualifications are evaluated and identified.Selected candidates undergo an introductory interview with the Human Resources team and with the Business, where technical topics, motivation and personal aptitudes will be explored.At the end of the process, the person receives feedback, whether the outcome is positive or negative. **We look forward to your application **. xivgfpx *By collaborating with us, you will constantly face the challenges of high technology, enhance your skills and build a professional path of excellence. ***Seniority: ** Junior **Primary Location: ** IT - Ronchi dei Legionari **Contract Type: ****Hybrid Working: ** In loco
