Usamos cookies técnicos e o registro de visitas anonimizado do Zorky. O Yandex Metrica (dados armazenados em servidores na Rússia) só funciona com o seu consentimento. Nunca vendemos dados. Mais sobre cookies e estatísticas.
O Zorky está em modo de teste — tudo é gratuito. As vagas e as páginas das empresas são abertas a todos; os links dos anúncios e sua seleção pessoal abrem após o cadastro. Cadastre-se →
Vagas
Vagas de TI ao vivo de empresas do mundo todo, de fontes públicas. Atualizado diariamente. Sobre →
Filtro de stack:formal verification
Logic & Reasoning Systems Engineer / Scientist
remoteRemotehoje
formal verificationsql
About Emergence AI Emergence AI is a frontier agentic AI lab advancing safe, autonomous AI through its pioneering neuroformal architecture. We are building the next generation of e…
Mostrar empresa →AI Cybersecurity Researcher
office~$5.1K /moManor House, GBhá 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 Adzunadescrição curta
Mostrar empresa →SoC Design Engineer
office167.360 USD · período não informadoSan Jose, US →há 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, SGhá 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, SGhá 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, SGhá 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, SGhá 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, SGhá 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 Engineerhá 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 →há 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 →há 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 →há 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 →há 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 →há 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 →há 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 →há 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 · período não informadoSanta Ana, California, United States, US →há 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 →ASIC Verification Engineer
middlehybridhá 4 d
formal verificationperlpython
At Cornelis we’re building the future of AI and HPC networking with an AI-first approach to silicon and software development. We’re seeking engineers who are energized by working o…
Mostrar empresa →Staff/ Senior Backend (Physical Design) Engineer
senior8.000 SGD · período não informadoSingapore, SGhá 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 · período não informadoSan Jose, California, United States, US →há 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 →1 / 11