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 fabian.klopfer@introspectum.eu.
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 fabian.klopfer@introspectum.eu.