Explore AI roles

Keyboard friendly • Copy, share & save roles

Sort by

What we're looking for Achieving consistency in modern large-scale and fault-tolerant distributed systems often relie...

Research Intern Entry Level Quality Assurance

$32k - $60k* · Senior Fully remote

Apply

What we're looking for We are currently seeking talented and driven Research Engineering Interns with a focus on Mach...

Research Machine Learning Ai Intern

$32k - $86k* · Senior Fully remote

Apply

Selected role

Research Engineering Internship Formal Methods Testing

Supra DU Dubai, Dubai, United Arab Emirates

Live

$32k - $60k · Senior Full-time Posted about 1 year ago 2 min read

What we're looking for

Achieving consistency in modern large-scale and fault-tolerant distributed systems often relies on intricate consensus protocols. Ensuring the reliability of implementations of such protocols remains a significant challenge because of the enormous number of exceptional conditions that may arise in production.

Netrix is a tool and a methodology for testing such implementations that aims to exploit programmer's knowledge to improve coverage, enables robust bug reproduction, and can be used in regression testing across different versions of an implementation.

This has been applied to Tendermint, a popular proof of stake blockchain protocol, Tendermint and to a popular benign consensus algorithm, Raft.

It has been able to identify deviations of the implementation from the protocol specification and verify corrections on an updated implementation. The internship involves using the Netrix tool to test the chained Moonshot consensus protocol implementation, the protocol underlying Supra Oracle's block chain infrastructure.

Based on performance, there is a high chance of being inducted into the highly talented team of Supra Engineers.

Are you the right person for this role?

The ideal candidate for us has:

Essential:

Final year undergraduate or above
Formal methods background

Desirable:

Netrix Tool experience

Internship Duration:

At least four months based on mutual agreement

Ready to apply? You'll go straight to the hiring team.

No agency in the middle · Your profile is shared privately.

Explore the complete AI ecosystem

Discover the best AI-first companies, podcasts, events, learning paths, and jobs in one focused hub.

AI Learning Hub · Always curated, never noisy

Simple pricing for serious AI hiring

Pay per listing. No subscriptions, no hidden fees. Designed for teams hiring for high-impact AI roles.

No-risk: replace or refund if the role doesn’t get traction.

Standard listing

Reach active AI talent

For startups

$349 per role

30-day live listing in the AI job feed.
Structured posting written for AI engineers (we’ll help refine copy).
Instant alerts to subscribed candidates for your tags (LLMs, agents, infra, etc.).

Most teams see first applicants within 24–48 hours.

Max visibility to senior talent

For scale-ups

$649 per role

Everything in Standard, plus homepage & “Featured role” placement.
Priority placement in weekly AI roles newsletter.
1:1 review of your role with DevFound to calibrate for top-tier candidates.
Highlight badge on job page to increase conversion.

Best for teams hiring 1–3 critical AI roles this quarter.

Supra Jobs

Explore AI roles

Research Engineering Internship Formal Methods Testing

Research Engineering Internship Machine Learning

Explore the complete AI ecosystem

Choose Your Plan

Simple pricing for serious AI hiring

Reach active AI talent

Max visibility to senior talent