{"id":2120973,"url":"https://alion.io/job/codasip-verification-engineer","title":"Verification Engineer","company":{"id":1832563,"name":"Codasip","domain":"codasip.com","url":"https://alion.io/company/codasip","size_band":"51-200","is_staffing_agency":false,"employer_type":"direct","is_intermediary":false,"listed_via":null,"ats_vendor":"BambooHR","truth_index":null},"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":"explicit","locations":["Bristol, United Kingdom"],"countries":["GB"],"hiring_countries":[],"hiring_countries_total":0,"salary":null,"salary_estimate":{"min_usd":55000,"max_usd":106000,"period":"year","method":"role_country_seniority_unknown","sample_n":90},"experience_years_min":null,"visa_sponsorship":false,"relocation_package":false,"has_equity":false,"technologies":[{"name":"C++","optional":false},{"name":"Git","optional":false},{"name":"Linux","optional":false},{"name":"Python","optional":false},{"name":"Rust","optional":false},{"name":"SystemVerilog","optional":false}],"status":"live","first_seen_at":"2026-06-19T00:00:00Z","employer_posted_date":"2026-06-19","last_verified_at":"2026-10-12T19:45:02Z","board_verified":true,"closed_at":null,"days_open":115,"trust":{"level":"stale","repost_count":0,"flags":["stale"],"days_open":115},"description":"**Please note this role is only open to candidates currently located in and with working rights in the UK**\nLocation: Preferably based at one of our UK design centres (Bristol or Cambridge).\nSeniority: Engineer, Senior Engineer \nWelcome to Codasip\nAt Codasip, we’re redefining the future of computing. Following a bold strategic pivot toward cyber-resilient semiconductor architectures, we are building next-generation processors and systems where security is embedded at the very core by design, not as an afterthought. As we expand our portfolio of secure, CHERI -enabled technologies and focus on delivering architecture-first security solutions, there has never been a more exciting time to join. We are embarking on clean-sheet designs and expanding the teams of engineers who can establish high-quality working practices as they explore new ground. Be part of a global team shaping the next era of secure computing where innovation, ownership, and impact go hand in hand.\nThe impact you’ll make\nVerify RISC-V processors and extensions\nDevelop verification solutions (e.g., test benches and test bench components, stimulus generation, formal environments)\nCollaborate with other engineers in a team responsible for the delivery of all verification activities related to a component or subsystem from start to finish\nDefine verification strategies for blocks and sub-systems, identifying and utilising the right tools\nReview technical specifications, providing feedback from a verification perspective\nRun simulations, hunt bugs and complete root cause analysis of complex issues\nDefine, estimate, prioritise and track your own work\nTrack and report verification metrics\nCraft automated verification flows\nWhat You Bring to The Table\nCommercial experience with functional processor verification methodologies as applied to CPU or other ASIC verification (simulators, test generation, coverage collection, gate-level simulation, etc.)\nKnowledge of verifying CPU architectures or other IP\nFluency and the ability to write clear and concise code in languages like SystemVerilog, Python, C++, Rust, etc. \nPast verification ownership of a design block\nUser knowledge of Linux to enable automation of common tasks\nKnowledge of versioning tools (Git, SVN)\nKnowledge of RISC-V Architecture\nGood knowledge of computer systems and architecture\nAnalytical thinking and team collaboration skills\nAbility to work effectively across teams to debug issues and find root causes\nOur UK Design Centers\nOur UK design centres in Cambridge and Bristol, launched in early 2022, are driving innovation in cutting-edge RISC-V CPU development. We’re designing high-performance, low-power CPU cores entirely from scratch to power some of the most exciting applications- think high-performance supercomputers and next-generation embedded systems. This is a unique chance to work on clean-sheet designs that push technological boundaries and make a real impact.\nWe’re looking for Verification Engineers to help bring our vision to life. You’ll be a key part of verifying complex, state-of-the-art CPUs, including advanced out-of-order processors. Taking ownership of portions of the design, you’ll apply a range of verification methodologies and play a vital role in setting high standards for a brand-new platform.\nThis is an opportunity to collaborate with an international team spanning Europe, working alongside world-class engineers across disciplines to solve challenges and pioneer new ideas. If you’re a bright, driven self-starter who thrives on innovation and wants to build something great, we’d love to hear from you.\nJoin us in Cambridge or Bristol and be part of a team redefining what’s possible in CPU design and cyber-resilient semiconductor architectures.\nGet to Know Us\nCodasip announces strategic pivot and divestiture\nCHERI-RISC-V standardisation status - Tariq Kurd | CHERITech'25\nWhy Codasip went all-in on CHERI - CHERI Alliance","description_format":"text","description_chars":3928,"description_truncated":false,"requirements":{"experience_years_min":null,"management_years_min":null,"team_size_min":null,"manages_managers":false,"education":null,"security_clearance":false,"languages":[]},"benefits":[],"hiring_locations":[{"name":"United Kingdom","iso":"GB","kind":"country"}],"hiring_excludes":[],"relocation_offered":false,"industries":["Cybersecurity","Hardware","Processors, MCUs & AI Chips"],"lifecycle":[{"event":"open","at":"2026-10-08T23:59:30Z"}],"visa":[],"liveness":{"score":8,"band":"cold","label":"Long shot","p_open":1,"p_active":0.271,"p_room":0.28,"age_days":115,"expected_fill_days":33,"reasons":["conf:2","win:tail","crowd:"],"computed_at":"2026-10-12T06:55:09Z"},"pay":null,"html_url":"https://alion.io/job/codasip-verification-engineer","json_url":"https://alion.io/job/codasip-verification-engineer.json","meta":{"generated_at":"2026-10-12T23:45:05Z","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":38915,"day_limit":null,"remaining_today":null,"minute_limit":300,"resets_at":"2026-10-13T00: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":1832563},"rest":"https://alion.io/mcp/rest/get_company?id=1832563"},"human":"https://alion.io/catalog?offer=company.slices&for=job%2Fcodasip-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%2Fcodasip-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%2Fcodasip-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/codasip-verification-engineer\", \"note\": \"what you need it for\"}"},"human":"https://alion.io/catalog?offer=company.verify&for=job%2Fcodasip-verification-engineer"}]}