Get the job you really want.

Top Tech Jobs & Startup Jobs in Montreal

CertiK Logo
CertiK

Software Engineer (Engineer III to Principal) - Formal Methods

Reposted 13 Days AgoSaved
In-Office or Remote
11 Locations
Mid level
Mid level
Artificial Intelligence • Blockchain
Design and develop tools for verifying the correctness of smart contracts, extend verification algorithms, and collaborate with engineers on technical solutions.
Top Skills: Abstract InterpretationData Flow AnalysisDeductive VerificationFormal VerificationHaskellModel CheckingOcamlProgramming Language TheorySat/Smt SolvingSmart Contracts
CertiK Logo
CertiK

Security Research Internship

Reposted 16 Days AgoSaved
In-Office or Remote
11 Locations
Internship
Internship
Artificial Intelligence • Blockchain
Assist in security research by developing analysis tools, discovering vulnerabilities, and publishing findings in various venues. Ideal for Master's or PhD students in related fields.
Top Skills: CtfGoMalware AnalysisMobile App AnalysisNetwork Anomaly DetectionReverse EngineeringRustVulnerability Detection
New

Track Smarter, Apply Better.

Ditch the spreadsheets. Organize your job search with our freeApplication Tracker.

Use For Free
Application Tracker Preview
All Filters
New Jobs
Job Category
Experience
Industry
Company Name
Company Size

Sign up now Access later

Create Free Account