Formal jobs

Physical Design Engineer Armenia Meet the Team Step into Cisco's ASIC Physical Design Team, where innovation meets collaboration. As a group of highly skilled engineers, we're redefining what's possible in silicon technology. Our mission is to drive the future of chip design, managing full chip physical implementation from RTL to GDSII and beyond. Working hand-in-hand with Front-End teams, we transform cutting-edge designs into industry-leading silicon solutions. Here, you'll have the opportunity to shape tomorrow's technology, driving advancements in power, performance, and reliability with every project. Together, we're building the foundation for the future of connectivity. Your Impact In this role, you'll drive Cisco's silicon innovation by creating breakthrough solutions that blend hardware and software. You'll solve complex challenges, accelerate design processes, and deliver impactful technology. Beyond your technical work, you'll be part of a culture that values mentorship, celebrates success, and supports your growth. This is your opportunity to shape technology that connects and empowers people worldwide. You will be responsible for macro level RTL to GDS implementation and signoff. Work with Front-End teams to understand the design architecture to ensure optimal physical implementation. Execute physical design tasks, including gate-level netlist synthesis, floorplanning, placement, Clock Tree Synthesis (CTS), and routing. Optimize designs to achieve industry-leading power, performance, and area (PPA) metrics while maintaining design integrity through formal verification. Conduct Static Timing Analysis (STA), physical verification, formal verification and signoff closure to ensure high-quality results. Analyze and resolve Electromigration (EM) and IR-drop (IR) issues, meeting stringent signoff requirements for reliability and

Senior Digital Verification Engineer Kallithea, Athens, , Greece Company Description: Job Description: We are seeking an experienced Senior Digital Verification Engineer to lead end‑to‑end verification of complex IC blocks and systems. Key Responsibilities Define Strategy & Ownership: Architect and execute comprehensive verification strategies, test plans, and implement UVM-based environments from scratch. Verification Closure: Drive functional and code coverage to closure, utilizing constrained-random testing, assertion-based verification (SVA), and formal methods to prove design correctness. Specification Quality: Review design specifications early in the cycle to improve their quality, clarity, and "fitness for verification." Cross-Functional Collaboration: Partner with global architecture, design, and software teams to optimize hardware/software partitioning and system-level verification. Technical Leadership: Mentor and tutor junior engineers, champion design/verification reviews, and optimize automation flows for reusability and performance. Make/Buy Decisions: Participate in evaluating third-party VIP and tools, steering make/buy choices to ensure maximum engineering efficiency. Qualifications: Experience: Extensive proven experience in ASIC/IC digital verification with strong mastery of SystemVerilog and UVM. Strong Technical capabilities : Demonstrated ability to independently set up a UVM testbench from scratch, translating a specification into a final full verification Environment. Tools & Languages: Proficiency with industry-standard simulators and management tools (e.g., Cadence Xcelium, eManager/vManager) along with Verilog, VHDL, and SystemVerilog. Methodologies: Solid grounding in Functional Verification, ABV, Formal Verification, and regression frameworks. Design Skills: Intermediate to advanced digital design skills, allowing for deep technical alignment with design and architecture teams. Communication: Excellent interpersonal skills and strong proficiency in English (written and verbal), with the assertiveness to effectively

Manager Quality Assurance H/F Lesquin posted: Posted 30+ Days Ago

Assurance Supervisor 1 - TMT Gurugram posted: Posted 8 Days Ago

IT Operations Specialist New York, New York / Remote About the Company Born from groundbreaking research at Columbia University and Yale University, CertiK is a leading Web3 security company focused on securing blockchain protocols, smart contracts, and decentralized applications through cutting-edge security research, formal verification, and AI-powered technology. Founded in 2017 and headquartered in New York City, CertiK provides end-to-end security solutions including smart contract audits, penetration testing, on-chain monitoring, incident response, and compliance services for some of the largest projects in the digital asset ecosystem. Today, CertiK supports thousands of enterprise clients and Web3 projects globally, with a distributed international team spanning North America, Asia, and Europe. The company is backed by leading investors including Coatue, Goldman Sachs, Insight Partners, and Sequoia Capital, and has been recognized by organizations such as the World Economic Forum and CB Insights for its contributions to blockchain security innovation. About You You are proactive, reliable, and enjoy helping people solve problems. You are highly organized, eager to learn, and comfortable supporting both technical and non-technical teams. You enjoy being hands-on, can adapt quickly in a fast-paced environment, and are willing to take ownership of day-to-day operational tasks to help keep the office and systems running smoothly. About the Company Born from groundbreaking research at Columbia University and Yale University, CertiK is a leading Web3 security company focused on securing blockchain protocols, smart contracts, and decentralized applications through cutting-edge security research, formal verification, and AI-powered technology. Founded in 2017 and headquartered in New York

Sr. Software Development Engineer, AWS Proactive Security Seattle, Washington, USA AWS customers trust us with their most sensitive data. We're building cryptographic systems that enhance customer control over access to their data and metadata. You'll design and implement complex systems using Rust, PKI, formal verification, and distributed systems that strengthen customer data protection while maintaining operational efficiency at scale. You'll own multi-quarter initiatives from design through deployment, building systems that give customers verifiable control over who accessed their resources and when. Working as part of the Piezo team, you'll drive security outcomes across AWS service teams and influence technical direction at the organizational level. Your work will have CISO-level visibility and shape how tens of thousands of Amazon builders design and operate their services. You're a senior software engineer with deep expertise in distributed systems, security, and large-scale design. You deliver complex initiatives independently, make sound technical decisions with broad impact, and mentor engineers at multiple levels. You write exemplary code, conduct insightful code reviews that raise the quality bar, and debug complex issues across multiple systems. You communicate technical concepts clearly to diverse audiences and demonstrate leadership beyond assigned tasks. You influence technical direction and drive consensus on complex decisions. Key job responsibilities Design and implement cryptographic systems using Rust, formal verification, PKI, and distributed systems. Own multi-quarter initiatives from design through deployment. Drive technical decisions with broad impact across multiple teams. Conduct insightful code reviews that improve design quality. Debug complex issues across multiple systems. Mentor engineers at

Pashto/Dari Linguists Vienna, VA posted: Posted 30+ Days Ago

Werkstudent (m/w/d) im Bereich Quality Wuppertal, DE posted: Posted 30+ Days Ago

Senior Physical Design Engineer Armenia Meet the Team Step into Cisco's ASIC Physical Design Team, where innovation meets collaboration. As a group of highly skilled engineers, we're redefining what's possible in silicon technology. Our mission is to drive the future of chip design, managing full chip physical implementation from RTL to GDSII and beyond. Working hand-in-hand with Front-End teams, we transform cutting-edge designs into industry-leading silicon solutions. Here, you'll have the opportunity to shape tomorrow's technology, driving advancements in power, performance, and reliability with every project. Together, we're building the foundation for the future of connectivity. Your Impact In this role, you'll drive Cisco's silicon innovation by creating breakthrough solutions that blend hardware and software. You'll solve complex challenges, accelerate design processes, and deliver impactful technology. Beyond your technical work, you'll be part of a culture that values mentorship, celebrates success, and supports your growth. This is your opportunity to shape technology that connects and empowers people worldwide. • You will be responsible for macro level RTL to gds implementation and signoff. • Work with Front-End teams to understand the design architecture to ensure optimal physical implementation. • Execute critical physical design tasks, including gate-level netlist synthesis, floorplanning, placement, Clock Tree Synthesis (CTS), and routing. • Optimize designs to achieve industry-leading power, performance, and area (PPA) metrics while maintaining design integrity through formal verification. • Conduct Static Timing Analysis (STA), physical verification, formal verification and signoff closure to ensure high-quality results. • Analyze and resolve Electromigration (EM) and IR-drop (IR)

At-Need Arrangements Supervisor CA - Alhambra posted: Posted 30+ Days Ago

Senior Security Engineer New York, New York About the Company Born from groundbreaking research at Columbia University and Yale University, CertiK is a leading Web3 security company focused on securing blockchain protocols, smart contracts, and decentralized applications through cutting-edge security research, formal verification, and AI-powered technology. Founded in 2017 and headquartered in New York City, CertiK provides end-to-end security solutions including smart contract audits, penetration testing, on-chain monitoring, incident response, and compliance services for some of the largest projects in the digital asset ecosystem. Today, CertiK supports thousands of enterprise clients and Web3 projects globally, with a distributed international team spanning North America, Asia, and Europe. The company is backed by leading investors including Coatue, Goldman Sachs, Insight Partners, and Sequoia Capital, and has been recognized by organizations such as the World Economic Forum and CB Insights for its contributions to blockchain security innovation. About You You are proactive, reliable, and enjoy helping people solve problems. You are highly organized, eager to learn, and comfortable supporting both technical and non-technical teams. You enjoy being hands-on, can adapt quickly in a fast-paced environment, and are willing to take ownership of day-to-day operational tasks to help keep the office and systems running smoothly. About the Company Born from groundbreaking research at Columbia University and Yale University, CertiK is a leading Web3 security company focused on securing blockchain protocols, smart contracts, and decentralized applications through cutting-edge security research, formal verification, and AI-powered technology. Founded in 2017 and headquartered in New York City, CertiK

Economist III - AMZ9511152 New York, New York, USA MULTIPLE POSITIONS AVAILABLE Employer: AMAZON.COM SERVICES LLC Offered Position: Economist III Job Location: New York, New York Job Number: AMZ9511152 Position Responsibilities: Work with senior management and other scientists on key business problems faced in cloud computing and operations. Utilize methods at the frontier of economics and time-series econometrics to develop formal models to understand the past and the present, predict the future, and identify relevant risks and opportunities. Build econometric models of dynamic systems using Bayesian times-series statistical methods and leveraging big data tools. Develop and implement statistical models for risk assessment and capacity management in cloud infrastructure. Formalize problems using rigorous science to solve business issues. 40 hours / week, 8:00am-5:00pm, Salary Range: $226,782/year to $236,900/year. Amazon is a total compensation company. Dependent on the position offered, equity, sign-on payments, and other forms of compensation may be provided as part of a total compensation package, in addition to a full range of medical, financial, and/or other benefits. For more information, visit: https://www.aboutamazon.com/workplace/employee-benefits. Amazon.com is an Equal Opportunity-Affirmative Action Employer - Minority / Female / Disability / Veteran / Gender Identity / Sexual Orientation.#0000 Basic Qualifications: Position Requirements: Ph.D. in Economics or a related field and five years of research or work experience in the job offered or a related occupation. Must have five years of research or work experience in the following skill(s): (1) time series forecasting; and (2) Bayesian econometrics, panel data, and high-dimensional problems. Must have one

Stagiaire - Losgistique Massy posted: Posted 3 Days Ago

HR Business Partner New York, New York About the Company Born from groundbreaking research at Columbia University and Yale University, CertiK is a leading Web3 security company focused on securing blockchain protocols, smart contracts, and decentralized applications through cutting-edge security research, formal verification, and AI-powered technology. Founded in 2017 and headquartered in New York City, CertiK provides end-to-end security solutions including smart contract audits, penetration testing, on-chain monitoring, incident response, and compliance services for some of the largest projects in the digital asset ecosystem. Today, CertiK supports thousands of enterprise clients and Web3 projects globally, with a distributed international team spanning North America, Asia, and Europe. The company is backed by leading investors including Coatue, Goldman Sachs, Insight Partners, and Sequoia Capital, and has been recognized by organizations such as the World Economic Forum and CB Insights for its contributions to blockchain security innovation. About You You are proactive, reliable, and enjoy helping people solve problems. You are highly organized, eager to learn, and comfortable supporting both technical and non-technical teams. You enjoy being hands-on, can adapt quickly in a fast-paced environment, and are willing to take ownership of day-to-day operational tasks to help keep the office and systems running smoothly. About the Company Born from groundbreaking research at Columbia University and Yale University, CertiK is a leading Web3 security company focused on securing blockchain protocols, smart contracts, and decentralized applications through cutting-edge security research, formal verification, and AI-powered technology. Founded in 2017 and headquartered in New York City, CertiK

Consultant Al Khobar . Job Duties Under general supervision, has good knowledge and understanding of applicable science and technology, gained through formal education and work experience. Working with customers, demonstrates knowledge of existing and emerging technology and product areas. Communicates to individual clients how the use of technology solutions allow them to be more productive. Is able to articulate and apply solution for assignment delivery. As an individual contributes to project teams. Effectively plans and manages own workload to meet desired service level targets. Maintains a consistent client-focused approach with clients and/or individuals. Requires completion of an undergraduate degree in engineering, geoscience, computer science or business and a minimum of 3 years of experience. Qualifications .

Manager Incoming Quality Netherlands - Breda posted: Posted 9 Days Ago

BALENCIAGA - CDD - Vendeur(se) - Cannes - Mai 2026 Cannes, France

Corporate Treasury Operations Analyst Main Office-Memphis A Corporate Treasury Operations Analyst is responsible for the accurate and timely preparation and analysis of reports of data related to the Company's financial statements and forecasts. You'll be part of a dedicated team committed to excellence and continuous improvement. To be effective in this high visibility role the analyst must be well-organized, detail-oriented, possess superior analytical and communications skills, and have a strong work ethic. Exciting opportunity to join a high caliber team! Top performers will be rewarded with significant exposure to key leaders across multiple departments and opportunities for formal and informal mentorship.

HSE Technician Kalundborg, Sjalland, Denmark As HSE Technician within our NOV Flexibles team in Kalundborg, you will support the day-to-day provision of HSE support, training and reporting functions at the site. You will maintain positive and proactive relationships with key stakeholders and employees, working closely with shop floor operators to educate and train them on HSE risks in daily operations. You will also assist with implementing and updating the strategy for identified key risk areas, communicate changes and process improvements, and actively participate in formal and informal communication to increase awareness and understanding of HSE issues. The role will also take the lead in reviewing work practices and ensuring recommendations and process improvements from the shop floor are documented correctly.

Technicien·ne de maintenance confirmé·e Machines-Outils CN (F/H) Clermont-Ferrand posted: Posted 15 Days Ago

Manager, Financial Compliance Dallas, TX - Preston Rd; Toledo, OH; Palm Beach Gardens, FL The Manager, Financial Compliance plays a crucial role in supporting the organization's Sarbanes-Oxley (SOX) financial compliance efforts. This role includes conducting secondary reviews of financial SOX controls, ensuring audit readiness, and facilitating effective communication between control owners and the audit team. This role will work closely with various stakeholders to uphold and maintain compliance standards, educate on SOX and audit requirements, work with new operators to identify control environments and ensure audit readiness, and provide actionable feedback to improve control documentation and processes prior to being formally audited.

Assembleur Shawinigan posted: Posted 30+ Days Ago

Quality Supervisor - 1st Shift 2 Locations posted: Posted Today

Senior Data Analyst New York, New York About the Company Born from groundbreaking research at Columbia University and Yale University, CertiK is a leading Web3 security company focused on securing blockchain protocols, smart contracts, and decentralized applications through cutting-edge security research, formal verification, and AI-powered technology. Founded in 2017 and headquartered in New York City, CertiK provides end-to-end security solutions including smart contract audits, penetration testing, on-chain monitoring, incident response, and compliance services for some of the largest projects in the digital asset ecosystem. Today, CertiK supports thousands of enterprise clients and Web3 projects globally, with a distributed international team spanning North America, Asia, and Europe. The company is backed by leading investors including Coatue, Goldman Sachs, Insight Partners, and Sequoia Capital, and has been recognized by organizations such as the World Economic Forum and CB Insights for its contributions to blockchain security innovation. About You You are proactive, reliable, and enjoy helping people solve problems. You are highly organized, eager to learn, and comfortable supporting both technical and non-technical teams. You enjoy being hands-on, can adapt quickly in a fast-paced environment, and are willing to take ownership of day-to-day operational tasks to help keep the office and systems running smoothly. About the Company Born from groundbreaking research at Columbia University and Yale University, CertiK is a leading Web3 security company focused on securing blockchain protocols, smart contracts, and decentralized applications through cutting-edge security research, formal verification, and AI-powered technology. Founded in 2017 and headquartered in New York City, CertiK