{"id":2898,"date":"2023-11-13T14:25:19","date_gmt":"2023-11-13T13:25:19","guid":{"rendered":"https:\/\/www.systerel.fr\/en\/?p=2898"},"modified":"2023-11-13T14:25:55","modified_gmt":"2023-11-13T13:25:55","slug":"formal-methods-and-cybersecurity-meeting-at-polytech-marseille","status":"publish","type":"post","link":"https:\/\/www.systerel.fr\/en\/news\/formal-methods-and-cybersecurity-meeting-at-polytech-marseille\/","title":{"rendered":"Formal methods and cybersecurity: meeting at Polytech Marseille"},"content":{"rendered":"\n<div class=\"wp-block-media-text is-stacked-on-mobile is-vertically-aligned-top\"><figure class=\"wp-block-media-text__media\"><img loading=\"lazy\" decoding=\"async\" width=\"590\" height=\"393\" src=\"https:\/\/www.systerel.fr\/en\/wp-content\/uploads\/sites\/3\/2023\/11\/logo-polytech-marseille-590.jpg\" alt=\"\" class=\"wp-image-2896 size-full\" srcset=\"https:\/\/www.systerel.fr\/en\/wp-content\/uploads\/sites\/3\/2023\/11\/logo-polytech-marseille-590.jpg 590w, https:\/\/www.systerel.fr\/en\/wp-content\/uploads\/sites\/3\/2023\/11\/logo-polytech-marseille-590-300x200.jpg 300w\" sizes=\"auto, (max-width: 590px) 100vw, 590px\" \/><\/figure><div class=\"wp-block-media-text__content\">\n<p><span class=\"HwtZe\" lang=\"en\"><span class=\"jCAhz ChMk0b\"><span class=\"ryNqvb\">Last week, our technical director spoke to engineering students from <a href=\"https:\/\/polytech.univ-amu.fr\/en\/home\">Polytech Marseille<\/a>.<\/span><\/span> <span class=\"jCAhz ChMk0b\"><span class=\"ryNqvb\">The students were able to learn more about the application of <a href=\"https:\/\/www.systerel.fr\/en\/expertise\/formal-methods\/\">formal methods<\/a> in the context of <a href=\"https:\/\/www.systerel.fr\/solutions\/developpement-de-logiciels-critiques\/\">software development<\/a> under cybersecurity constraints.<\/span><\/span><\/span><\/p>\n\n\n\n<p><span class=\"HwtZe\" lang=\"en\"><span class=\"jCAhz ChMk0b\"><span class=\"ryNqvb\">A great opportunity for these future engineers to interact with us and discover the richness of our professions! Are you an engineering student looking for your end-of-study internship in Aix-en-Provence, Paris or Toulouse?<\/span><\/span> <\/span><\/p>\n\n\n\n<p><span class=\"HwtZe\" lang=\"en\"><span class=\"jCAhz ChMk0b\"><span class=\"ryNqvb\">We are recruiting our engineers of tomorrow. <\/span><\/span><\/span><\/p>\n\n\n\n<p><span class=\"HwtZe\" lang=\"en\"><span class=\"jCAhz ChMk0b\"><span class=\"ryNqvb\">Check out our offers and apply quickly: <a href=\"https:\/\/www.systerel.fr\/actualites\/type-offres\/offres-de-stage\/\">https:\/\/www.systerel.fr\/actualites\/type-offres\/offres-de-stage\/<\/a><\/span><\/span><\/span><\/p>\n\n\n\n<p><span class=\"HwtZe\" lang=\"en\"><span class=\"jCAhz ChMk0b\"><span class=\"ryNqvb\">Thanks to Benoit Favre and the entire Polytech Marseille team for their welcome<\/span><\/span><\/span> !<div class=\"OvtS8d\"><\/div><div id=\"ow335\" __is_owner=\"true\"><\/div><div class=\"kO6q6e\"><\/div><div data-show-delay-ms=\"250\" data-append-to-body=\"false\" data-propagate-tooltip-mouseover-events=\"true\" data-anchor-corner=\"bottom-end\" data-enable-skip-handler=\"false\" data-popup-corner=\"top-end\"><\/div><div class=\"F0pQVc\"><\/div>\u200b<a class=\"dWI6ed\" href=\"https:\/\/translate.google.com\/details\"><\/a><\/p>\n<\/div><\/div>\n","protected":false},"excerpt":{"rendered":"<p>Last week, our technical director spoke to engineering students from Polytech Marseille. The students were able to learn more about the application of formal methods in the context of software development under cybersecurity constraints.<\/p>\n","protected":false},"author":22,"featured_media":2896,"comment_status":"closed","ping_status":"closed","sticky":true,"template":"","format":"standard","meta":{"footnotes":""},"categories":[15,14],"tags":[],"class_list":["post-2898","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-careers","category-formal-methods"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.4 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>Formal methods and cybersecurity: meeting at Polytech Marseille - Systerel English<\/title>\n<meta name=\"description\" content=\"Our technical director spoke to engineering students from Polytech Marseille. The students were able to learn more about the application of formal methods.\" \/>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/www.systerel.fr\/en\/news\/formal-methods-and-cybersecurity-meeting-at-polytech-marseille\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Formal methods and cybersecurity: meeting at Polytech Marseille - Systerel English\" \/>\n<meta property=\"og:description\" content=\"Our technical director spoke to engineering students from Polytech Marseille. The students were able to learn more about the application of formal methods.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.systerel.fr\/en\/news\/formal-methods-and-cybersecurity-meeting-at-polytech-marseille\/\" \/>\n<meta property=\"og:site_name\" content=\"Systerel English\" \/>\n<meta property=\"article:published_time\" content=\"2023-11-13T13:25:19+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2023-11-13T13:25:55+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.systerel.fr\/en\/wp-content\/uploads\/sites\/3\/2023\/11\/logo-polytech-marseille-590.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"590\" \/>\n\t<meta property=\"og:image:height\" content=\"393\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"author\" content=\"maurin\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"maurin\" \/>\n\t<meta name=\"twitter:label2\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data2\" content=\"1 minute\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/formal-methods-and-cybersecurity-meeting-at-polytech-marseille\\\/#article\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/formal-methods-and-cybersecurity-meeting-at-polytech-marseille\\\/\"},\"author\":{\"name\":\"maurin\",\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/#\\\/schema\\\/person\\\/de5a223a620590b6296181da6513f2b4\"},\"headline\":\"Formal methods and cybersecurity: meeting at Polytech Marseille\",\"datePublished\":\"2023-11-13T13:25:19+00:00\",\"dateModified\":\"2023-11-13T13:25:55+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/formal-methods-and-cybersecurity-meeting-at-polytech-marseille\\\/\"},\"wordCount\":109,\"image\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/formal-methods-and-cybersecurity-meeting-at-polytech-marseille\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/wp-content\\\/uploads\\\/sites\\\/3\\\/2023\\\/11\\\/logo-polytech-marseille-590.jpg\",\"articleSection\":[\"Careers\",\"Formal Methods\"],\"inLanguage\":\"en-US\"},{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/formal-methods-and-cybersecurity-meeting-at-polytech-marseille\\\/\",\"url\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/formal-methods-and-cybersecurity-meeting-at-polytech-marseille\\\/\",\"name\":\"Formal methods and cybersecurity: meeting at Polytech Marseille - Systerel English\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/formal-methods-and-cybersecurity-meeting-at-polytech-marseille\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/formal-methods-and-cybersecurity-meeting-at-polytech-marseille\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/wp-content\\\/uploads\\\/sites\\\/3\\\/2023\\\/11\\\/logo-polytech-marseille-590.jpg\",\"datePublished\":\"2023-11-13T13:25:19+00:00\",\"dateModified\":\"2023-11-13T13:25:55+00:00\",\"author\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/#\\\/schema\\\/person\\\/de5a223a620590b6296181da6513f2b4\"},\"description\":\"Our technical director spoke to engineering students from Polytech Marseille. The students were able to learn more about the application of formal methods.\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/formal-methods-and-cybersecurity-meeting-at-polytech-marseille\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/formal-methods-and-cybersecurity-meeting-at-polytech-marseille\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/formal-methods-and-cybersecurity-meeting-at-polytech-marseille\\\/#primaryimage\",\"url\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/wp-content\\\/uploads\\\/sites\\\/3\\\/2023\\\/11\\\/logo-polytech-marseille-590.jpg\",\"contentUrl\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/wp-content\\\/uploads\\\/sites\\\/3\\\/2023\\\/11\\\/logo-polytech-marseille-590.jpg\",\"width\":590,\"height\":393},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/formal-methods-and-cybersecurity-meeting-at-polytech-marseille\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Formal methods and cybersecurity: meeting at Polytech Marseille\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/#website\",\"url\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/\",\"name\":\"Systerel English\",\"description\":\"Safe real-time solutions\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Person\",\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/#\\\/schema\\\/person\\\/de5a223a620590b6296181da6513f2b4\",\"name\":\"maurin\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/d2d4e4c8b1a1ccabf26c68585d0238fcc9e5bbed3ec81e32a4628fc2063d901a?s=96&d=mm&r=g\",\"url\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/d2d4e4c8b1a1ccabf26c68585d0238fcc9e5bbed3ec81e32a4628fc2063d901a?s=96&d=mm&r=g\",\"contentUrl\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/d2d4e4c8b1a1ccabf26c68585d0238fcc9e5bbed3ec81e32a4628fc2063d901a?s=96&d=mm&r=g\",\"caption\":\"maurin\"},\"url\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/author\\\/maurin\\\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Formal methods and cybersecurity: meeting at Polytech Marseille - Systerel English","description":"Our technical director spoke to engineering students from Polytech Marseille. The students were able to learn more about the application of formal methods.","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/www.systerel.fr\/en\/news\/formal-methods-and-cybersecurity-meeting-at-polytech-marseille\/","og_locale":"en_US","og_type":"article","og_title":"Formal methods and cybersecurity: meeting at Polytech Marseille - Systerel English","og_description":"Our technical director spoke to engineering students from Polytech Marseille. The students were able to learn more about the application of formal methods.","og_url":"https:\/\/www.systerel.fr\/en\/news\/formal-methods-and-cybersecurity-meeting-at-polytech-marseille\/","og_site_name":"Systerel English","article_published_time":"2023-11-13T13:25:19+00:00","article_modified_time":"2023-11-13T13:25:55+00:00","og_image":[{"width":590,"height":393,"url":"https:\/\/www.systerel.fr\/en\/wp-content\/uploads\/sites\/3\/2023\/11\/logo-polytech-marseille-590.jpg","type":"image\/jpeg"}],"author":"maurin","twitter_misc":{"Written by":"maurin","Est. reading time":"1 minute"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/www.systerel.fr\/en\/news\/formal-methods-and-cybersecurity-meeting-at-polytech-marseille\/#article","isPartOf":{"@id":"https:\/\/www.systerel.fr\/en\/news\/formal-methods-and-cybersecurity-meeting-at-polytech-marseille\/"},"author":{"name":"maurin","@id":"https:\/\/www.systerel.fr\/en\/#\/schema\/person\/de5a223a620590b6296181da6513f2b4"},"headline":"Formal methods and cybersecurity: meeting at Polytech Marseille","datePublished":"2023-11-13T13:25:19+00:00","dateModified":"2023-11-13T13:25:55+00:00","mainEntityOfPage":{"@id":"https:\/\/www.systerel.fr\/en\/news\/formal-methods-and-cybersecurity-meeting-at-polytech-marseille\/"},"wordCount":109,"image":{"@id":"https:\/\/www.systerel.fr\/en\/news\/formal-methods-and-cybersecurity-meeting-at-polytech-marseille\/#primaryimage"},"thumbnailUrl":"https:\/\/www.systerel.fr\/en\/wp-content\/uploads\/sites\/3\/2023\/11\/logo-polytech-marseille-590.jpg","articleSection":["Careers","Formal Methods"],"inLanguage":"en-US"},{"@type":"WebPage","@id":"https:\/\/www.systerel.fr\/en\/news\/formal-methods-and-cybersecurity-meeting-at-polytech-marseille\/","url":"https:\/\/www.systerel.fr\/en\/news\/formal-methods-and-cybersecurity-meeting-at-polytech-marseille\/","name":"Formal methods and cybersecurity: meeting at Polytech Marseille - Systerel English","isPartOf":{"@id":"https:\/\/www.systerel.fr\/en\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.systerel.fr\/en\/news\/formal-methods-and-cybersecurity-meeting-at-polytech-marseille\/#primaryimage"},"image":{"@id":"https:\/\/www.systerel.fr\/en\/news\/formal-methods-and-cybersecurity-meeting-at-polytech-marseille\/#primaryimage"},"thumbnailUrl":"https:\/\/www.systerel.fr\/en\/wp-content\/uploads\/sites\/3\/2023\/11\/logo-polytech-marseille-590.jpg","datePublished":"2023-11-13T13:25:19+00:00","dateModified":"2023-11-13T13:25:55+00:00","author":{"@id":"https:\/\/www.systerel.fr\/en\/#\/schema\/person\/de5a223a620590b6296181da6513f2b4"},"description":"Our technical director spoke to engineering students from Polytech Marseille. The students were able to learn more about the application of formal methods.","breadcrumb":{"@id":"https:\/\/www.systerel.fr\/en\/news\/formal-methods-and-cybersecurity-meeting-at-polytech-marseille\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.systerel.fr\/en\/news\/formal-methods-and-cybersecurity-meeting-at-polytech-marseille\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.systerel.fr\/en\/news\/formal-methods-and-cybersecurity-meeting-at-polytech-marseille\/#primaryimage","url":"https:\/\/www.systerel.fr\/en\/wp-content\/uploads\/sites\/3\/2023\/11\/logo-polytech-marseille-590.jpg","contentUrl":"https:\/\/www.systerel.fr\/en\/wp-content\/uploads\/sites\/3\/2023\/11\/logo-polytech-marseille-590.jpg","width":590,"height":393},{"@type":"BreadcrumbList","@id":"https:\/\/www.systerel.fr\/en\/news\/formal-methods-and-cybersecurity-meeting-at-polytech-marseille\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.systerel.fr\/en\/"},{"@type":"ListItem","position":2,"name":"Formal methods and cybersecurity: meeting at Polytech Marseille"}]},{"@type":"WebSite","@id":"https:\/\/www.systerel.fr\/en\/#website","url":"https:\/\/www.systerel.fr\/en\/","name":"Systerel English","description":"Safe real-time solutions","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.systerel.fr\/en\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Person","@id":"https:\/\/www.systerel.fr\/en\/#\/schema\/person\/de5a223a620590b6296181da6513f2b4","name":"maurin","image":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/secure.gravatar.com\/avatar\/d2d4e4c8b1a1ccabf26c68585d0238fcc9e5bbed3ec81e32a4628fc2063d901a?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/d2d4e4c8b1a1ccabf26c68585d0238fcc9e5bbed3ec81e32a4628fc2063d901a?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/d2d4e4c8b1a1ccabf26c68585d0238fcc9e5bbed3ec81e32a4628fc2063d901a?s=96&d=mm&r=g","caption":"maurin"},"url":"https:\/\/www.systerel.fr\/en\/news\/author\/maurin\/"}]}},"_links":{"self":[{"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/posts\/2898","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/users\/22"}],"replies":[{"embeddable":true,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/comments?post=2898"}],"version-history":[{"count":2,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/posts\/2898\/revisions"}],"predecessor-version":[{"id":2900,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/posts\/2898\/revisions\/2900"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/media\/2896"}],"wp:attachment":[{"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/media?parent=2898"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/categories?post=2898"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/tags?post=2898"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}