3 Formal Methods Jobs nearby Chennai

Role Overview: As the Lead Hardware Development Engineer at The EPlane Company, your ultimate challenge is to build the brain of the aircraft by creating the high-integrity Flight Control Computer (FCC) and Mission Computer from scratch. You will be driving the architecture for flight-critical computers and overseeing all aspects of their hardware and FPGA development. Your expertise in designing complex, high-reliability hardware and deep knowledge of the DO-254 certification process will be crucial for this role. Key Responsibilities: - Architect High-Integrity Computers: Define end-to-end hardware architecture, specify multicore processors, lockstep configurations, memory partitioning schemes, and redundancy management to meet safety requirements. - Lead Hardware Development: Manage external vendors or in-house design teams, serving as the primary technical authority. - Lead DO-254 Verification: Audit and verify all DO-254 artifacts and design processes to ensure certifiability. - Hands-on FPGA Development: Develop complex logic in FPGAs for critical functions like sensor interfaces, image processing pipelines, and data routing. - Perform Critical Analysis: Conduct latency and timing analysis, define memory budgets, and architectures like ECC and NVM. - Define Systems Interface: Collaborate with systems and software teams to ensure hardware design aligns with safety requirements. - Lead Verification & Validation: Develop and execute comprehensive hardware verification plans using simulation, hardware-in-the-loop testing, and formal verification methods. Qualifications Required: - Experience: 8+ years in safety-critical electronic hardware development. - Education: Bachelors or Masters in Electronics, Electrical, or Computer Engineering. - DO-254 Expertise: Practical experience in DO-254 DAL A or B certification process. - Safety-Critical Architecture: Proven experience in designing high-reliability embedded computer architectures. - RTOS & Partitioning: Knowledge of ARINC 653 principles and hardware-level implementation. - FPGA Mastery: Proficiency in VHDL or Verilog and experience with FPGA toolchains. - Systems & Software Interface: Understanding of ARP4754A systems engineering process and DO-254 / DO-178C interface. - BSP Knowledge: Understanding of hardware components required for BSP development. - Avionics & Mixed-Signal Design: Experience in standard avionics interfaces and mixed-signal design. - Best Practices: Familiarity with safety-critical hardware design best practices. (Note: Preferred qualifications and details about the company have been omitted as they are not part of the main job description provided.),

Role Overview: You will be leading the eMobility R&D team with a focus on EV Charger Product Development. As part of the Grid & Power Quality Solutions team, you will collaborate with Global R&D teams and work in a global and cross-functional environment at the forefront of technology. Key Responsibilities: - Manage and develop the team and team members, lead and distribute work tasks, and support project managers - Implement efficient work processes, prepare annual budgets, and ensure timely reporting on project status - Collaborate with other R&D teams, Hitachi Research Centers, and engineering teams globally - Encourage and support the team to propose projects contributing to global plans and processes - Ensure compliance with external and internal regulations, procedures, and guidelines - Uphold Hitachi Energy's core values of safety and integrity Qualifications Required: - Relevant engineering background with a minimum of 10+ years of experience, including 5+ years in people management - Higher formal education in relevant fields is advantageous - Experience in System and Control of power electronics, preferably in eMobility/EV Charger/Electric Vehicle - Knowledge of New Product Developments is beneficial - Strong sense of ownership, ability to manage different types of people, and skills in coaching, motivating, and inspiring others - Proficiency in Project Management and Product Development practices - Structured work approach with the application of relevant methods, procedures, and tools Additional Company Details: Hitachi Energy values safety and integrity, emphasizing responsibility for actions, care for colleagues, and the business. Note: To apply for this opportunity, submit your application as the selection process is ongoing. Qualified individuals with disabilities requiring accessibility assistance may request accommodations through the Hitachi Energy career site.,

Role Overview: As a Lead - Content & Tech located in Chennai, your primary responsibility will be to oversee the Learning Management System (LMS) and manage all content creation and digital learning activities within the organization. You will collaborate with senior business and HR stakeholders to translate business needs into instructional design content requirements. Additionally, you will be utilizing GenAI tools to efficiently generate digital content. It is crucial to consider all L&D team members as stakeholders to align content creation with their needs. Key Responsibilities: - Creating and maintaining the content architecture for all L&D activities, focusing on business outcomes and learner experience - Collaborating with business and HR stakeholders to understand learning needs and ensure a positive learner experience - Managing the LMS portal, monitoring user metrics, content availability, and coordinating with IT and vendors for system uptime - Utilizing GenAI tools, internal content team, and external vendors to meet content creation requirements within specified budgets - Safeguarding all training content, including business-related, regulatory, and skill-based materials, ensuring updates, versioning, and access control - Proactively collecting feedback from field teams to identify future content requirements Performance Measurement: - Training content availability and quality - Adoption of learning technology, user experience, and business impact - Innovation in content formats, experiential learning methods, and facilitator toolkits - System uptime, timely tech issue resolution, and feature expansion based on business needs - Adherence to budget constraints while optimizing output Qualification Required: - Mid-senior level experience with team management responsibilities, preferably at MG5 / 5A level - Prior experience in the BFSI sector and people management skills will be advantageous - Formal certifications in instructional design, content management, LMS/LXP, digital creation, or design thinking - 8-10 years of experience in L&D roles with content and LMS management responsibilities - Proficiency in instructional design, LMS administration, and expertise in AI content creation tools - Proficiency in at least one content authoring tool such as Vyond or Articulate - Soft skills including innovation, attention to detail, collaboration, adaptability in a fast-paced environment, and the ability to balance quality and timelines.,

As a South Indian Master Chef at Grand Estancia in Salem, you will play a crucial role in ensuring the culinary experience offered to the guests meets the high standards set by the hotel. Your responsibilities will include overseeing the kitchen operations, creating authentic South Indian dishes, managing the kitchen staff, and maintaining the quality and presentation of the food. - Oversee kitchen operations - Create authentic South Indian dishes - Manage kitchen staff - Maintain quality and presentation of food To excel in this role, you must have a deep expertise in South Indian cuisine and traditional cooking methods. Your creativity and innovation in preparing and presenting dishes will be essential in delighting the guests and enhancing their overall experience at the hotel. Additionally, your experience in managing kitchen staff, along with your understanding of food safety and sanitation regulations, will be critical in maintaining a smooth and efficient kitchen operation. - Deep expertise in South Indian cuisine - Creativity and innovation in dish preparation - Experience in managing kitchen staff - Understanding of food safety and sanitation regulations Your proven track record of delivering high-quality culinary experiences will set you apart in this role. Excellent time management and organizational skills will also be necessary to ensure that the kitchen functions seamlessly and that dishes are served in a timely manner. While formal culinary training or certification is a plus, your passion for South Indian cuisine and your ability to blend tradition with modern techniques will be the key to your success at Grand Estancia.,