AI Cybersecurity Researcher
office~$5.1K /moManor House, GBhace 1 d
formal verificationpython
Salary: £46,000 - 52,000 per year Requirements: Background in software, electronics, or engineering, with a PhD (or equivalent research experience) in cyber security, information s…
Jobs by Adzunadescripción breve
Mostrar empresa →SoC Design Engineer
office167.360 USD · periodo no indicadoSan Jose, US →hace 1 d
c++formal verificationperlpython
Join a multibillion-dollar global company that brings together amazing technology, people, and operational scale to become a powerhouse in the memory industry. Headquartered in Ran…
Mostrar empresa →ASIC Physical Design Engineer
Singapore-Yishun, SGhace 1 d
formal verificationlinux
Please Note: 1. If you are a first time user, please create your candidate login account before you apply for a job. (Click Sign In > Create Account) 2. If you already have a Candi…
Mostrar empresa →IC Design Engineer
Singapore-Yishun, SGhace 1 d
formal verificationlinuxpython
Please Note: 1. If you are a first time user, please create your candidate login account before you apply for a job. (Click Sign In > Create Account) 2. If you already have a Candi…
Mostrar empresa →ASIC Physical Design Engineer
Singapore-Yishun, SGhace 1 d
formal verificationlinux
Please Note: 1. If you are a first time user, please create your candidate login account before you apply for a job. (Click Sign In > Create Account) 2. If you already have a Candi…
Mostrar empresa →Blockchain Security Engineer
remoteBlockchain Security Engineerhace 2 d
blockchaindefiformal verificationgitlinux
ChainSecurity | Blockchain Security Engineer | Full-time | INTERNS , HYBRID/REMOTE, Zurich, Switzerland | VISA possible (for an employment) | https://chainsecurity.c…
Mostrar empresa →ASIC Formal Verification Engineer I, Annapurna Labs
juniorofficeAustin, Texas, USA, US →hace 2 d
awsformal verification
In Annapurna Labs we are at the forefront of hardware co-design not just in Amazon Web Services (AWS) but across the industry. The work we do is cutting-edge and internet-scale whi…
Mostrar empresa →Principal Formal Verification Engineer
principalofficeBengaluru, Karnataka, India, IN →hace 2 d
formal verificationperlpython
Astera Labs (NASDAQ: ALAB) provides rack-scale AI infrastructure through purpose-built connectivity solutions. By collaborating with hyperscalers and ecosystem partners, Astera Lab…
Mostrar empresa →Software Development Engineer II, Customer Terminal Aviation Quality
middleoffice~$14.1K /moRedmond, Washington, USA, US →hace 3 d
formal verification
Amazon LEO is an initiative to increase global broadband access through a constellation of 3,236 satellites in low Earth orbit (LEO). Its mission is to bring fast, affordable broad…
Mostrar empresa →Senior Principal Design Verification Engineer
principalBangalore, IN →hace 3 d
formal verificationperlpython
We are seeking an experienced Senior Principal Design Verification Engineer to lead verification of complex SoC, IP, and modem subsystem designs. This role requires deep technical …
Mostrar empresa →Staff Design Verification Engineer - Coherent Interconnect
principalhybrid~$19.4K /moAustin, US →hace 3 d
formal verificationperlpython
Overview: The ARM Neoverse Coherent Mesh Network (CMN) is a highly scalable, configurable system interconnect. It is used in a wide array of system sizes and applications, such as …
Mostrar empresa →ASIC Engineering Intern, Formal Verification
intern~$9.3K /moSunnyvale, CA, US →hace 4 d
formal verification
Meta is seeking an ASIC Engineer Intern, Formal Verification to join our Infrastructure Silicon organization. Our servers and data centers are the foundation upon which our rapidly…
Mostrar empresa →Test & Development Engineer
officeCambridge, GB →hace 4 d
formal verificationpython
Cellular OriginsCell therapies have been shown to cure devastating diseases like cancer by reprogramming a patient’s own immune system, offering hope where there was none before. G…
Mostrar empresa →Senior Backend Software Engineer (Arsenal 2)
senioroffice222.500 USD · periodo no indicadoSanta Ana, California, United States, US →hace 4 d
ci/cdcloudformal verificationgographqljavascript+5
Anduril Industries is a defense technology company with a mission to transform U.S. and allied military capabilities with advanced technology. By bringing the expertise, technology…
Mostrar empresa →Staff/ Senior Backend (Physical Design) Engineer
senior8000 SGD · periodo no indicadoSingapore, SGhace 4 d
Physical VerificationWritten and Verbal Communication AbilitiesStatic Timing AnalysisMicroelectronicsComputer ScienceFormal Verification+6
Job Responsibilities - Work with the front-end design team to completethe chip floorplan, clock architecture, and powerplan. - Responsible for backend/PD tasks from theNetlist to t…
Mostrar empresa →Technical Lead Digital Design Engineer
leadoffice160.000 USD · periodo no indicadoSan Jose, California, United States, US →hace 4 d
formal verificationpython
Astera Labs (NASDAQ: ALAB) provides rack-scale AI infrastructure through purpose-built connectivity solutions. By collaborating with hyperscalers and ecosystem partners, Astera Lab…
Mostrar empresa →