Posted 1 month, 2 weeks ago
RevEng.AI is leading the way building ground-breaking foundational AI models to detect security threats inside software. We do this by combing of static and dynamic program analysis with state-of-the-art AI models. We use AI to assist our customers …
Posted 4 months, 2 weeks ago
At bloop (https://www.bloop.ai) we modernise legacy code, translating old languages to new(er) ones. Existing translators produce code that is unreadable, and the alternative of rewriting an old system from scratch in a new language is unfeasibly ex…
London
Posted 1 year, 9 months ago
Veridise is a security auditing startup focused on using program analysis and formal verification to harden the security of blockchain applications. They have developed state-of-the-art security tools such as static analyzers, fuzzers, and symbolic …
Posted 1 year, 9 months ago
Hello from Untether AI! We're an AI chip company headquartered in Toronto, Canada, with a hybrid employee base located in Canada, the US, and Europe. Our team is passionate about at-memory inference acceleration. We presented at the Hot Chips Sympos…
Posted 1 year, 10 months ago
Veridise is a security auditing startup focused on using program analysis and formal verification to harden the security of blockchain applications. They have developed state-of-the-art security tools such as static analyzers, fuzzers, and symbolic …
Posted 1 year, 11 months ago
We're looking for a developer with experience in modern C++. We're developing a next-generation decompiler featuring a VSCode-based UI and have a series of projects related to dynamic binary translation. We work with C++20, LLVM, MLIR, emulation, dy…