We're combining LLMs and transpilers to translate COBOL into Java. If you’re a Rust developer with experience working with AI and/or static analysis, this role could be a great fit. Come and build LLM pipelines and agents that help the lar…

We are seeking a talented and motivated Compiler Engineer to join our dynamic team and play a pivotal role in designing, developing, and optimizing compilers that power DASH Tech IC’s innovative platforms. You will be responsible for the design, dev…

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 …

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…

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 …

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…