Usiamo cookie tecnici e il registro anonimo delle visite di Zorky. Yandex Metrica (dati conservati su server in Russia) funziona solo con il tuo consenso. Non vendiamo mai dati. Ulteriori informazioni su cookie e statistiche.
Zorky è in modalità test: è tutto gratuito. Le offerte e le pagine delle aziende sono aperte a tutti; i link agli annunci e la tua selezione personale si aprono dopo la registrazione. Registrati →
Offerte
Offerte IT live di aziende di tutto il mondo, da fonti pubbliche. Aggiornato ogni giorno. Chi siamo →
Formal Verification
Constructor Student Labs
officeGermany, Bremen, DEoggi
fine-tuningformal verificationllm
Student Labs: Constructor Fabric Research Edition
Curious how AI is changing the way software is built? Want to explore it hands-on, guided by the researchers who work on it every…
Mostra l'azienda →Senior Systems IVVQ Engineer
seniorhybridGlasgow, GBoggi
formal verification
Location: Glasgow, United Kingdom
[…] is a global technology leader with more than 83,000 employees on five continents. With over 7,500 people in the UK, operating across defence,…
Mostra l'azienda →Principal EDA R&D Engineer
principal232.000 USD · periodo non indicatooggi
c++formal verificationlangchainllm
[…] is seeking an experienced Principal EDA R&D Engineer to pioneer the next generation of Hardware Formal Verification tools!
In this position, you will lead research, architectu…
Mostra l'azienda →Student Researcher Program (Formal Reasoning, LLM Post-Training)
officeLondon, GBoggi
formal verificationllm
Reasonable is the applied AI research company building formal verification for post-human software development. Thanks to super-human AI capabilities, code generated by AI can be p…
Jobs by Adzunadescrizione breve
Mostra l'azienda →Software Engineer - Turso
remote500 USD · periodo non indicatooggi
awscloudformal verificationkubernetesllmrust+2
About […]
[…] is the Postgres development platform, built by developers for developers. We provide a complete backend solution including Database, Auth, Storage, Edge Functions, Re…
Mostra l'azienda →Member of Technical Staff- Post-training & evals (ML)
officeLondon, GBoggi
formal verification
Reasonable is the applied AI research company building formal verification for super-human software development. Correctness guarantees for software developed by humans and machine…
Jobs by Adzunadescrizione breve
Mostra l'azienda →ASIC Digital Design, Sr Staff Engineer
principalYerevan, AM1 g fa
formal verification
We Are: At […], we drive the innovations that shape the way we live and connect. Our technology is central to the Era of Pervasive Intelligence, from self-driving cars to learning …
Mostra l'azienda →Security Chain Engineer ([…] Labs)
remoteRemote1 g fa
blockchainc#cosmwasmdefiethereumevm+6
ABOUT THE ROLE
We are looking for an accomplished Chain Engineer with a security focus to join our existing highly-skilled global protocol team. You will build and harden the core…
Mostra l'azienda →ASIC Formal Verification Engineer, […] Cloud
Sunnyvale, CA, USA, US1 g fa
cloudformal verificationgoogle cloud
ASIC Formal Verification Engineer, […] Cloud corporate_fare […] place Sunnyvale, CA, USA bar_chart Mid Mid Experience driving progress, solving problems, and mentoring more junior …
Mostra l'azienda →Principal ASIC Design Verification Engineer
principalremote237.500 USD · periodo non indicatoUnited States - Remote, US1 g fa
c++ci/cdformal verificationgitperlpython
K2 is building the largest and highest-power satellites ever flown, unlocking performance levels previously out of reach across every orbit. Backed by over $1 billion in total fund…
Mostra l'azienda →Principal ASIC Synthesis and Timing Engineer
principalremote235.000 USD · periodo non indicatoUnited States - Remote, US1 g fa
formal verificationfoundry
K2 is building the largest and highest-power satellites ever flown, unlocking performance levels previously out of reach across every orbit. Backed by over $1 billion in total fund…
Mostra l'azienda →Senior ASIC Design Verification Engineer
seniorremote210.000 USD · periodo non indicatoUnited States - Remote, US1 g fa
c++ci/cdformal verificationgitperlpython
K2 is building the largest and highest-power satellites ever flown, unlocking performance levels previously out of reach across every orbit. Backed by over $1 billion in total fund…
Mostra l'azienda →Security Chain Engineer
remoteNew York or Remote (US), US1 g fa
blockchaincosmwasmdefiethereumevmformal verification+6
About […]
[…] is trailblazing a new dawn for Web3 enabled finance. We are the core contributors to Injective, one of the fastest growing blockchains in the industry.
Injective prov…
Mostra l'azienda →Motion Controls Robotics Engineer
officeSouthbank, Australia, AU1 g fa
c++formal verificationlinuxpython
The Bigger Picture
At Andromeda, we're building the social intelligence layer for humanoid robots - technology that allows robots to understand people, build relationships and beco…
Mostra l'azienda →Logic & Reasoning Systems Engineer / Scientist
officeBengaluru, India , IN1 g fa
formal verificationsql
About us - Emergence AI is a frontier agentic AI lab advancing safe, autonomous AI through its pioneering neuroformal architecture. We are building the next generation of enterpris…
Mostra l'azienda →Research Engineer (LLM + Ontology) - India
officeIndia , IN1 g fa
formal verificationllmsql
About us - Emergence AI is a frontier agentic AI lab advancing safe, autonomous AI through its pioneering neuroformal architecture. We are building the next generation of enterpris…
Mostra l'azienda →Verification Engineer Platforms Team
seniorBristol, Bristol, City of, GB →1 g fa
c++ci/cdformal verificationgitgitlabjenkins+3
**Please note this role is only open to candidates currently located in and with working rights in the UK**
Location: Preferably based at one of our UK design centres (Bristol …
Mostra l'azienda →Cloud Systems Engineer IV
office~$13.1K /moHanscom AFB, MA or Huntsville, AL, US →2 g fa
agileawsazurecloudformal verification
Start Date: Immediate
JHNA, CTSi, and […] have come together to form a Defense Technology platform named Aether Aerospace focused on delivering high-impact technologies, technolog…
Mostra l'azienda →Systems Engineer – Standards / Technical Specifications
office112.000 USD · periodo non indicatoBethesda, US →2 g fa
devopsformal verificationjavapythonuml
[…] Overview
[…] is a next-generation national security company that drives missions of consequence spanning the globe and extending to the farthest reaches of the galaxy. As the …
Mostra l'azienda →CAD Engineering Intern
internhybridSan Jose, US →2 g fa
formal verificationlinuxllmpython
Overview
[…], a premier chip and silicon IP provider making data faster and safer, is seeking to hire an exceptional CAD Engineering Intern to join our Central CAD team in San Jos…
Mostra l'azienda →1 / 12