Introspectum

Careers

Introspectum is a small team. There are two ways to join it.

Founding engineer

Formal methods & code generation.

Apply now: we read every application ourselves & talk to strong candidates right away. When the role opens, we start with the people we already know.

You would work on

  • Formal verification of Rust code with Prusti & Verus
  • The agent harness that generates code from specifications
  • Code property graphs built from existing code
  • Connectors to GitHub & to SARIF tools

We look for

  • A degree in computer science with a focus on systems programming
  • Interest in compiler construction & formal methods; experience helps but is not required
  • Fluent English

Send your CV or LinkedIn profile & links to your work to <link>fabian.klopfer@introspectum.eu</link>.

Apply by email

Internships

For students who want to work on a real product.

Topics

  • Formal verification & compilers
  • AI agents
  • ERP & CRM on Twenty
  • Reinforcement learning for trading research

Send your CV, the topic you want to work on & the months you are free to <link>fabian.klopfer@introspectum.eu</link>.

Apply by email