Karnataka Safety officer Jobs – 153 Open Jobs Today

Formal Method (Safety) Engineer
ALSTOM —Bengaluru, Karnataka
- Full-time
- Computer Science
Circle Head - Bangalore
Aditya Birla Group —Karnataka
EMR STAFF NURSE
Evani hospital —Bengaluru, Karnataka
- ₹15,000 - ₹20,000 a month
- Full-time
- ACLS Certification
- Bachelor's degree
- Patient care
Quick apply
EXECUTIVE GODOWN
Avenue Supermart Ltd —Bengaluru, Karnataka
- 12th Pass
- Warehouse experience
EXECUTIVE FLOOR_NON CORE GMTS
Avenue Supermart Ltd —Bengaluru, Karnataka
- Weekend availability
- Hospitality
- 12th Pass
- Communication skills
Lead Engineer - Embedded Hardware, Power & Safety
Origin —Bengaluru, Karnataka
- Full-time
- Master's degree
- Electrical experience
- Communication skills
Quick apply
Psychiatric Nurse
Mind and Brain Hospital —Bengaluru, Karnataka
- ₹18,000 - ₹35,000 a month
- Full-time
- Nursing
- B.Sc
- Bachelor's degree
- Flexible schedule
Quick apply
9d
AWS Cloud Architect
Transaction Network Services —Bengaluru, Karnataka
- Full-time
- Azure
- Oracle
- Databases
Senior System Software Safety Engineer - Halos Core and Robotics Platform
NVIDIA —Bengaluru, Karnataka
- Full-time
- Computer Science
- Master's degree
- Analysis skills
8d
Area Head - Gold Loan
Aditya Birla Group —Karnataka
- Customer service
2d
Principal AI Architect
GE HEALTHCARE —Bengaluru, Karnataka
- Doctoral degree
- Computer Science
- HIPAA
Pizzaiolo
BRIK OVEN PRIVATE LIMITED —Bengaluru, Karnataka
- Hospitality
- Inventory management
- English
Quick apply
Dining Ambassador
BRIK OVEN PRIVATE LIMITED —Bengaluru, Karnataka
- Hospitality
- Customer service
- English
Quick apply
Dough Artisan
BRIK OVEN PRIVATE LIMITED —Bengaluru, Karnataka
- English
- Organisational skills
- Kitchen experience
Quick apply
Senior Software Engineer – Java Backend , AI
Evertz Microsystems Limited —Bengaluru, Karnataka
- Full-time
- Hybrid work
- Java
- AWS
- Analysis skills
Quick apply

More jobs to discover

Find similar jobs that you might be interested in.

Circle Head - Bangalore
Aditya Birla Group —Karnataka
O Incremental Profit per branch. Branch Productivity – build and optimize a high performing branch network. O Low performing branch reduction (%).
Business Development Manager-Embedded Systems & IoT
rhia connect pvt ltd —Bengaluru, Karnataka
*3–6 years of experience in business development, B2B sales, or account management, ideally selling embedded systems, IoT/IIoT solutions, hardware/PCB design,…
₹6,00,000 - ₹9,00,000 a year
Quick apply

I want to receive the latest job alerts for safety officer in 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

safety officer jobs near karnataka

Registered Nurse jobs in Bengaluru, Karnataka

Safety Engineer jobs in Bengaluru, Karnataka

Senior Hardware Engineer jobs in Bengaluru, Karnataka

Senior Java Developer jobs in Bengaluru, Karnataka

Software Architect jobs in Bengaluru, Karnataka

Ambassador jobs in Bengaluru, Karnataka

Psychiatric Nurse jobs in Bengaluru, Karnataka

Ngo, Nurse jobs in Delhi

Registered Nurse jobs in Kalapatti, Coimbatore, Tamil Nadu

Registered Nurse jobs in Airport, Mumbai, Maharashtra

Anm Nurse jobs in Mumbai, Maharashtra

Registered Nurse jobs in Villupuram, Tamil Nadu

Nurse Job jobs in Hosur, Tamil Nadu

Staff Nurse jobs in Perumbavoor, Kerala

Registered Nurse jobs in Delhi

Safety Engineer jobs in Jharkhand

Safety Engineer jobs in Surat, Gujarat

Safety Engineer jobs in Noida, Uttar Pradesh

Part Time Job For Civil Engineer jobs in Delhi

Safety Engineer jobs in Pen, Maharashtra

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

safety officer jobs in karnataka

Formal Method (Safety) Engineer

Circle Head - Bangalore

EMR STAFF NURSE

EXECUTIVE GODOWN

EXECUTIVE FLOOR_NON CORE GMTS

Lead Engineer - Embedded Hardware, Power & Safety

Psychiatric Nurse

AWS Cloud Architect

Senior System Software Safety Engineer - Halos Core and Robotics Platform

Area Head - Gold Loan

Principal AI Architect

Pizzaiolo

Dining Ambassador

Dough Artisan

Senior Software Engineer – Java Backend , AI

More jobs to discover

I want to receive the latest job alerts for safety officer in karnataka

Explore jobs in more locations

Jobseeker tools

Employer Tools

Browse

Stay Connected