“Formal verification tools” jobs in Canada – Page 2
No matching filters. Try another name.
322 jobs·Latest jobs · Canada··
Why we group jobs by company
Jobs from the same identified company share one card in each results page. As you load more, we merge that company’s additional jobs into its existing card, so large employers do not keep taking extra space. Use the arrows or numbered dots to browse, or View all to compare its loaded jobs and reach the company’s full list. Company pages show separate job cards.
Candidates need a bachelor's degree in systems, computer, electrical or a related engineering discipline, or equivalent. Recent graduates and co-op or internship candidates are encouraged to apply, along with strong analytical and communication skills.
Enterprise Architect, IBM DOORS, VLAN, Microsoft Applications
2+ YOECandidates need a bachelor's degree in an engineering discipline and 2–4 years of systems engineering experience, including requirements, design and verification work. Strong analytical and communication skills and experience with multidisciplinary teams are also needed.
Enterprise Architect, IBM DOORS, IBM EWM/RTC, ClearQuest, Code Collaborator
5+ YOECandidates need a bachelor's degree in an engineering discipline (or equivalent experience) and 5+ years of systems engineering experience. Strong skills in requirements, architecture, integration testing and troubleshooting are required, along with clear communication and collaboration in Agile teams.
Enterprise Architect, IBM DOORS, IBM EWM, ClearQuest, Code Collaborator
The Hospital for Sick Children (SickKids): The Hospital for Sick Children (SickKids) is recognized as one of the world’s foremost paediatric health-care institutions and is Canada’s leading…
Candidates need an M.D. or equivalent, advanced burn care training including burn intensive care, and eligibility for Royal College certification and Ontario licensure. Academic excellence in research, a publication record, fluency in English, and preference for quality improvement experience are also required.
Phaidra: The Prism platform identifies, prioritizes and provides actionable insights to any issues in the facility mechanical systems.
Candidates need experience leading or mentoring engineers in a customer-facing or operations role and owning customer escalations. They also need working knowledge of chiller plants, electrical distribution, data center cooling, and control protocols such as BACnet and Modbus.
Prism Insights, ticketing system, time tracking system
5+ YOECandidates need a bachelor's degree in food science, food technology, microbiology or a related science, at least 5 years of quality or food safety experience in food manufacturing, and prior QA supervisory experience. They also need strong knowledge of Canadian food safety law and experience working with CFIA inspectors.
X-ray equipment, Metal detection, ATP testing equipment
Candidates need a Bachelor's degree in electrical, computer engineering or computer science, plus knowledge of verification methodologies, metric driven verification, UVM, SystemVerilog assertions and the digital design flow. A Master's degree, UVM coding experience, scripting skills and protocol knowledge such as PCIe, USB or Ethernet are preferred.
2+ YOECandidates need at least 2 years of investment performance, asset management or fiduciary experience, a bachelor's degree in a business or economics field, and a CFA designation completed or in progress. Advanced Excel skills and cultural competency with Indigenous communities are also required.
Candidates need 0-4 years of customer service, inside sales or similar experience and post-secondary education or relevant work experience. They must be self-motivated, persuasive, comfortable making cold calls and handling rejection, and interested in finance and global markets.
Ryder Truck Rental Canada Ltd. needs candidates aged 18 or older with strong English communication, customer service and time management skills, and a good attendance record. Basic computer skills and a Class A CDL are preferred, and a high school diploma or 0 to 1 year of related experience is also preferred.
2+ YOECandidates need a bachelor's degree in HR, business administration, or a related field, and 2 to 4 years of HR coordination or operations experience. Strong attention to detail, HRIS skills, and Microsoft Office proficiency are required.
Workday, SAP, SuccessFactors, Microsoft Excel, Microsoft PowerPoint, Microsoft Word
Infracon Construction Inc.: With over 40-years of experience delivering innovative technology and client-focused construction services within Western and Northern Canadian…
Candidates need previous civil construction surveying experience, a strong grasp of layout and grading, and skill with GPS, total stations and survey software. Ability to read drawings, work outdoors and travel for projects is required.
GPS, Total station, Data collector, Level, Civil 3D, Survey software
1+ YOEQualcomm Canada ULC needs students pursuing a Bachelor's or Master's in electrical or computer engineering, computer science or AI/ML, available May or June 2027 to August or September 2028. Candidates need strong programming skills in C, C++ or Python and digital logic fundamentals.
1+ YOECandidates need Verilog or SystemVerilog skills, ASIC design verification experience and scripting ability. Study toward a bachelor's degree in electrical, computer or a related engineering field is required.
Candidates need to be enrolled in a bachelor's degree in engineering, computer science or a related field, with an expected graduation of November 2028 or later. Strong scripting skills and knowledge of ASIC design flow are needed.
4+ YOECandidates need a degree in science or engineering and 4+ years of ASIC design, verification or integration work, with strong digital front-end design skills in Verilog, SystemVerilog and VHDL. Experience with power domains, clock domain crossing, low-power design and chip design tools is needed.
2+ YOECandidates need a Bachelor's degree in engineering, science or a related field and 2+ years of ASIC design or verification work, or a new-grad co-op, internship or PEY background. Preferred skills include SystemVerilog, UVM, Verilog or VHDL, C or C++, and Python or Perl scripting.
3+ YOECandidates need a high school diploma, a valid driver's licence and formal heavy equipment technical training or at least 3 years of heavy duty repair experience. CPKC also wants hydraulic, electrical and pneumatic troubleshooting skills, computer proficiency and foundational welding.
Manual, electric and hydraulic tools, Welders, Cutting torches, Computer applications
Aecon: (TSX: ARE) is a North American construction and infrastructure development company with global experience.
5+ YOECandidates need 5 to 10 years of materials, logistics or project coordination experience, ideally on railway, transit or heavy civil projects. A valid driver's licence is required, and experience with SAP, inventory systems and Microsoft Office is an asset.
SAP, Microsoft Excel, Microsoft Outlook, Microsoft Word, QR code tracking, forklift
4+ YOECandidates need Grade XII plus a two-year applied-arts or technology diploma (or equivalent), and over 4 years of related field experience. Familiarity with nuclear station layouts, CSA nuclear standards and strong written and verbal communication are also needed. Pressure Boundary experience is an asset.
Inspection instruments, Video inspection equipment, Photographic inspection equipment
7+ YOECandidates need a bachelor's degree or a 3-4 year diploma, a PMP certification and 7-9 years of job-related experience. Strong Waterfall, MS Project, Visio and Microsoft Office skills, plus financial services knowledge, are expected.
Proslide Technology: ProSlide designs and manufactures the world’s most sought-after, award-winning water park rides, meticulously engineered to deliver the speed,…
1+ YOECandidates need an electromechanical or mechatronics diploma or degree, or equivalent hands-on experience, plus 1 to 3 years in a customer-facing role. Proslide Technology requires PLC skills in Siemens and Rockwell, motor controls, industrial networking, and reading drawings.
Siemens STEP 7, TIA Portal, Studio 5000, SolidWorks, E-drawing, multimeter