Phd Scholarship In Computer Science In Paris: Model Checking For Malware
Há 5 dias
First Stage Researcher (R1) (Up to the point of PhD)
Not funded by a EU programme
About The number of malwares that produced incidents in 2010 is more than 1.5 billion. A malware may bring serious damage, e.g., the worm MyDoom slowed down global internet access by ten percent in 2004. Authorities investigating the 2008 crash of Spanair flight 5022 discovered that a central computer system used to monitor technical problems in the aircraft was infected with malware. Thus, it is crucial to have efficient up-to-date virus detectors.
Existing antivirus systems use various detection techniques to identify viruses such as (1) code emulation where the virus is executed in a virtual environment to get detected; or (2) signature detection, where a signature is a pattern of program code that characterizes the virus. A file is declared as a virus if it contains a sequence of binary code instructions that matches one of the known signatures. Each virus variant has its corresponding signature. These techniques have some limitations. Indeed, emulation-based techniques can only check the program's behavior in a limited time interval and might miss the viral behavior if it occurs after this time interval. As for signature-based systems, it is very easy for virus developers to get around them by applying obfuscation techniques to change the structure of the code while keeping the same functionality.
To sidestep these limitations, virus detectors need to use analysis techniques that check the behavior (not the syntax) of the program in a static way, i.e., without executing it. Towards this aim, we propose to use model-checking for virus detection.
Model-checking is a mathematical formalism that can check whether a system satisfies a given property. It consists of representing the system using a mathematical model M, the property using a formula F in a given logic, and then checking whether the model M satisfies the formula F. Model-checking has already been applied for malware detection, but the existing works have some limitations.
Indeed, the specification languages they use have only been applied to specify and detect a particular set of malicious behaviors. They cannot be used to detect all virus behaviors. Thus, one of the main challenges in malware detection is to come up with specification formalisms and detection techniques that can specify and detect a larger set of viruses.
The purpose of this thesis is thus to:
Define expressive logics that can be used to compactly express malicious behaviors.
Define efficient model-checking algorithms for these logics.
Reduce the malware detection problem to the model-checking problem of these logics.
Implement these techniques in a tool for malware detection and apply this tool to detect several malwares.
The ultimate goal is to build a malware detector that is more precise than the existing commercial well-known anti-viruses.
What is funded:
A PhD in computer science.
Duration:
3 years.
Minimum Requirements:
A student with a master's diploma in computer science.
The responsibility for the funding offers published on this website, including the funding description, lies entirely with the publishing institutions. The application is handled uniquely by the employer, who is also fully responsible for the recruitment and selection processes.
#J-18808-Ljbffr
-
Porto, Porto, Portugal Euraxess.Ec.Europa - Jobboard Tempo inteiroWe are seeking a talented PhD student to join our research team at Euraxess.Ec.Europa - Jobboard in Paris, France. This exciting opportunity is part of an ongoing project that aims to develop efficient model-checking algorithms for malware detection.The ideal candidate will have a strong background in computer science and a master's diploma from a reputable...
-
Porto, Portugal Université Paris Diderot Tempo inteiroOrganisation/Company: Université Paris DiderotDepartment: Computer ScienceResearch Field: Computer Science » InformaticsResearcher Profile: First Stage Researcher (R1)Country: FranceApplication Deadline: 31 Dec 2025 - 00:00 (Europe/Paris)Type of Contract: TemporaryJob Status: Full-timeIs the job funded through the EU Research Framework Programme? Not...
-
Porto, Portugal Fondation Sciences Mathématiques De Paris Tempo inteiroOrganisation/Company: Fondation Sciences Mathématiques de ParisResearch Field: MathematicsResearcher Profile: Recognised Researcher (R2)Positions: Postdoc PositionsCountry: FranceApplication Deadline: 29 Nov 2024 - 23:59 (Europe/Paris)Type of Contract: TemporaryJob Status: Full-timeIs the job funded through the EU Research Framework Programme? Not funded by...
-
Porto, Porto, Portugal Université Paris Diderot Tempo inteiroUniversité Paris Diderot is a renowned institution dedicated to advancing knowledge and innovation. Our research focuses on developing cutting-edge technologies that benefit society.About the JobWe are seeking a highly motivated Postdoctoral Researcher to join our team in the "Institut de Recherche en Informatique Fondamentale" (IRIF) in Paris, France.Job...
-
Porto, Porto, Portugal University Of Trás-Os-Montes And Alto Douro Tempo inteiroCompany Overview: The University of Trás-os-Montes and Alto Douro is a reputable institution in Portugal, committed to providing high-quality education and research opportunities.Estimated Salary: €601.12 per month (gross), based on the FCT scholarship values awarded directly by the Portuguese Foundation for Science and Technology.Job...
-
Porto, Portugal Aix-Marseille Université Tempo inteiroOrganisation/Company: Aix-Marseille UniversitéResearch Field: Computer science » OtherResearcher Profile: First Stage Researcher (R1)Country: FranceApplication Deadline: 15 Jan 2025 - 22:59 (UTC)Type of Contract: TemporaryJob Status: Full-timeHours Per Week: 38Is the job funded through the EU Research Framework Programme? Not funded by a EU programmeIs the...
-
Porto, Portugal Télécom Paris Tempo inteiroOrganisation/Company: Télécom ParisDepartment: EssonneResearch Field: Communication sciences » On-line information servicesPositions: Postdoc PositionsCountry: FranceApplication Deadline: 30 Nov 2024 - 11:00 (Europe/Berlin)Type of Contract: TemporaryJob Status: Full-timeIs the job funded through the EU Research Framework Programme? Not funded by a EU...
-
Porto, Porto, Portugal University Of Trás-Os-Montes And Alto Douro Tempo inteiro**Job Opportunity at the University of Trás-os-Montes and Alto Douro**We are seeking two highly motivated students to join our Research Support Office as Research Grant holders. This is an excellent opportunity for students to develop their skills in Computer Sciences, under the supervision of Professor Tiago Manuel Campelos Ferreira Pinto.**About the...
-
Porto, Porto, Portugal Fondation Sciences Mathématiques De Paris Tempo inteiroAt the Fondation Sciences Mathématiques de Paris, we are committed to fostering excellence in mathematical research. As a postdoctoral researcher in mathematics or theoretical computer science, you will have the opportunity to contribute to the scientific activities of our affiliated laboratories.To be eligible for this program, applicants must hold a...
-
Porto, Porto, Portugal Feup Tempo inteiroAbout the OpportunityWe are seeking highly motivated and talented candidates to fill 7 PhD scholarships in the field of Chemical Engineering. This exciting opportunity is designed to support outstanding individuals who aim to make a significant impact in the industry.Job DescriptionThe successful candidates will be part of a dynamic team at FEUP, working...
-
Senior Lecturer in Computer Science
Há 4 dias
Porto, Porto, Portugal Universite De Nimes Tempo inteiroUniversite De Nimes is seeking a talented Senior Lecturer in Computer Science to join its esteemed faculty. With an estimated salary of 65,000 euros per annum, this role offers a unique opportunity for academic growth and professional development.About the Role:The successful candidate will be responsible for teaching undergraduate and postgraduate courses...
-
Phd#5 At Mines Paris In Data Science
Há 5 dias
Porto, Portugal Mines Paris - Psl, Centre Persee Tempo inteiroOrganisation/Company: Mines Paris - PSL, Centre PERSEEResearch Field: Engineering Technology » Energy technologyResearcher Profile: Recognised Researcher (R2), Leading Researcher (R4), First Stage Researcher (R1), Established Researcher (R3)Country: FranceApplication Deadline: 26 Dec 2024 - 22:00 (UTC)Type of Contract: TemporaryJob Status: Full-timeIs the...
-
Porto, Porto, Portugal The American University Of Paris Tempo inteiroAbout The American University of Paris">The American University of Paris is a highly international institution that offers a liberal arts education. Our faculty are committed to excellence in teaching, research, and service.">Job Summary">We invite applications for a full-time position as an Assistant Professor of Political Science/International Relations at...
-
Researcher In Data Science/Ia/Big Data
Há 5 dias
Porto, Portugal Universite De Montpellier Tempo inteiroOrganisation/Company: Universite de MontpellierDepartment: Human ResourcesResearch Field: Computer science » Programming, Computer science » Informatics, Computer science » OtherResearcher Profile: Recognised Researcher (R2)Positions: PhD PositionsCountry: FranceApplication Deadline: 5 Dec 2024 - 23:59 (Europe/Paris)Type of Contract: TemporaryJob Status:...
-
Porto, Portugal Télécom Paris Tempo inteiroOrganisation/Company: Télécom ParisResearch Field: All Other Technology » Sound technology, Technology » Information technologyResearcher Profile: Recognised Researcher (R2) Positions, PhD PositionsCountry: FranceApplication Deadline: 15 Jan 2025 - 00:00 (Europe/Berlin)Type of Contract: PermanentJob Status: Full-timeIs the job funded through the EU...
-
Porto, Porto, Portugal Universite De Technologie De Compiegne Tempo inteiroCompany OverviewThe Université de Technologie de Compiègne (UTC) is a renowned engineering school and member of the Sorbonne University Alliance. Our Computer Science Department offers course units for entry-level students and professional vocational training in engineering, as well as research degrees at the master's and PhD levels.
-
Porto, Porto, Portugal Faculty Of Sciences Of The University Of Porto Tempo inteiroThe Faculty of Sciences of the University of Porto is seeking a highly motivated Research Assistant to join our team in the Department of Computer Science. The successful candidate will be involved in cutting-edge research in the context of the use of non-human DNA in forensic recognition and interpretation.Main Research Field: Computer Science or related...
-
Phd#2 At Mines Paris In Data Science
Há 5 dias
Porto, Portugal Mines Paris - Psl, Centre Persee Tempo inteiroOrganisation/Company: Mines Paris - PSL, Centre PERSEEResearch Field: Engineering Technology » Energy technologyResearcher Profile: Recognised Researcher (R2), Leading Researcher (R4), First Stage Researcher (R1), Established Researcher (R3)Country: FranceApplication Deadline: 26 Dec 2024 - 22:00 (UTC)Type of Contract: TemporaryJob Status: Full-timeIs the...
-
Porto, Portugal Télécom Paris Tempo inteiroOrganisation/Company Télécom ParisResearch Field: Computer science » OtherResearcher Profile: Established Researcher (R3)Positions: PhD PositionsCountry: FranceApplication Deadline: 31 Mar 2025 - 00:00 (Europe/Paris)Type of Contract: PermanentJob Status: Full-timeOffer Starting Date: 1 Jun 2025Is the job funded through the EU Research Framework...
-
Porto, Porto, Portugal Mines Paris - Psl, Centre Persee Tempo inteiro**Job Overview**Mines Paris - PSL, Centre PERSEE is seeking a highly motivated PhD Researcher to join our team. As a PhD Researcher, you will play a crucial role in developing distributed optimization methods for grids with a large number of connected devices.**Salary and Benefits**We offer a competitive salary range of €45,000 - €55,000 per annum,...
