Mysore Road Tolgate Karnataka Formal method (safety) Jobs – 31 Open Jobs Today

Formal Method (Safety) Engineer
ALSTOM —Bengaluru, Karnataka
- Full-time
- Computer Science
Quality control specialist
Sourceo —Bengaluru, Karnataka
- Online application
- Supervising experience
- Electrical experience
- Bachelor's degree
11h
Associate Project Engineer
Sourceo —Bengaluru, Karnataka
- Full-time
- English
- Electrical experience
- Bachelor's degree
11h
Staff Engineer Verification
Infineon Technologies AG —Bengaluru, Karnataka
- Computer Science
- Bachelor's degree
- Recruiting
SCS Cabling Estimator
Black Box —Bengaluru, Karnataka
- Full-time
- Microsoft Powerpoint
- Microsoft Word
- Microsoft Excel
Quick apply
Lead engineer
Collins Aerospace —Bengaluru, Karnataka
- Full-time
- Microsoft Word
- Microsoft Excel
- Microsoft Office
- Paid sick time
12d
Senior Formal Verification Engineer
TechBiz Global GmbH —Bengaluru, Karnataka
- Full-time
- Remote
- Doctoral degree
- B.Sc
- Master's degree
Quick apply
Production Development Specialist
ABB India Limited —Bengaluru, Karnataka
- Online application
- AutoCAD
- English
- In-person
Quick apply
8d
Architect MTS
onsemi —Bengaluru, Karnataka
- Full-time
- Master's degree
- C++
- Bachelor's degree
Project Engineer
Sourceo —Bengaluru, Karnataka
- Online application
- Bachelor's degree
- Computer networking
11h
Project Engineer
Yokogawa —Bengaluru, Karnataka
- Full-time
- Project management
- Bachelor's degree
Design and Verification, MTS
onsemi —Bengaluru, Karnataka
- Full-time
- Master's degree
- C++
- Bachelor's degree
Production Supervisor
Sourceo —Bengaluru, Karnataka
- Online application
- Human resources
- In-person
- Manufacturing
11h
Process / Industrial Engineer
ABB India Limited —Bengaluru, Karnataka
- Online application
- Management
- Assembly
- Project management
Quick apply
Industrial Automation Engineer
ABB India Limited —Bengaluru, Karnataka
- Online application
- AutoCAD
- CAD
- Master's degree
Quick apply
8d
Architect
onsemi —Bengaluru, Karnataka
- Full-time
- Master's degree
- C++
- Bachelor's degree
ASIC Digital Design, Staff Engineer
Synopsys —Bengaluru, Karnataka
- Master's degree
- Electrical experience
- Bachelor's degree
- Health insurance
9d
R&D Engineer
ABB India Limited —Bengaluru, Karnataka
- Online application
- Analysis skills
- Product management
- In-person
Quick apply
8d
Senior Civil & Interior Project Engineer / Project Manager
Turner & Townsend —Bengaluru, Karnataka
- Full-time
- Civil engineering
- Bachelor's degree
- Plumbing
Quick apply
Proposal Engineer
Yokogawa —Bengaluru, Karnataka
- Full-time
- Project management
- Bachelor's degree

I want to receive the latest job alerts for formal method (safety) in mysore road tolgate karnataka

By signing in to your account, you agree to SimplyHired's Terms of Service and consent to our Cookie and Privacy Policy.

Explore jobs in more locations

formal method (safety) jobs near mysore road tolgate karnataka

Controls Engineer jobs in Bengaluru, Karnataka

Production Supervisor jobs in Bengaluru, Karnataka

Proposal Engineer jobs in Bengaluru, Karnataka

Production Manager jobs in Bengaluru, Karnataka

Safety Engineer jobs in Bengaluru, Karnataka

Senior Civil Engineer jobs in Bengaluru, Karnataka

Architect jobs in Bengaluru, Karnataka

Project Engineer jobs in Bengaluru, Karnataka

Staff Engineer jobs in Bengaluru, Karnataka

Industrial Engineer jobs in Bengaluru, Karnataka

Digital Designer jobs in Bengaluru, Karnataka

Verification Engineer jobs in Bengaluru, Karnataka

Estimator jobs in Bengaluru, Karnataka

Lead Engineer jobs in Bengaluru, Karnataka

R&D Engineer jobs in Bengaluru, Karnataka

Network Engineer jobs in Coimbatore, Tamil Nadu

Controls Engineer jobs in Saibaba Colony, Coimbatore, Tamil Nadu

Biomedical Engineer jobs in Kerala

Civil Engineer jobs in Tamil Nadu

Controls Engineer jobs in Narol, Ahmedabad, Gujarat

Formal Method (Safety) Engineer

ALSTOM -
Bengaluru, Karnataka

Apply Now

Job details

Full-time

Qualifications

Computer Science

Full job description

At Alstom, we understand transport networks and what moves people. From high-speed trains, metros, monorails, and trams, to turnkey systems, services, infrastructure, signalling, and digital mobility, we offer our diverse customers the broadest portfolio in the industry. Every day, 80,000 colleagues lead the way to greener and smarter mobility worldwide, connecting cities as we reduce carbon and replace cars.

Could you be the full-time Formal Verification Engineer in Bangalore we’re looking for?

Your future role

Take on a new challenge and apply your expertise in formal verification methodologies in a cutting-edge field. You’ll work alongside innovative and collaborative teammates.

You'll play a key role in ensuring the safety and reliability of critical systems by applying formal verification techniques. Day-to-day, you’ll work closely with teams across the business (such as system engineers, safety assurance managers, and project managers), ensure compliance with processes, and contribute to formal verification reports and much more.

You’ll specifically take care of applying formal verification methodologies and analyzing results, but also supporting the elaboration of formal verification reports under the guidance of the Project Safety Assurance Manager (PSAM).

We’ll look to you for:

Applying formal verification methodologies defined for the project/system/product
Developing and interpreting properties using formal logic (e.g., LTL, CTL)
Utilizing formal modeling languages (e.g., HLL, B/Event-B, TLA+, Promela, etc.)
Performing formal verification using tools such as PSL, SPIN, NuSMV, etc.
Analyzing results from formal verification processes
Collaborating with the PSAM to deliver formal verification outcomes
Participating in the elaboration of formal verification reports
Demonstrating a basic understanding of railway signaling concepts

All about you

We value passion and attitude over experience. That’s why we don’t expect you to have every single skill. Instead, we’ve listed some that we think will help you succeed and grow in this role:

Degree in computer science, mathematics, or a related field
Experience or understanding of formal logic, formal proofs, and model-checking concepts
Knowledge of formal modeling languages (e.g., HLL, B/Event-B, TLA+, Promela, etc.)
Familiarity with formal verification tools (e.g., PSL, SPIN, NuSMV, etc.)
A certification in safety-critical systems or a related area (preferred)
Ability to write and interpret properties (e.g., LTL, CTL)
Basic understanding of railway signaling concepts

Things you’ll enjoy Join us on a life-long transformative journey – the rail industry is here to stay, so you can grow and develop new skills and experiences throughout your career. You’ll also:

Enjoy stability, challenges, and a long-term career free from boring daily routines
Work with new security standards for rail signaling
Collaborate with transverse teams and helpful colleagues
Contribute to innovative projects
Utilize our flexible and inclusive working environment
Steer your career in whatever direction you choose across functions and countries
Benefit from our investment in your development, through award-winning learning
Progress towards roles such as Senior Formal Verification Engineer or Safety Assurance Manager
Benefit from a fair and dynamic reward package that recognizes your performance and potential, plus comprehensive and competitive social coverage (life, medical, pension)

You don’t need to be a train enthusiast to thrive with us. We guarantee that when you step onto one of our trains with your friends or family, you’ll be proud. If you’re up for the challenge, we’d love to hear from you!

Important to note

As a global business, we’re an equal-opportunity employer that celebrates diversity across the 63 countries we operate in. We’re committed to creating an inclusive workplace for everyone.

Job Segment: Computer Science, Technology

Apply Now

Refine Your Search

formal method (safety) jobs in mysore road tolgate karnataka

Formal Method (Safety) Engineer

Quality control specialist

Associate Project Engineer

Staff Engineer Verification

SCS Cabling Estimator

Lead engineer

Senior Formal Verification Engineer

Production Development Specialist

Architect MTS

Project Engineer

Project Engineer

Design and Verification, MTS

Production Supervisor

Process / Industrial Engineer

Industrial Automation Engineer

Architect

ASIC Digital Design, Staff Engineer

R&D Engineer

Senior Civil & Interior Project Engineer / Project Manager

Proposal Engineer

I want to receive the latest job alerts for formal method (safety) in mysore road tolgate karnataka

Explore jobs in more locations

Jobseeker tools

Employer Tools

Browse

Stay Connected