{"id":16638,"date":"2023-03-18T11:02:34","date_gmt":"2023-03-18T10:02:34","guid":{"rendered":"https:\/\/stage.prover.com\/?p=16638"},"modified":"2025-05-27T07:39:41","modified_gmt":"2025-05-27T06:39:41","slug":"formal-methods-developer-rail-and-metro","status":"publish","type":"post","link":"https:\/\/www.prover.com\/job-openings\/formal-methods-developer-rail-and-metro\/","title":{"rendered":"Formal methods developer &#8211;  rail and metro"},"content":{"rendered":"<div class=\"fusion-fullwidth fullwidth-box fusion-builder-row-1 fusion-flex-container has-pattern-background has-mask-background nonhundred-percent-fullwidth non-hundred-percent-height-scrolling\" style=\"--awb-border-radius-top-left:0px;--awb-border-radius-top-right:0px;--awb-border-radius-bottom-right:0px;--awb-border-radius-bottom-left:0px;--awb-margin-top:0px;--awb-margin-bottom:0px;--awb-flex-wrap:wrap;\" ><div class=\"fusion-builder-row fusion-row fusion-flex-align-items-flex-start fusion-flex-content-wrap\" style=\"max-width:calc( 1280px + 80px );margin-left: calc(-80px \/ 2 );margin-right: calc(-80px \/ 2 );\"><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-0 fusion_builder_column_1_2 1_2 fusion-flex-column\" style=\"--awb-bg-size:cover;--awb-width-large:50%;--awb-margin-top-large:0px;--awb-spacing-right-large:calc( 0.1 * calc( 100% - 80px ) );--awb-margin-bottom-large:30px;--awb-spacing-left-large:0px;--awb-width-medium:50%;--awb-order-medium:0;--awb-spacing-right-medium:calc( 0.1 * calc( 100% - 80px ) );--awb-spacing-left-medium:0px;--awb-width-small:100%;--awb-order-small:0;--awb-margin-top-small:23px;--awb-spacing-right-small:40px;--awb-spacing-left-small:40px;\" data-scroll-devices=\"small-visibility,medium-visibility,large-visibility\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><ul style=\"--awb-size:17px;--awb-margin-top:20px;--awb-margin-right:0px;--awb-margin-bottom:20px;--awb-margin-left:0px;--awb-line-height:28.9px;--awb-icon-width:28.9px;--awb-icon-height:28.9px;--awb-icon-margin:11.9px;--awb-content-margin:40.8px;--awb-circlecolor:var(--awb-color3);--awb-circle-yes-font-size:14.96px;\" class=\"fusion-checklist fusion-checklist-1 fusion-checklist-default type-icons\"><li class=\"fusion-li-item\" style=\"\"><span class=\"icon-wrapper circle-yes\"><i class=\"fusion-li-icon fa-check fas\" aria-hidden=\"true\"><\/i><\/span><div class=\"fusion-li-item-content\">\n<p>You are talented, ambitious and enthusiastic. You want to contribute to a sustainable and safe world.<\/p>\n<\/div><\/li><li class=\"fusion-li-item\" style=\"\"><span class=\"icon-wrapper circle-yes\"><i class=\"fusion-li-icon fa-check fas\" aria-hidden=\"true\"><\/i><\/span><div class=\"fusion-li-item-content\">\n<p>You have a degree (at least three years of university studies) in computer science, automation or mathematics.<\/p>\n<\/div><\/li><li class=\"fusion-li-item\" style=\"\"><span class=\"icon-wrapper circle-yes\"><i class=\"fusion-li-icon fa-check fas\" aria-hidden=\"true\"><\/i><\/span><div class=\"fusion-li-item-content\">You are a good programmer in at least one programming language, and you are familiar with mathematical logic.<\/div><\/li><li class=\"fusion-li-item\" style=\"\"><span class=\"icon-wrapper circle-yes\"><i class=\"fusion-li-icon fa-check fas\" aria-hidden=\"true\"><\/i><\/span><div class=\"fusion-li-item-content\">\n<p>You need to be fluent in English, and located in Sweden or France.<\/p>\n<\/div><\/li><\/ul><div class=\"fusion-title title fusion-title-1 fusion-sep-none fusion-title-text fusion-title-size-two\" style=\"--awb-margin-top:30px;--awb-margin-top-small:30px;--awb-margin-right-small:0px;--awb-margin-bottom-small:10px;--awb-margin-left-small:0px;--awb-font-size:var(--awb-custom_typography_1-font-size);\"><h2 class=\"fusion-title-heading title-heading-left\" style=\"font-family:var(--awb-custom_typography_1-font-family);font-weight:var(--awb-custom_typography_1-font-weight);font-style:var(--awb-custom_typography_1-font-style);margin:0;letter-spacing:var(--awb-custom_typography_1-letter-spacing);text-transform:var(--awb-custom_typography_1-text-transform);font-size:1em;line-height:var(--awb-custom_typography_1-line-height);\">Job Description<\/h2><\/div><div class=\"fusion-text fusion-text-1\" style=\"--awb-margin-top:20px;\"><p><span style=\"background-color: var(--awb-bg-color); color: var(--awb-text-color); font-family: var(--awb-text-font-family); font-size: var(--awb-font-size); font-style: var(--awb-text-font-style); font-weight: var(--awb-text-font-weight); letter-spacing: var(--awb-letter-spacing); text-align: var(--awb-content-alignment); text-transform: var(--awb-text-transform);\">At Prover an experienced team with talents from around the world works together creating and delivering state-of-the-art solutions for train control systems. Your colleagues will be some of the best people in the world in formal methods. The Prover team is highly educated (~50% PhD\u2019s) with a desire to apply theoretical knowledge to real-life problems that matter. We are eager to constantly improve our methods. There are many opportunities to contribute with new innovative techniques and bright ideas.<\/span><\/p>\n<p>You will work in the Solutions team located in France and Sweden. Your main task will be to develop and maintain formal specifications for customers in rail or metro, and to perform formal verification work. We use Python for automation of various tasks and for conversion between data formats.<\/p>\n<p>Please note that this position is based in either Stockholm or Toulouse, and relocation is required.<\/p>\n<p><strong>Send your application with your resume and cover letter to <a href=\"mailto:jobs@prover.com\">jobs@prover.com<\/a>.<\/strong><\/p>\n<\/div><div class=\"fusion-title title fusion-title-2 fusion-sep-none fusion-title-text fusion-title-size-two\" style=\"--awb-margin-top:30px;--awb-margin-top-small:30px;--awb-margin-right-small:0px;--awb-margin-bottom-small:10px;--awb-margin-left-small:0px;--awb-font-size:var(--awb-custom_typography_1-font-size);\"><h2 class=\"fusion-title-heading title-heading-left\" style=\"font-family:var(--awb-custom_typography_1-font-family);font-weight:var(--awb-custom_typography_1-font-weight);font-style:var(--awb-custom_typography_1-font-style);margin:0;letter-spacing:var(--awb-custom_typography_1-letter-spacing);text-transform:var(--awb-custom_typography_1-text-transform);font-size:1em;line-height:var(--awb-custom_typography_1-line-height);\">About Prover<\/h2><\/div><div class=\"fusion-text fusion-text-2\" style=\"--awb-margin-top:20px;\"><p><em>Engineering a safer world<\/em><\/p>\n<p>Trains are faster, more economical, safer and greener than cars and trucks. At Prover Technology, we are committed to doing our part for a better world. We supply solutions for engineering the safety-critical systems that control train signals and switches.<\/p>\n<p>Prover has subsidiaries in the US, France and China. It is privately owned by investors and staff, and has customers in Europe, North America and Asia.<\/p>\n<p>At Prover you will find a highly intelligent team, a respectful atmosphere and cultural diversity.<\/p>\n<\/div><div class=\"fusion-separator fusion-full-width-sep\" style=\"align-self: center;margin-left: auto;margin-right: auto;margin-top:20px;margin-bottom:20px;width:100%;\"><div class=\"fusion-separator-border sep-single\" style=\"--awb-height:20px;--awb-amount:20px;border-color:var(--awb-custom_color_2);border-top-width:0px;\"><\/div><\/div><div class=\"fusion-title title fusion-title-3 fusion-sep-none fusion-title-text fusion-title-size-six\" style=\"--awb-margin-top:0px;--awb-margin-bottom:10px;--awb-margin-top-small:10px;--awb-margin-right-small:0px;--awb-margin-bottom-small:10px;--awb-margin-left-small:0px;\"><h6 class=\"fusion-title-heading title-heading-left\" style=\"margin:0;text-transform:uppercase;\">Contact<\/h6><\/div><div class=\"fusion-separator fusion-full-width-sep\" style=\"align-self: center;margin-left: auto;margin-right: auto;margin-bottom:40px;width:100%;\"><div class=\"fusion-separator-border sep-single\" style=\"--awb-height:20px;--awb-amount:20px;border-color:var(--awb-custom_color_2);border-top-width:1px;\"><\/div><\/div><div class=\"fusion-builder-row fusion-builder-row-inner fusion-row fusion-flex-align-items-flex-start fusion-flex-content-wrap\" style=\"--awb-flex-grow:0;--awb-flex-grow-medium:0;--awb-flex-grow-small:0;--awb-flex-shrink:0;--awb-flex-shrink-medium:0;--awb-flex-shrink-small:0;width:calc( 100% + 80px ) !important;max-width:calc( 100% + 80px ) !important;margin-left: calc(-80px \/ 2 );margin-right: calc(-80px \/ 2 );\"><div class=\"fusion-layout-column fusion_builder_column_inner fusion-builder-nested-column-0 fusion_builder_column_inner_1_3 1_3 fusion-flex-column\" style=\"--awb-bg-size:cover;--awb-width-large:33.333333333333%;--awb-margin-top-large:0px;--awb-spacing-right-large:calc( 0.06 * calc( 100% - 80px ) );--awb-margin-bottom-large:20px;--awb-spacing-left-large:40px;--awb-width-medium:33.333333333333%;--awb-order-medium:0;--awb-spacing-right-medium:calc( 0.06 * calc( 100% - 80px ) );--awb-spacing-left-medium:40px;--awb-width-small:100%;--awb-order-small:0;--awb-spacing-right-small:40px;--awb-spacing-left-small:40px;\" data-scroll-devices=\"small-visibility,medium-visibility,large-visibility\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><div class=\"fusion-image-element \" style=\"--awb-max-width:200px;--awb-caption-title-font-family:var(--h2_typography-font-family);--awb-caption-title-font-weight:var(--h2_typography-font-weight);--awb-caption-title-font-style:var(--h2_typography-font-style);--awb-caption-title-size:var(--h2_typography-font-size);--awb-caption-title-transform:var(--h2_typography-text-transform);--awb-caption-title-line-height:var(--h2_typography-line-height);--awb-caption-title-letter-spacing:var(--h2_typography-letter-spacing);\"><span class=\" fusion-imageframe imageframe-none imageframe-1 hover-type-none img-rounded-corners\"><img decoding=\"async\" width=\"254\" height=\"254\" alt=\"Benjamin Blanc Prover\" title=\"Benjamin Blanc Prover\" src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/02\/Benjamin.png\" data-orig-src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/02\/Benjamin.png\" class=\"lazyload img-responsive wp-image-14419\" srcset=\"data:image\/svg+xml,%3Csvg%20xmlns%3D%27http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%27%20width%3D%27254%27%20height%3D%27254%27%20viewBox%3D%270%200%20254%20254%27%3E%3Crect%20width%3D%27254%27%20height%3D%27254%27%20fill-opacity%3D%220%22%2F%3E%3C%2Fsvg%3E\" data-srcset=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/02\/Benjamin-200x200.png 200w, https:\/\/www.prover.com\/wp-content\/uploads\/2023\/02\/Benjamin.png 254w\" data-sizes=\"auto\" data-orig-sizes=\"(max-width: 840px) 100vw, 254px\" \/><\/span><\/div><\/div><\/div><div class=\"fusion-layout-column fusion_builder_column_inner fusion-builder-nested-column-1 fusion_builder_column_inner_2_3 2_3 fusion-flex-column\" style=\"--awb-bg-size:cover;--awb-width-large:66.666666666667%;--awb-margin-top-large:15px;--awb-spacing-right-large:40px;--awb-margin-bottom-large:20px;--awb-spacing-left-large:40px;--awb-width-medium:66.666666666667%;--awb-order-medium:0;--awb-spacing-right-medium:40px;--awb-spacing-left-medium:40px;--awb-width-small:100%;--awb-order-small:0;--awb-spacing-right-small:40px;--awb-spacing-left-small:40px;\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><div class=\"fusion-text fusion-text-3\"><p><strong>Benjamin Blanc<\/strong><br \/>\n<strong>Solutions Manager, Prover<\/strong><\/p>\n<\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div>\n","protected":false},"excerpt":{"rendered":"<p>Join Prover&#8217;s experienced team in France and Sweden, creating state-of-the-art solutions for train control systems. Develop and maintain formal specifications, perform formal verification work using Python.<\/p>\n","protected":false},"author":24,"featured_media":14041,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"content-type":"","inline_featured_image":false,"footnotes":""},"categories":[168],"tags":[],"class_list":["post-16638","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-job-openings"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.2 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>Formal methods developer - rail and metro - Prover - Engineering a Safer World<\/title>\n<meta name=\"description\" content=\"Join Prover&#039;s experienced team in France and Sweden, creating state-of-the-art solutions for train control systems.\" \/>\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.prover.com\/job-openings\/formal-methods-developer-rail-and-metro\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Formal methods developer - rail and metro - Prover - Engineering a Safer World\" \/>\n<meta property=\"og:description\" content=\"Join Prover&#039;s experienced team in France and Sweden, creating state-of-the-art solutions for train control systems.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.prover.com\/job-openings\/formal-methods-developer-rail-and-metro\/\" \/>\n<meta property=\"og:site_name\" content=\"Prover - Engineering a Safer World\" \/>\n<meta property=\"article:published_time\" content=\"2023-03-18T10:02:34+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2025-05-27T06:39:41+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Formal-Development1a-jpg.webp\" \/>\n\t<meta property=\"og:image:width\" content=\"800\" \/>\n\t<meta property=\"og:image:height\" content=\"450\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"author\" content=\"Benjamin Blanc\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"Benjamin Blanc\" \/>\n\t<meta name=\"twitter:label2\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data2\" content=\"2 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\/\/www.prover.com\/job-openings\/formal-methods-developer-rail-and-metro\/#article\",\"isPartOf\":{\"@id\":\"https:\/\/www.prover.com\/job-openings\/formal-methods-developer-rail-and-metro\/\"},\"author\":{\"name\":\"Benjamin Blanc\",\"@id\":\"https:\/\/prover.com\/#\/schema\/person\/906432c447a6960d1986be18f2aee0b7\"},\"headline\":\"Formal methods developer &#8211; rail and metro\",\"datePublished\":\"2023-03-18T10:02:34+00:00\",\"dateModified\":\"2025-05-27T06:39:41+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\/\/www.prover.com\/job-openings\/formal-methods-developer-rail-and-metro\/\"},\"wordCount\":2066,\"publisher\":{\"@id\":\"https:\/\/prover.com\/#organization\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/job-openings\/formal-methods-developer-rail-and-metro\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Formal-Development1a-jpg.webp\",\"articleSection\":[\"Job openings\"],\"inLanguage\":\"en-US\"},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.prover.com\/job-openings\/formal-methods-developer-rail-and-metro\/\",\"url\":\"https:\/\/www.prover.com\/job-openings\/formal-methods-developer-rail-and-metro\/\",\"name\":\"Formal methods developer - rail and metro - Prover - Engineering a Safer World\",\"isPartOf\":{\"@id\":\"https:\/\/prover.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.prover.com\/job-openings\/formal-methods-developer-rail-and-metro\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/job-openings\/formal-methods-developer-rail-and-metro\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Formal-Development1a-jpg.webp\",\"datePublished\":\"2023-03-18T10:02:34+00:00\",\"dateModified\":\"2025-05-27T06:39:41+00:00\",\"description\":\"Join Prover's experienced team in France and Sweden, creating state-of-the-art solutions for train control systems.\",\"breadcrumb\":{\"@id\":\"https:\/\/www.prover.com\/job-openings\/formal-methods-developer-rail-and-metro\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.prover.com\/job-openings\/formal-methods-developer-rail-and-metro\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.prover.com\/job-openings\/formal-methods-developer-rail-and-metro\/#primaryimage\",\"url\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Formal-Development1a-jpg.webp\",\"contentUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Formal-Development1a-jpg.webp\",\"width\":800,\"height\":450},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.prover.com\/job-openings\/formal-methods-developer-rail-and-metro\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.prover.com\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Job openings\",\"item\":\"https:\/\/www.prover.com\/categories\/job-openings\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Formal methods developer &#8211; rail and metro\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/prover.com\/#website\",\"url\":\"https:\/\/prover.com\/\",\"name\":\"Prover - Engineering a Safer World\",\"description\":\"Interlocking Design Automation to meet demand for complex digital train control\",\"publisher\":{\"@id\":\"https:\/\/prover.com\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/prover.com\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Organization\",\"@id\":\"https:\/\/prover.com\/#organization\",\"name\":\"Prover - Engineering a Safer World\",\"url\":\"https:\/\/prover.com\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/prover.com\/#\/schema\/logo\/image\/\",\"url\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/01\/prover-logo.svg\",\"contentUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/01\/prover-logo.svg\",\"width\":222,\"height\":22,\"caption\":\"Prover - Engineering a Safer World\"},\"image\":{\"@id\":\"https:\/\/prover.com\/#\/schema\/logo\/image\/\"}},{\"@type\":\"Person\",\"@id\":\"https:\/\/prover.com\/#\/schema\/person\/906432c447a6960d1986be18f2aee0b7\",\"name\":\"Benjamin Blanc\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/secure.gravatar.com\/avatar\/3ffe1b618fcfd8a15cc7b645244be165271cfe93c9daf2a9c08583709684bb38?s=96&d=mm&r=g\",\"url\":\"https:\/\/secure.gravatar.com\/avatar\/3ffe1b618fcfd8a15cc7b645244be165271cfe93c9daf2a9c08583709684bb38?s=96&d=mm&r=g\",\"contentUrl\":\"https:\/\/secure.gravatar.com\/avatar\/3ffe1b618fcfd8a15cc7b645244be165271cfe93c9daf2a9c08583709684bb38?s=96&d=mm&r=g\",\"caption\":\"Benjamin Blanc\"},\"url\":\"https:\/\/www.prover.com\/author\/benjamin-blanc\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Formal methods developer - rail and metro - Prover - Engineering a Safer World","description":"Join Prover's experienced team in France and Sweden, creating state-of-the-art solutions for train control systems.","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.prover.com\/job-openings\/formal-methods-developer-rail-and-metro\/","og_locale":"en_US","og_type":"article","og_title":"Formal methods developer - rail and metro - Prover - Engineering a Safer World","og_description":"Join Prover's experienced team in France and Sweden, creating state-of-the-art solutions for train control systems.","og_url":"https:\/\/www.prover.com\/job-openings\/formal-methods-developer-rail-and-metro\/","og_site_name":"Prover - Engineering a Safer World","article_published_time":"2023-03-18T10:02:34+00:00","article_modified_time":"2025-05-27T06:39:41+00:00","og_image":[{"width":800,"height":450,"url":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Formal-Development1a-jpg.webp","type":"image\/jpeg"}],"author":"Benjamin Blanc","twitter_card":"summary_large_image","twitter_misc":{"Written by":"Benjamin Blanc","Est. reading time":"2 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/www.prover.com\/job-openings\/formal-methods-developer-rail-and-metro\/#article","isPartOf":{"@id":"https:\/\/www.prover.com\/job-openings\/formal-methods-developer-rail-and-metro\/"},"author":{"name":"Benjamin Blanc","@id":"https:\/\/prover.com\/#\/schema\/person\/906432c447a6960d1986be18f2aee0b7"},"headline":"Formal methods developer &#8211; rail and metro","datePublished":"2023-03-18T10:02:34+00:00","dateModified":"2025-05-27T06:39:41+00:00","mainEntityOfPage":{"@id":"https:\/\/www.prover.com\/job-openings\/formal-methods-developer-rail-and-metro\/"},"wordCount":2066,"publisher":{"@id":"https:\/\/prover.com\/#organization"},"image":{"@id":"https:\/\/www.prover.com\/job-openings\/formal-methods-developer-rail-and-metro\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Formal-Development1a-jpg.webp","articleSection":["Job openings"],"inLanguage":"en-US"},{"@type":"WebPage","@id":"https:\/\/www.prover.com\/job-openings\/formal-methods-developer-rail-and-metro\/","url":"https:\/\/www.prover.com\/job-openings\/formal-methods-developer-rail-and-metro\/","name":"Formal methods developer - rail and metro - Prover - Engineering a Safer World","isPartOf":{"@id":"https:\/\/prover.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.prover.com\/job-openings\/formal-methods-developer-rail-and-metro\/#primaryimage"},"image":{"@id":"https:\/\/www.prover.com\/job-openings\/formal-methods-developer-rail-and-metro\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Formal-Development1a-jpg.webp","datePublished":"2023-03-18T10:02:34+00:00","dateModified":"2025-05-27T06:39:41+00:00","description":"Join Prover's experienced team in France and Sweden, creating state-of-the-art solutions for train control systems.","breadcrumb":{"@id":"https:\/\/www.prover.com\/job-openings\/formal-methods-developer-rail-and-metro\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.prover.com\/job-openings\/formal-methods-developer-rail-and-metro\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.prover.com\/job-openings\/formal-methods-developer-rail-and-metro\/#primaryimage","url":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Formal-Development1a-jpg.webp","contentUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Formal-Development1a-jpg.webp","width":800,"height":450},{"@type":"BreadcrumbList","@id":"https:\/\/www.prover.com\/job-openings\/formal-methods-developer-rail-and-metro\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.prover.com\/"},{"@type":"ListItem","position":2,"name":"Job openings","item":"https:\/\/www.prover.com\/categories\/job-openings\/"},{"@type":"ListItem","position":3,"name":"Formal methods developer &#8211; rail and metro"}]},{"@type":"WebSite","@id":"https:\/\/prover.com\/#website","url":"https:\/\/prover.com\/","name":"Prover - Engineering a Safer World","description":"Interlocking Design Automation to meet demand for complex digital train control","publisher":{"@id":"https:\/\/prover.com\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/prover.com\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Organization","@id":"https:\/\/prover.com\/#organization","name":"Prover - Engineering a Safer World","url":"https:\/\/prover.com\/","logo":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/prover.com\/#\/schema\/logo\/image\/","url":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/01\/prover-logo.svg","contentUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/01\/prover-logo.svg","width":222,"height":22,"caption":"Prover - Engineering a Safer World"},"image":{"@id":"https:\/\/prover.com\/#\/schema\/logo\/image\/"}},{"@type":"Person","@id":"https:\/\/prover.com\/#\/schema\/person\/906432c447a6960d1986be18f2aee0b7","name":"Benjamin Blanc","image":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/secure.gravatar.com\/avatar\/3ffe1b618fcfd8a15cc7b645244be165271cfe93c9daf2a9c08583709684bb38?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/3ffe1b618fcfd8a15cc7b645244be165271cfe93c9daf2a9c08583709684bb38?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/3ffe1b618fcfd8a15cc7b645244be165271cfe93c9daf2a9c08583709684bb38?s=96&d=mm&r=g","caption":"Benjamin Blanc"},"url":"https:\/\/www.prover.com\/author\/benjamin-blanc\/"}]}},"_links":{"self":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/16638","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/users\/24"}],"replies":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/comments?post=16638"}],"version-history":[{"count":24,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/16638\/revisions"}],"predecessor-version":[{"id":21873,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/16638\/revisions\/21873"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media\/14041"}],"wp:attachment":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media?parent=16638"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/categories?post=16638"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/tags?post=16638"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}