לוח משרות דרושים פיתוח תוכנה בחיפה

We have multiple positions open forBackend Senior Software Engineers and Software Engineers to be hired across different Microsoft Security teams in Israel.

Israel is the biggest Microsoft center of excellence in the security domain and plays a pivotal role in safeguarding our global digital ecosystem. As the largest Microsoft center of excellence in the security domain, our teams in Israel are at the forefront of innovation and defense against emerging cyber threats. With over 60% of our site dedicated to security, we are committed to developing cutting-edge solutions that protect millions of users worldwide. Our contributions have a profound impact on the global security organization, driving advancements and setting new standards in cybersecurity.
Our teams are dedicated to building cutting-edge Cyber Defense solutions, leveraging state-of-the-art cloud technologies, big data, AI, and modern UX platforms to deliver unparalleled value to our customers.

As part of our team, you'll collaborate with software engineers, program managers, security researchers, and data science experts to develop solutions that protect, detect, and respond to evolving cybersecurity threats. We value diversity and believe that different experiences and perspectives make our team stronger.

If you're passionate about cyber defense and eager to make a significant impact on global security, love working with data, and want to make the world a safer place, come join us!
Responsibilities
As a Software Engineer you will:

contribute to business-critical initiatives in Microsoft Security
Requiring deep technical skills and the ability to quickly adapt to new areas.
Will improve the end-to-end lifecycle of services
Analyze complex system behavior, and apply modern engineering practices to streamline deployments and reduce costs.
Your role involves working on high-end technologies and collaborating across disciplines to deliver impactful features.
You will also collaborate with multiple teams across Microsoft to deliver key customer solutions and support technology.

Be part of a team that pushes boundaries, developing custom silicon solutions that power the future of Google's direct-to-consumer products. You'll contribute to the innovation behind products loved by millions worldwide. Your expertise will shape the next generation of hardware experiences, delivering unparalleled performance, efficiency, and integration.
The ML, Systems & Cloud AI (MSCA) organization at Google designs, implements, and manages the hardware, software, machine learning, and systems infrastructure for all Google services (Search, YouTube, etc.) and Google Cloud. Our end users are Googlers, Cloud customers and the billions of people who use Google services around the world.

We prioritize security, efficiency, and reliability across everything we do - from developing our latest TPUs to running a global network, while driving towards shaping the future of hyperscale computing. Our global impact spans software and hardware, including Google Clouds Vertex AI, the leading AI platform for bringing Gemini models to enterprise customers.

Responsibilities
Plan the formal verification strategy and create the properties and constraints for digital design blocks.
Utilize formal property verification tools combined with formal verification closure techniques to verify properties.
Contribute improvements to methodologies to enhance formal verification results. Resolve difficult to verify properties.
Architect and implement reusable formal verification components.

Looking to take your low-level C++ skills to the next level and make a real security impact at scale? Join our Defender for Endpoint team in Israel!

Cyber-attacks are increasing in volume and sophistication, evading traditional defenses, and posing a growing risk to enterprises from outside criminal organizations and malicious insiders in the organization. The Microsoft 365 Defender suite leverages the Microsoft 365 security portfolio - including Microsoft Defender for Endpoint, Office, Cloud Apps and Identity, as well as Microsoft Sentinel and XDR - to automatically analyze threat data across domains, building a complete picture of each attack in a single dashboard to monitor, hunt, detect and remediate threats. With this breadth and depth of clarity defenders can now focus on critical threats and hunt for sophisticated breaches, trusting that the powerful automation in Microsoft's security products detects and stops attacks anywhere in the cyber-attack kill chains and returns the organization to a secure state. Join our team of engineers to develop cutting edge detection and remediation systems. Be a part of defining and shaping the next big leap in the product's journey.


Microsoft defender for endpoint EDR client team is developing the client agent (Sense) which responsible of collection evets from the endpoint, processing and sending to the cloud for analysis. The agent is deployed in over 100M machines, which sets MDE a high scale - high quality product.
Responsibilities
As a senior client engineer on our team, you will lead a squad of developers, developing Microsoft Defender for Endpoint's agent (Sense), using Cpp on Windows platform.
You will be working on cutting edge technologies to deliver exciting new features that impact and protect millions of users, with cross-team and cross-discipline collaboration (engineering, PM, design, research and data science).
You will work closely with experienced engineers and be part of an agile and fast-moving development team - and will have a role in mentoring your more junior peers and helping them succeed.
You will be expected to apply a critical view of our infrastructure, technologies and development process, proactively pushing to improve the product and our group

Be part of a team that pushes boundaries, developing custom silicon solutions that power the future of Google's direct-to-consumer products. You'll contribute to the innovation behind products loved by millions worldwide. Your expertise will shape the next generation of hardware experiences, delivering unparalleled performance, efficiency, and integration.
As a CPU Design Verification Engineer, you will work as part of a Research and Development team, and you will build verification components, constrained-random testing, system testing, and verification closure. As part of our server chip design team, you will verify digital designs. You will collaborate closely with design and verification engineers in projects and perform direct verification. You'll build efficient and effective constrained-random verification environments that exercise designs through their corner-cases and expose all types of bugs. You will manage the full lifecycle of verification which can range from verification planning, test execution or collecting, and closing coverage.

The ML, Systems, & Cloud AI (MSCA) organization at Google designs, implements, and manages the hardware, software, machine learning, and systems infrastructure for all Google services (Search, YouTube, etc.) and Google Cloud. Our end users are Googlers, Cloud customers and the billions of people who use Google services around the world.

We prioritize security, efficiency, and reliability across everything we do - from developing our latest TPUs to running a global network, while driving towards shaping the future of hyperscale computing. Our global impact spans software and hardware, including Google Clouds Vertex AI, the leading AI platform for bringing Gemini models to enterprise customers.

Responsibilities
Plan the verification of digital design blocks by fully understanding the design specification and interacting with design engineers to identify important verification scenarios.
Create and enhance constrained-random verification environments using SystemVerilog/UVM, or Specman.
Identify and write all types of coverage measures for stimulus and corner-cases.
Debug tests with design engineers to deliver functionally correct design blocks.
Lead coverage measures to identify verification holes and to show progress towards tape-out.

Be part of a team that pushes boundaries, developing custom silicon solutions that power the future of Google's direct-to-consumer products. You'll contribute to the innovation behind products loved by millions worldwide. Your expertise will shape the next generation of hardware experiences, delivering unparalleled performance, efficiency, and integration.
The ML, Systems, & Cloud AI (MSCA) organization at Google designs, implements, and manages the hardware, software, machine learning, and systems infrastructure for all Google services (Search, YouTube, etc.) and Google Cloud. Our end users are Googlers, Cloud customers and the billions of people who use Google services around the world.

We prioritize security, efficiency, and reliability across everything we do - from developing our latest TPUs to running a global network, while driving towards shaping the future of hyperscale computing. Our global impact spans software and hardware, including Google Clouds Vertex AI, the leading AI platform for bringing Gemini models to enterprise customers.

Responsibilities
Develop and execute comprehensive validation plans for Google's custom silicon, covering functional, performance, power, and reliability aspects.
Design and build scalable validation test infrastructure, including hardware setups, software frameworks, and automation tools on Emulation and/or FPGA platforms.
Lead the debugging and resolution of complex silicon issues, collaborating with cross-functional teams such as design, architecture, software, and firmware.
Analyze validation data to identify trends, root causes, and opportunities for improvement in silicon quality and reliability.
Build and mentor a high-performing team of silicon validation engineers, fostering a culture of collaboration, innovation, and technical excellence.

Be part of a team that pushes boundaries, developing custom silicon solutions that power the future of Google's direct-to-consumer products. You'll contribute to the innovation behind products loved by millions worldwide. Your expertise will shape the next generation of hardware experiences, delivering unparalleled performance, efficiency, and integration.
In this role, you will work with internal system teams and the System-on-Chip (SoC) Architecture team to develop an understanding of the SoC, performance metrics, benchmarks/measuring tools, and available optimization knobs. You will define methods and technologies to model SoC performance at different accuracy levels by supporting architectural explorations and decision-making. In addition, you will correlate performance projections with measured post-silicon data.

The ML, Systems, & Cloud AI (MSCA) organization at Google designs, implements, and manages the hardware, software, machine learning, and systems infrastructure for all Google services (Search, YouTube, etc.) and Google Cloud. Our end users are Googlers, Cloud customers and the billions of people who use Google services around the world.

We prioritize security, efficiency, and reliability across everything we do - from developing our latest TPUs to running a global network, while driving towards shaping the future of hyperscale computing. Our global impact spans software and hardware, including Google Clouds Vertex AI, the leading AI platform for bringing Gemini models to enterprise customers.

Responsibilities
Develop simulators and architectural models of general-compute SoCs.
Collaborate with system architects, SoC and IP architects/designers, and software and application experts to understand current and future requirements.
Participate in architectural and design evaluation of SoC designs.
Perform pre-silicon performance simulation and correlate with post-silicon measurements.
Communicate analysis results qualitatively and quantitatively.