Coastlight Global Risk is assembling a globally distributed research team to investigate the mathematical foundations of intelligent, adaptive systems capable of coordinating specialised forms of machine intelligence, human judgement and executable knowledge.

The work is global, research-led and deliberately selective. Physical location is secondary to originality, depth and the ability to connect abstraction with real systems.

Modern AI systems already provide powerful but distinct capabilities in reasoning, research, code generation and multi-step execution.

Coastlight develops its own orchestration, evidence and decision architecture around those capabilities, connecting them into a coherent operating system rather than treating them as isolated tools.

The research concerns how different forms of intelligence can be composed; how identity, context, provenance and authority can be preserved as work moves between systems; and how the architecture can adapt as evidence, objectives and operating conditions change.

The objective is AI-speed execution with coherence, accountability and intellectual depth.

Coastlight is interested in systems that can compress the distance between a question, the relevant evidence, a decision and an executable result while preserving human authority over material outcomes.

The same architecture shapes how Coastlight operates and how work is delivered to the companies we advise.

Selected research opportunity

Global · Remote by design · Research-led

We are interested in an exceptional mathematician with a doctorate and a substantial record of original research in one or more of the following areas:

- higher category theory;

- ∞-categories;

- higher topos theory;

- algebraic geometry;

- derived algebraic geometry;

- homotopy theory;

- homotopy type theory;

- sheaf theory;

- categorical logic;

- adjacent areas of higher structures and foundational mathematics.

Exceptional depth in one field matters more than superficial familiarity across all of them.

Intelligent, adaptive systems increasingly operate across structures that are heterogeneous, incomplete, contextual and continuously changing.

Different representations of the same underlying reality may coexist: operational, temporal, spatial, financial, evidential, contractual and causal.

These representations must remain distinct and connected. Transformations between them must preserve meaning, provenance and coherence.

The research concerns whether higher mathematical structures can provide stronger foundations for composition, contextual reasoning, local-to-global consistency, model transformation and adaptation across such systems.

Higher structures may become relevant where a system must represent objects, relationships, transformations between models, relationships between those transformations and the coherence conditions that allow the whole system to evolve while preserving meaning.

Particular areas of interest include:

- compositionality across heterogeneous systems;

- local-to-global reasoning under partial information;

- contextual validity;

- structure-preserving transformation;

- coherence across changing models and states;

- formal representation of multi-level relationships;

- the interaction between abstraction, evidence and execution.

The objective is to discover where higher structures change what intelligent systems can represent, compose, verify, adapt or execute.

Abstraction must lead to clearer structure, stronger coherence or more capable systems.

Coastlight already operates with extensive AI-based engineering and execution capacity.

This role brings exceptional theoretical depth to problems whose solution begins with new mathematical structures.

Coastlight also considers exceptional proposals from researchers whose work could materially advance the formal architecture of intelligent adaptive systems.

Research profiles, applications and relevant enquiries may be submitted to:

careers@coastlightglobalrisk.com

Please include the material required to understand the research background, principal areas of work and the proposed connection to Coastlight’s research programme.

We are looking for mathematics that changes what intelligent systems can become.