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 …

Casaba Security is CREST approved and endorsed by Microsoft as a world-class partner in application security, cloud security, Security Development Lifecycle, and securing the Internet of Things. Do you enjoy security research and finding new attack …

We are the Engineering Team at Magic, a Y Combinator (W15) company. We connect businesses to virtual assistants, with over $30MM raised to date. Our team is currently composed of 16 engineers in 7 countries. Full Stack Product Engineers - JavaScript…

We’re a full-stack consultancy, committed to building software that outlasts us. We have a wide variety of interesting projects including building unified data formats for neuroscience labs to share data sets, developing custom medical software for …

Geomotion Australia is a fast growing business working in the civil, resources and energy sectors. We are a leading provider of geotechnical and structural monitoring instrumentation and services across Australia. Our projects include many of Austra…

We are a Series B, fully remote team of ~60 building software to fight climate change. We measure, target, and pay for shifts or reductions in residential or commercial building energy usage during carbon- and cost-intensive peak periods. We process…