{"id":447464,"url":"https://alion.io/job/arago-digital-verification-engineer","title":"Digital Verification Engineer","company":{"id":173018,"name":"Arago","domain":"arago.inc","url":"https://alion.io/company/arago-2","size_band":"201-500","is_staffing_agency":false,"employer_type":"direct","is_intermediary":false,"listed_via":null,"ats_vendor":"Ashby","truth_index":{"grade":"B","score":83,"open_postings":4,"ghost_share":0,"stale_share":0.5,"repost_share":0,"time_to_fill_p50_days":76,"computed_at":"2026-10-28T05:59:10Z"}},"role":"Hardware","role_family":"Hardware","seniority":null,"employment_type":"full_time","work_mode":"on_site","remote_scope":null,"remote_scope_basis":null,"remote_working_hours":null,"hiring_geo_confidence":"structured","locations":["Paris, France","Tel Aviv, Israel"],"countries":["FR","IL"],"hiring_countries":[],"hiring_countries_total":0,"salary":null,"salary_estimate":{"min_usd":48000,"max_usd":91000,"period":"year","method":"role_country_seniority_unknown","sample_n":66},"experience_years_min":null,"visa_sponsorship":false,"relocation_package":false,"has_equity":true,"technologies":[{"name":"Hugging Face","optional":false},{"name":"Machine Learning","optional":false},{"name":"SystemVerilog","optional":false},{"name":"UVM","optional":false},{"name":"Formal Verification","optional":true}],"status":"live","first_seen_at":"2025-07-25T13:27:30Z","employer_posted_date":"2025-07-25","last_verified_at":"2026-10-28T08:05:14Z","board_verified":true,"closed_at":null,"days_open":459,"trust":{"level":"stale","repost_count":0,"flags":["stale"],"days_open":459},"description":"Meet Arago and the Aragonians\nArago is an AI and computer hardware company whose mission is to drive the course of history forward. We do so by accelerating breakthroughs at the intersection of AI and semiconductors.\nFounded in 2024 by AI researchers and physicists with deep expertise in photonics, electronics, software, mathematics, and machine learning, Arago brings together a lean team of engineers and scientists from the world’s top companies and research labs.\nComposed of nine nationalities and operating from hubs in France, North America, and Israel, we believe in great science and fast achievements. Our work is guided by these core principles:\nDo great things: we deliver work we’re proud to sign our name to.\n\nHigh velocity: speed matters. We move quickly, one step at a time.\n\nOne unit: we’re all in this together, with relationships grounded in trust, respect, and camaraderie.\n\nArago is backed by executives from Apple, Arm, Nvidia, Microsoft, and Hugging Face, as well as prominent US and European deeptech venture firms and exited founders.\nWhat you’ll do\nPlay a critical role in ensuring the functional integrity, performance, and reliability of next-generation optical chips.\nRequired Skills and Experience\nBachelor’s, Master’s, or PhD in Electrical Engineering, Computer Engineering, or a related field.\n\nProven fluency and hands-on expertise in SystemVerilog for verification.\n\nDemonstrated prior experience with the UVM framework and modern verification environments.\n\nDirect knowledge of standard protocols (AXI/AXIStream, APB/AHB, I2C, JTAG, PCIe) and experience verifying digital logic for high-speed interfaces.\n\nPractical experience verifying RISC-V CPU designs or equivalent digital processor architectures within an ASIC context.\n\nStrong analytical and communication skills for customer-driven projects and interdisciplinary teamwork.\n\nLanguage: English at a proficient level. French is a plus.\n\nResponsibilities\nDevelop robust verification plans for complex digital and mixed-signal optical chip designs.\n\nCollaborate closely with architects, designers, and customers to understand logic requirements, translate them into verification strategies, and deliver clear, actionable feedback throughout the development process.\n\nPerform netlist-level simulations with SDF back-annotation for timing-accurate verification\n\nSupport FPGA/ASIC bring-up and post-silicon validation as needed\n\nDevelop, maintain, and optimize testbenches and verification components using advanced SystemVerilog features, such as constrained random testing, assertions, and transaction-level modeling, to create robust coverage-driven environments.\n\nDesign scalable, reusable UVM-based environments and components (e.g., agents, monitors, scoreboards) for block- and system-level verification. Employ UVM to achieve regression automation, functional coverage closure, and high bug-detection efficiency.\n\nDevelop and execute verification strategies for digital blocks implementing or interfacing with PCI Express (PCIe). Apply protocol-checking, compliance validation, error injection, and debug skills for PCIe endpoints and root complex devices. Use protocol analyzers and simulation environments to validate correct implementation across all protocol layers.\n\nParticipate in the verification of RISC-V CPU cores and subsystems. Create test plans targeting processor modules (ALU, decoder, register file, control logic), with reference model comparisons, signature checks, and coverage of edge-case scenarios. Leverage formal verification and compliance suites for thorough design validation.\n\nPlan and perform end-to-end ASIC verification, from block-level testbenches to full-chip integration. Execute functional and regression tests, formal verification, and coverage analysis. Debug and resolve design issues, ensuring pre-silicon reliability before manufacturing. Engage in design reviews and system-level protocol validation with cross-functional teams.\n\nDesired attributes\nProactive in anticipating and mitigating design risks, including the assessment of undetected flaws via coverage-driven and formal verification.\n\nProven ability to deliver in fast-paced, collaborative startup environments.\n\nOwnership mindset, attention to detail, and commitment to high product quality.\n\nPay and benefits\nCompetitive cash compensation, with final package based on location, experience, and the pay of team members in similar positions.\n\nMeaningful stock option plan offered at the earliest stage of the company (included in the majority of full time offers).\n\nRelocation bonus and coverage of moving expenses for relocation within 20 minutes of the company’s location.\n\nHealthcare coverage (including family-friendly options), pension contributions, professional development support, and 25 days of PTO, in addition to public holidays.\n\nOwnership of a key technical domain, with significant vertical and/or horizontal growth opportunities, based on performance and individual drive.\n\nReimbursement of 50% of the public transport subscription fee.\n\nA high-paced, multicultural (with 10 nationalities), and engineering-led environment.","description_format":"text","description_chars":5136,"description_truncated":false,"requirements":{"experience_years_min":null,"management_years_min":null,"team_size_min":null,"manages_managers":false,"education":{"level":"bachelor","optional":false},"security_clearance":false,"languages":[{"language":"English","level":"All levels","optional":false}]},"benefits":["Growth opportunities","Professional development"],"hiring_locations":[],"hiring_excludes":[],"relocation_offered":true,"industries":["Processors, MCUs & AI Chips","AI Chips & Accelerators"],"lifecycle":[{"event":"open","at":"2026-09-06T07:59:09Z"}],"visa":[],"liveness":{"score":6,"band":"cold","label":"Long shot","p_open":1,"p_active":0.206,"p_room":0.28,"age_days":459,"expected_fill_days":76,"reasons":["conf:2","win:tail","crowd:"],"computed_at":"2026-10-28T05:59:10Z"},"pay":null,"html_url":"https://alion.io/job/arago-digital-verification-engineer","json_url":"https://alion.io/job/arago-digital-verification-engineer.json","meta":{"generated_at":"2026-10-28T11:29:51Z","cache_seconds":300,"methodology":"https://alion.io/methodology","terms":"https://alion.io/terms","contact":"https://alion.io/contact","api":"https://alion.io/developers","about":"Alion is a live layer of people, companies and AI agents: who they are, whether they are real and active right now, what they do and how to work with them, readable by people and by agents and paid per call.","catalog":"https://alion.io/catalog.json","usage":{"tier":"crawler_verified","counted_by":"address","units_charged":1,"used_today":15070,"day_limit":null,"remaining_today":null,"minute_limit":300,"resets_at":"2026-10-29T00:00:00Z"}},"offers":[{"id":"company.slices","title":"One company in depth, by slice","status":"live","price":{"credits":0.02,"usd":0.002,"plus_per_slice":{"credits":0.05,"usd":0.005}},"unit":"per company, plus each slice with data","note":"the employer in depth","call":{"mcp_tool":"get_company","arguments":{"id":173018},"rest":"https://alion.io/mcp/rest/get_company?id=173018"},"human":"https://alion.io/catalog?offer=company.slices&for=job%2Farago-digital-verification-engineer"},{"id":"market.stats","title":"A market slice: pay, demand and time to fill","status":"live","price":{"credits":1,"usd":0.1},"unit":"per slice","note":"pay, demand and time to fill for this role and place","call":{"mcp_tool":"market_stats"},"human":"https://alion.io/catalog?offer=market.stats&for=job%2Farago-digital-verification-engineer"},{"id":"job.search","title":"Open jobs by role, technology, place, pay and visa","status":"live","price":{"credits":0.02,"usd":0.002},"unit":"per posting in a list","note":"similar open postings","call":{"mcp_tool":"search_jobs"},"human":"https://alion.io/catalog?offer=job.search&for=job%2Farago-digital-verification-engineer"},{"id":"company.verify","title":"Is this company real and active right now","status":"pilot","price":null,"unit":"per company","request":{"url":"https://alion.io/catalog/request","method":"POST","body":"{\"offer\": \"company.verify\", \"for\": \"job/arago-digital-verification-engineer\", \"note\": \"what you need it for\"}"},"human":"https://alion.io/catalog?offer=company.verify&for=job%2Farago-digital-verification-engineer"}],"agent":{"mcp":"https://alion.io/mcp/jobs","mcp_open":"https://alion.io/mcp/open","next":[{"tool":"get_job","arguments":{"id":447464}},{"tool":"search_jobs","arguments":{"company":"arago.inc","detail":"compact"}},{"tool":"match_people","arguments":{"job_id":447464},"note":"people open to offers who fit this vacancy"}],"note":"The same data through MCP tools: https://alion.io/mcp/open needs no sign-in (compact searches, postings, people); https://alion.io/mcp with an Alion account has everything. Docs: https://alion.io/developers"}}