Siemens DISW is a global technology powerhouse. With some of the best-known brands in the world, Siemens has stood for engineering excellence, innovation, quality, and reliability for more than 165 years. We’re expanding our footprint within the IC Verification Solutions (ICVS) division and looking for a Senior Software Development Engineer based in Cairo, Egypt, to join our Questa Formal Global R&D team. Main Responsibilities Design, develop, modify, and implement algorithms for the formal verification of digital hardware systems. Work with model checking algorithms, SAT solvers, synthesis optimizations, SMT solvers and BDD packages to produce the highest performing solvers on both traditional grid platforms and cloud computing platforms. Participate in academic and industry conferences. Collaborate with our customers, leading semiconductor companies, to best apply and expand our technology portfolio for their verification challenges. Interface with other developers as needed to understand and manage interdependencies of project tasks, product and flow integration issues. Participate in reviews and/or inspections of, designs, specifications, and code. Participate in project planning and tracking - task investigation, work breakdown, and schedule estimation. Keep project team members, adjacent teams, QA teams, Customer Support and Marketing informed of project risks and status. Write functional and design specifications. Work with Marketing, QA to understand and support customer needs and requirements. Required skills, knowledge and experience Bachelor’s degree in Computer Engineering or Electrical Engineering. MSc or PhD in formal verification or closely related field is a huge plus! S/W programming using C++ experience. Solid knowledge of S/W algorithms and data structures. Knowledge in Unix/Linux operating system environments. Creative thinking and problem solving skills are required. Highly developed communication skills, including the ability to present ideas and share your knowledge with others. We’re Siemens. A collection of over 377,000 minds building the future, one day at a time in over 200 countries. We're dedicated to equality, and we welcome applications that reflect the diversity of the communities we work in. All employment decisions at Siemens are based on qualifications, merit and business need. Bring your curiosity and creativity and help us shape tomorrow! We offer a comprehensive reward package which includes a competitive basic salary, bonus scheme, and generous holiday allowance. Siemens is an equal opportunities employer and do not discriminate unlawfully on any grounds. We are committed to providing access, equal opportunity. Siemens Software. Where today meets tomorrow. Organization: Digital Industries Company: Mentor Graphics Egypt Company (A Limited Liability Company - Private Free Zone) Experience Level: Experienced Professional Job Type: Full-time