Functional Equivalence Proofs for Secure Binary Programs in Cyber-Security
2 semanas atrás
Company Overview
The Université Grenoble Alpes is a leading research institution dedicated to advancing knowledge and innovation in various fields, including cyber-security.
Job Description
We are seeking a highly skilled researcher to work on a Ph.D. thesis project focused on formalizing the functional equivalence of secured binary programs in cyber-security.
Required Skills and Qualifications
To be successful in this role, you will need:
- A strong background in computer science, mathematics, or a related field
- Excellent programming skills, particularly in languages such as C, C++, or Assembly
- Familiarity with formal methods, symbolic execution, and program analysis
- Strong problem-solving skills and ability to work independently
- Excellent communication and collaboration skills
Benefits
This position offers:
- A fully funded Ph.D. thesis project
- The opportunity to work with a multidisciplinary team of experts in cyber-security, embedded software, hardware design, and machine learning
- Access to state-of-the-art research facilities and resources
- Professional development opportunities
Estimated Salary
$60,000 - $80,000 per year, depending on qualifications and experience
Location
The position is based at the Université Grenoble Alpes, France
About BINSEC and COGITO
BINSEC is an open-source platform for automatic reasoning on safety and security properties at the binary level. COGITO is a compiler toolchain based on LLVM for automated application of software counter-measures against physical attacks.
Your Responsibilities
You will develop a sound and exhaustive symbolic reasoning supported by and integrated in the BINSEC platform. You will formally demonstrate that an optimized and hardened binary program is functionally equivalent to the original, non-hardened one.
What We Offer
The Université Grenoble Alpes offers a dynamic and stimulating research environment, with access to world-class facilities and expertise. As a researcher in this role, you will have the opportunity to contribute to cutting-edge research in cyber-security and make a significant impact in the field.
-
Cyber Security Specialist for Secure Software Development
2 semanas atrás
Porto, Porto, Portugal Phiture Tempo inteiroAbout the RoleWe are seeking an experienced Cyber Security Specialist to join our team at Körber Supply Chain, a leading technology group in the industry. In this role, you will play a crucial part in shaping our cyber security strategy and ensuring the development of secure software solutions.
-
Porto, Porto, Portugal Cyber Crime Tempo inteiroAbout the RoleWe are seeking a highly skilled Senior Network Security Architect to join our team at Cyber Crime. As a key member of our security infrastructure team, you will play a vital role in designing and implementing robust security solutions to protect our network from cyber threats.Job DescriptionThe successful candidate will have more than 3 years...
-
Cyber Security Program Analyst
Há 1 mês
Porto, Porto, Portugal Alter Solutions Tempo inteiroCyber Security Program AnalystWithin the IT Group Cybersecurity & Digital Fraud department, you will be part of the Group Cyber Program team partially located in Portugal.You will play a key role in developing the Portugal platform, ensuring core Cyber Security activities are performed by all entities of the Group in compliance with the Group Cyber security...
-
Cyber Security Program Analyst
2 meses atrás
Porto, Porto, Portugal ALTER SOLUTIONS Tempo inteiroAbout the RoleAlter Solutions Portugal is seeking a skilled Cyber Security Program Analyst to join our IT Consultancy Company. As a key member of our Cybersecurity & Digital Fraud department, you will be part of the Group Cyber Program team, working on developing the Portugal platform and ensuring core Cyber Security activities are performed by all entities...
-
Cyber Security Expert for Secure Software Development
4 semanas atrás
Porto, Porto, Portugal Phiture Tempo inteiroWe're Körber – a global technology group with 12,000+ employees across 100+ locations. Our goal is to turn entrepreneurial thinking into customer success and drive technological change. We operate in four Business Areas: Digital, Pharma, Supply Chain, and Technologies.Our team is looking for a Cyber Security Engineer to define and implement a...
-
Cyber Security Specialist
2 semanas atrás
Porto, Porto, Portugal Dpt Diconium Portugal, Unipessoal Lda Tempo inteiroCompany OverviewDpt Diconium Portugal, Unipessoal Lda is a leading company in the software, data, and AI industry, enabling businesses to achieve more with less.SalaryThe estimated annual salary for this position is approximately €80,000 - €110,000 based on experience and location in the Porto area.Job DescriptionWe are seeking an experienced Cyber...
-
Cyber Security Engineer
Há 1 mês
Porto, Porto, Portugal Vestas Tempo inteiroAbout the Role:Vestas is seeking a skilled Cyber Security Engineer to join our team in Platform Cyber Security & Research & Development (R&D) Department. As a Cyber Security Engineer, you will play a critical role in designing and delivering modern, secure, and maintainable OT solutions. Responsibilities:• Implement and manage security measures to protect...
-
Cyber Security Analyst
Há 1 mês
Porto, Porto, Portugal Phiture Tempo inteiroCyber Security Expert RoleAt Phiture, we are seeking a skilled Cyber Security Expert to join our team. As a Cyber Security Expert, you will play a key role in driving the development of business impact assessments, facilitating stakeholder engagement, and championing cyber security awareness and education initiatives across the organization.Key...
-
Cyber Security Specialist
3 semanas atrás
Porto, Porto, Portugal Phiture Tempo inteiroRole SummaryWe are seeking a highly skilled Cyber Security Specialist to join our team in Porto, Portugal. As a key member of our security team, you will drive the development of business impact assessments, facilitate stakeholder engagement, and champion cyber security awareness and education initiatives across the organization.Job ResponsibilitiesDevelop...
-
Cyber Security Expert in Software Development
3 semanas atrás
Porto, Porto, Portugal Phiture Tempo inteiroAbout Our TeamWe are Körber, an international technology group with over 12,000 employees worldwide. Our goal is to turn entrepreneurial thinking into customer success and shape technological change.Job OverviewYour role will involve defining a cyber security strategy in software development, setting up processes to build in security during product...
-
Cyber Security Solutions Architect
Há 3 dias
Porto, Porto, Portugal Vestas Tempo inteiroVestas Power Solutions is seeking a skilled Cyber Security Engineer to join our Research & Development (R&D) Department. As a key member of our team, you will play a vital role in designing and delivering modern, secure, and maintainable OT solutions.
-
Security Expert for Secure Software Development
3 semanas atrás
Porto, Porto, Portugal TUI Tempo inteiroAbout the Role:As a Security Engineer at TUI, you will be part of a cross-functional team that enables secure coding, design, and automation skills in various domains. With your strong DevSecOps mindset and excellent collaboration skills, you will support your team in delivering top-notch digital products and services while taking full responsibility for...
-
Cyber Security Architect
3 semanas atrás
Porto, Porto, Portugal Phiture Tempo inteiroWe are a technology-driven company that prioritizes innovation and customer satisfaction. At the core of our business, we strive to develop cutting-edge solutions that transform industries.As a Cyber Security Architect, you will play a pivotal role in shaping our software development approach by defining a comprehensive security strategy. Your key...
-
Cyber Security Solutions Architect
2 semanas atrás
Porto, Porto, Portugal Vestas Tempo inteiroAre you a cybersecurity expert with a passion for designing and delivering modern, secure, and maintainable OT solutions? If yes, Vestas Technology & Operations > Platform Cyber Security > Research & Development (R&D) Department invites you to join their team as a Cyber Security Engineer.Cyber Security is part of Vestas Power Solutions, focusing on creating...
-
Cyber Security Solutions Developer
3 semanas atrás
Porto, Porto, Portugal Vestas Tempo inteiroAbout VestasVestas is a leading manufacturer of wind turbines and provider of wind energy solutions.We are looking for a talented Cyber Security Solutions Developer to join our team in Platform Cyber Security > Research & Development (R&D) Department.Job DescriptionAs a Cyber Security Solutions Developer, you will be responsible for designing and delivering...
-
Cyber Security Specialist
2 meses atrás
Porto, Porto, Portugal SBM Offshore Tempo inteiroJob SummaryWe are seeking a highly skilled Cyber Security Specialist to join our team at SBM Offshore. The successful candidate will be responsible for supporting, governing, and contributing to a fully integrated and aligned IT Strategy across the organization.Key ResponsibilitiesExplore areas of improvement within SBM Offshore's IT Security landscape and...
-
Cyber Security Strategist | Euronext
Há 3 dias
Porto, Porto, Portugal Michael Page Tempo inteiroLeading pan-European market infrastructure with a strong focus on shaping capital markets for future generations. Its mission is to connect European economies to global capital markets, accelerating innovation and sustainable growth.About the CompanyEuronext is a leading pan-European market infrastructure, operating in 18 countries across Europe, US and...
-
Cyber Security Specialist
Há 1 mês
Porto, Porto, Portugal Kuehne+Nagel Tempo inteiroIT Security Expert WantedKuehne+Nagel is seeking a talented IT Security Expert to join our team in Porto, Portugal. We are searching for a highly skilled professional with a passion for IT Security to join our dedicated Incident Response Team.As an IT Security Expert, you will play a key role in delivering reliable and innovative logistics solutions by...
-
Cyber Security Risk Management Expert
4 semanas atrás
Porto, Porto, Portugal Infineon Technologies Tempo inteiroAbout the RoleAs a Cyber Security Risk Management Expert at Infineon Technologies, you will play a key role in shaping the future of cyber security by developing and refining quantitative risk assessment methodologies.You will collaborate with cross-functional teams to analyze data and integrate it into other systems, driving business value while staying...
-
Cyber Security Systems Engineer
3 semanas atrás
Porto, Porto, Portugal Maersk Tempo inteiroMaersk A.P. Moller - Maersk is a multinational integrated logistics company. We connect and simplify global trade for a growing world by leveraging technology and innovation. As we embark on an industry-defining transformation, our software and technology are centre stage in creating value for our business and customers.About the RoleThe Cyber Automation and...