Bucharest, Romania · On-site
A unique opportunity to take part in building an R&D team for a global company.We are seeking highly experienced and visionary formal verification engineer to contribute to the development of advanced AI connectivity arc…
Skills: Formal Verification, SystemVerilog Assertions, JasperGold, VC Formal, SoC Verification
Bucharest, Romania · On-site
We are looking for a Senior Java Developer to join our growing team. The ideal candidate has strong experience in designing, developing, and maintaining scalable backend systems using Java and modern development framewor…
Skills: Java, Kotlin, JVM, REST API, SQL
Bucharest, Romania · Hybrid
Location: Bucharest, Romania Thales is a global technology leader trusted by governments, institutions, and enterprises to tackle their most demanding challenges. From quantum applications and artificial intelligence to …
Skills: Java Spring, Angular, French B1, Cloud-native Development, AWS
Bucharest, Romania · Hybrid
Ready to join the future of innovation at NXP? NXP Semiconductors enables secure connections and infrastructure for a smarter world, advancing solutions that make lives easier, better and safer. As the world leader in se…
Skills: C++, C, Embedded Systems, Deep Learning, Operating Systems
Bucharest, Romania · On-site
JOB DESCRIPTION: Main Purpose of the Role Summarize the main purpose of the role Experienced professional individual contributor that works under limited supervision. Applies subject matter knowledge in the area of Medic…
Skills: Technical Analysis, Product Implementation, Troubleshooting, Technical Training, Medical Device Field Service
Bucharest, Romania · On-site
Job Description Summary Job Description Essential Responsibilities: Achieve the certain operation according to MOP, programs, tooling list and etc. provided by technical support section. Fulfill conformation processing. …
Skills: CNC Machining, Engineering Drawings, Tooling Administration, Measuring Tools, AutoCAD
Bucharest, Romania · On-site
At Alstom, we understand transport networks and what moves people. From high-speed trains, metros, monorails, and trams, to turnkey systems, services, infrastructure, signalling and digital mobility, we offer our diverse…
Skills: Preventive Maintenance Planning, Corrective Maintenance, SAP, MS Office, Rolling Stock Maintenance
Bucharest, Romania · On-site
About Us LSEG (London Stock Exchange Group) is more than a diversified global financial markets infrastructure and data business. We are dedicated, open-access partners with a dedication to excellence in delivering the s…
Skills: JavaScript, TypeScript, Node.js, Angular, React
Bucharest, Romania · Hybrid
Discover ING Hubs Romania ING Hubs Romania offers 130 services in software development, data management, non-financial risk & compliance, audit, and retail operations to 24 ING units worldwide, with the help of over 2000…
Skills: Java 17, Java 21, Spring, Spring Boot, Kafka
Bucharest, Romania · Remote OK
About Qualysoft · 25 years of experience in software engineering, established in Vienna, Austria · Active in Romania since 2007, with office in central Bucharest (Bd. Iancu de Hunedoara 54B) · Delivering End to End IT Co…
Skills: Python, FastAPI, React, TypeScript, PostgreSQL
Bucharest, Romania · Remote OK
About Qualysoft · 25 years of experience in software engineering, established in Vienna, Austria · Active in Romania since 2007, with office in central Bucharest (Bd. Iancu de Hunedoara 54B) · Delivering End to End IT Co…
Skills: Python, Pytest, Playwright, API Testing, SQL
Bucharest, Romania · Hybrid
Req ID: 367085 NTT DATA strives to hire exceptional, innovative and passionate individuals who want to grow with us. If you want to be part of an inclusive, adaptable, and forward-thinking organization, apply now. We are…
Skills: Microsoft Intune, VMware Workspace ONE, Microsoft Endpoint Manager, SCCM, PowerShell
Bucharest, Romania · Remote OK
About Qualysoft · 25 years of experience in software engineering, established in Vienna, Austria · Active in Romania since 2007, with office in central Bucharest (Bd. Iancu de Hunedoara 54B) · Delivering End to End IT Co…
Skills: Java, Playwright, API Testing, SQL, PostgreSQL
Bucharest, Romania · Remote OK
About Qualysoft · 25 years of experience in software engineering, established in Vienna, Austria · Active in Romania since 2007, with office in central Bucharest (Bd. Iancu de Hunedoara 54B) · Delivering End to End IT Co…
Skills: Java 21, Spring Boot, React, TypeScript, PostgreSQL
Bucharest, Romania · Hybrid
About Qualysoft · 25 years of experience in software engineering, established in Vienna, Austria · Active in Romania since 2007, with office in central Bucharest (Bd. Iancu de Hunedoara 54B) · Delivering End to End IT Co…
Skills: C#, .NET, PostgreSQL, Kotlin, Jetpack Compose
Bucharest, Romania · Hybrid
About Qualysoft · 25 years of experience in software engineering, established in Vienna, Austria · Active in Romania since 2007, with office in central Bucharest (Bd. Iancu de Hunedoara 54B) · Delivering End to End IT Co…
Skills: Swift, Auto Layout, MVC, MVP, RESTful Services
Bucharest, Romania · Hybrid
What You'll Do: The Experience Enablers Group within Platform R&D builds the foundational user platform used across all Criteo products. Our teams design and deliver scalable SaaS building blocks that enable consistent, …
Skills: Technical Leadership, Team Management, System Architecture, C#, .NET
Bucharest, Romania · Hybrid
At Alstom, we understand transport networks and what moves people. From high-speed trains, metros, monorails, and trams, to turnkey systems, services, infrastructure, signalling and digital mobility, we offer our diverse…
Skills: Supplier Relationship Management, Contract Negotiation, QCDT Performance Monitoring, Commodity Strategy, Request For Quotation
Bucharest, Romania · On-site
Discover ING Hubs Romania ING Hubs Romania offers 130 services in software development, data management, non-financial risk & compliance, audit, and retail operations to 24 ING units worldwide, with the help of over 2000…
Skills: SQL, Data Engineering, Data Modeling, ETL/ELT, Power BI
Bucharest, Romania · Hybrid
OverviewExpleo is a global engineering, technology, and consulting service provider that partners with leading organizations to guide them through their business transformation, helping them achieve operational excellenc…
Skills: Security Testing, Penetration Testing, Fuzz Testing, Wireless Protocols, GSM
Sign up with Clera and we'll reach out the moment a role actually fits you — no more spraying applications into the void.
Define and execute formal verification strategies for complex SoCs and networking architectures. Develop and maintain formal verification environments and collaborate with design teams to ensure functional correctness.
Requires a B.Sc. in Computer Science or Engineering with over 5 years of industry experience in formal verification. Proficiency with tools like JasperGold or VC Formal and experience with SVA is essential.
A unique opportunity to take part in building an R&D team for a global company.We are seeking highly experienced and visionary formal verification engineer to contribute to the development of advanced AI connectivity architectures and help define the formal verification methodology from the ground up.
Responsibilities:
• Define and execute formal verification strategies and methodologies for complex SoCs, IPs, and networking architectures (Switches, NICs, SmartNICs).
• Develop, implement, and maintain formal verification environments and test plans from concept to production.
• Specify formal properties, assertions, and constraints using formal tools and SystemVerilog Assertions (SVA).
• Own the formal verification environment, including setup, maintenance, and integration with simulation-based flows.
• Collaborate closely with architecture, RTL, and design teams to identify corner cases, ensure functional correctness, and drive verification sign-off.
• Act as a key contributor in shaping the formal verification infrastructure and methodology of the new Israeli site.
• B.Sc. in Computer Science or Computer Engineering.
• 5+ years of industry experience in formal verification.
• Proven experience with JasperGold, VC Formal, or similar formal verification tools.
• Demonstrated ownership and maintenance of formal verification environments.
• Strong analytical and problem-solving skills.
• Team player with excellent interpersonal and communication abilities.
• Experience as a verification engineer with practical knowledge of SystemVerilog and UVM methodology.
• Familiarity with networking architectures and IPs (Switches, NICs, SmartNICs).
• Experience integrating formal verification within broader project verification flows.
The #1 AI-powered digital auditing platform globally - to fulfill all system, process, & product auditing requirements.
QualityAI was designed by a team with 100 man-years in manufacturing quality, who started with no preconceived notions and simply wanted to create the best solution. Our senior leadership team have actually spent most of their lives on the plant floor, holding positions ranging from Quality Manager to Production Manager to Plant Manager to Worldwide Head of Quality. Job #1 was to create a flexible, customizable application that could be quickly and easily put into production - typically 4 hours of hands-on implementation and it's live. After proving we understand what's important and showing substantial value within your organization, we then think you'll discover our AI engine isn't a bolted-on, me-too product, and it can transform your quality program. Ask us to prove it - we'd be honored to work with you.
View all jobs at QualityAIThere are currently 539 open engineering positions in Bucharest, Romania listed on Clera. New openings are added daily as companies post roles.
Companies currently hiring include AECOM, QualityAI, Inetum, AgileEngine, VOIS, among others. Browse the listings above to see every active employer.
Yes — 334 of the 539 open engineering positions offer remote or hybrid work (76 remote, 258 hybrid).
Each listing links directly to the employer's application page. Apply early — fresh listings get the most recruiter attention in the first two weeks.
