Formal Verification and Safety Engineer
ALGER
- الفئات: المعلوماتية والتكنولوجيا
- المنطقة: الجزائر
- وضع في: 08-02-2024 à 22:53:51
Engineering a safer world
Trains are faster, more economical, safer and greener than cars and trucks. At Prover, 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.
Prover is a Swedish company with subsidiaries in the US, France, China and Algeria. Prover has customers all over the world. At Prover you will find a highly intelligent team, a respectful atmosphere and cultural diversity.
Job description
Prover is seeking a Formal Verification and Safety Engineer in Algiers to join our engineering team.
As a Formal Verification and safety Engineer, you will be responsible for providing technical support for the development, design, and verification of customer systems. You would be involved from the definition phase, to implementation, and V&V. In particular, this involves formal verification and safety activities.
The position will offer an opportunity to work on new and ongoing projects with a diverse international team and in good work conditions.
Responsibilities
Provide technical support for the development, design and verification of customer systems, from the definition phase to implementation and V&V. In particular formal verification services.
Suggest improved technical solutions to meet customer requirements and/or help customers to reach their goals faster.
Communicate effectively with customers to identify needs and evaluate alternative business solutions.
Collaborate closely with our expert team to apply formal methods within the railway safety context.
Support system development, design, and verification, with a specific focus on formal methods.
Stay updated on evolving formal methods techniques and relevant safety regulations.
Actively participate in knowledge sharing to foster team growth.
Continuously look for opportunities to increase customer satisfaction and deepen relationships.
Manage customer expectations.
Build lasting relationships with customers.
Provide training to customers.
Maintain knowledge about each client's activities, organization and objectives.
Requirements
Academic degree in computer science, software engineering or similar
Basic understanding of formal methods, ideally within the context of railway safety
Enthusiastic learner with a passion for contributing positively to railway safety
High reliability and trustworthiness
Fluent in English
Ability to work in a multicultural and diverse environment
Critical mind and attention to details
Team spirit and willingness to compromise
Excellent problem-solving and troubleshooting skills
Good communication and collaboration skills
An eager will to always improve on processes and automation
Desirable Requirements
Familiarity with formal logics and theorem proving
Experience with formal methods tools and languages
Knowledge of software and hardware verification methodologies
Understanding of safety-critical system standards and regulations
Previous work or academic experience in formal methods or safety projects
Benefits
Competitive salary and benefits package
Opportunities for career growth and development
Dynamic and multicultural work environment
If you are interested in this opportunity and meet the requirements, please submit your resume and cover letter to us. We look forward to hearing from you!
-
Superviseur HSE
Recherche des candidats AVEC EXPERIENCE : - Superviseur HSE - PTW Coordinator - Chef d’Équipe Intervention - Process Safety Engineer - Agent Intervention - Ingénieur Prevention - Inspecteur Prevention - Ingénieur Environnement
-
Lead Project Manager
ECTAS recruits: Position: Lead Project Manager Location: Algiers Key Responsibilities -Project Management: Oversee projects from tendering to final warranty, including delivery and commissioning activities. -Planning and Execution: Plan, manage, and deliver projects while seeking additional busine
المنطقة: ALGER ,
-
DWH Engineer
The Data Warehouse engineer will ensure the operation and evolution of the BI platform according to the needs of internal customers. Main responsabilities: • Gathering Business requirements and service requests • Writing specification, workflows as expressed by business to prepare the development of
المنطقة: ALGER ,
-
Métreur vérification
Entreprise privée recrute : 1- Un Métreur vérification 2- Un coordinateur des travaux
المنطقة: ALGER ,
-
Piping engineer
ECTAS recruits Position: Piping engineer Experience Required: . More than 5 years of experience · Good in English communication . Hot Tapping experience Availability: Immediate Contract Type: CDD Duration: 12 months renewable Location: South
-
Odoo Senior and Medium Scrum Masters and functional
We are hiring Odoo Senior and Medium, Scrum Masters and functional experts (HR, SCM, DMarkt)
-
Ingénieur UpStream
Notre organisme de contrôle recherche les profils suivants : 1 - Ingénieur UpStream (UpStream Engineer) : Profil Expérimenté 2 - Responsable des Opérations (Operations Manager) : Profil Expérimenté 3 - Inspecteur Protection Cathodique (Cathodic Protection Inspector) : Profil Expérimenté ou Certifié
المنطقة: ALGER ,
-
Regulatory Affairs Specialist
BIOMIR operator company in Algeria is hiring a Regulatory Affairs Specialist Algeria on behalf of its partner Janssen . Requirements : • Degree in Pharmacy Or any scientific degree • Fluent in Arabic, French and English. • Experience in regulatory affairs is desirable. • Excellent communicatio
-
Penetration testing
Dans le cadre du développement continuel de notre entreprise, nous recherchons des profils confirmés dans les spécialités listées ci-dessous : Penetration testing, vulnerability assessments and management, ISO 27001 auditing and implementing, PCI auditing and assessment, Identity management, Applic
-
PRE SALES ENGINEER
On recherche notre futur
المنطقة: ALGER ,
-
Sales Agents
Nreservi is hiring : Sales Agents, Business Developers, and Customer Service Agents. If you are a motivated, customer-focused individual with a passion for sales and business development, they would love to hear from you
المنطقة: ALGER ,
-
Sales Managers
2 Area Sales Managers Sector :Heavy Equipment. Job location: Algeria ?? -Good experience in sales and marketing -Managerial skills
