Apart Research

Apart Research works on technical AI safety problems and runs events & fellowships to reduce AI risk.

[Apart Research @apartresearch]

Apart Fellowship deadline is June 14. Formal methods for trustworthy AI is one of the most underrated bets in safety. If you want to work on this, apply.

[Geoffrey Irving @geoffreyirving]

New paper with Gopal Sarma, Rachel Steratore, and Sunny Bhatt, and me surveying formal methods folk about importance and tractability of applications to AI safety. I'm excited this is out!

Here is a broader plea for people to be very ambitious about verifying software! 🧵

[Apart Research @apartresearch]

Speaker spotlight: Juan Felipe Cerón Uribe, OpenAI alignment researcher from Bogotá.

He opens our Global South AI Safety Hackathon (June 19-21) with a talk on adversarial robustness.

https://t.co/adk487OyPl

[Apart Research @apartresearch]

SPS Fellowship deadline extended to Sunday, June 14 (AoE).

Remote, 3-4 months, project-based. Formal methods meets AI security, with Atlas Computing. 14 mentors, including Erik Meijer & Shriram Krishnamurthi.

Apply: https://t.co/ySwxkM8u84

[Apart Research @apartresearch]

AI safety research clusters in a few US/EU cities. The risks don't.

Global South AI Safety Hackathon, June 19-21. Join a hub across Latin America, Africa & Asia, or join online. $6,000 in prizes + Apart Fellowship invites for top teams.

https://t.co/ySwxkM8u84

[Apart Research @apartresearch]

That's a wrap on the Secure Program Synthesis Hackathon. 61 projects in 3 days, from spec to verified code. Thanks to our speakers and everyone who built. Judges start reviews this week, winners to follow. https://t.co/ySwxkM8u84

[Apart Research @apartresearch]

Secure Program Synthesis Fellowship: Applications open.

Jun-Sep 2026. Remote, part-time. 14 mentors incl. Erik Meijer & Shriram Krishnamurthi. With Atlas Computing.

Apply by May 31:
https://t.co/ySwxkM8u84

[Apart Research @apartresearch]

5 days to the Secure Program Synthesis Hackathon (May 22-24, online).

Sign up now: $2K in prizes, and top teams get invited to apply to the Secure Program Synthesis Fellowship (Jun-Oct).

https://t.co/ySwxkM8u84

[Apart Research @apartresearch]

Two CVEs this week, same missing spec.

CVE-2026-44578: Next.js SSRF, tens of thousands of apps exposed.
CVE-2026-44211: Cline AI agent RCE, no Origin check on local WebSocket.

Spec the boundary or someone will.

SPS Hackathon, May 22-24
https://t.co/ySwxkM8u84

[Apart Research @apartresearch]

Speaker lineup, SPS Hackathon (May 22-24):

Joe Kiniry, Sigil Logic / Galois
Jason Gross, Theorem (MIT CSAIL)
Quinn Dougherty, Galois
Max von Hippel, Benchify

All shipping work on making AI-generated code provably correct.

https://t.co/ySwxkM8u84

[Apart Research @apartresearch]

Six weeks, four security bugs, four different AI coding tools (Claude Code, Google Antigravity, Microsoft SRE Agent, CrewAI). Root cause every time: nobody wrote down what the agent was actually allowed to do.

SPS Hackathon May 22-24. $2K prizes.

https://t.co/ySwxkM8u84

[Apart Research @apartresearch]

One keypress on a "trust this folder?" prompt: RCE on Claude Code, Cursor CLI, Gemini CLI, GitHub Copilot CLI.

Four agents. One missing spec.

SPS Hackathon, May 22-24, online, with @safewithatlas.

https://t.co/ySwxkM8u84

[Apart Research @apartresearch]

Attack the spec, not the code.

Most bugs in AI-generated code aren't typos. They live in what you asked for.

SPS Hackathon: May 22-24, online, with @safewithatlas. 4 tracks. $2K prizes. Top teams: SPS Fellowship invite.

https://t.co/ySwxkM8u84

[Apart Research @apartresearch]

AI writes the code. Who writes the spec?

Secure Program Synthesis Hackathon: 3 days on that gap. May 22-24, online, with @safewithatlas.

4 tracks across the formal methods pipeline. $2K prizes. Top teams: SPS Fellowship invite.

https://t.co/ySwxkM8u84

[Apart Research @apartresearch]

The SPS Fellowship is built around safeguarded AI work happening at @safewithatlas.

The Secure Program Synthesis Hackathon is the way in. May 22-24, online, 4 tracks on the formal methods pipeline.

$2K prizes. Top teams: SPS Fellowship invite.

https://t.co/ySwxkM8u84

[Apart Research @apartresearch]

NFM 2026 just wrapped at USC. Track: LLMs in formal methods pipelines.

A formal methods hackathon for the AI coding era: May 22-24, online. With @safewithatlas.

$2K prizes. Top teams: SPS Fellowship invite.

https://t.co/ySwxkM8u84

[Apart Research @apartresearch]

Final hours: SPS Fellowship mentor applications close Sat May 9, 11:59 PM AoE.

Erik Meijer (Leibniz Labs) and Shriram Krishnamurthi (Brown) are in. 4-month formal methods program with @safewithatlas.

Apply: https://t.co/1FhzVVCB5N

[Apart Research @apartresearch]

Mentor the fellowship. Hire from the cohort.

The SPS Fellowship is a four-month formal methods program. Propose a project, we screen mentees, you direct.

Apply Sat May 9 AoE: https://t.co/ySwxkM8u84

[Apart Research @apartresearch]

SPS Fellowship mentor deadline extended to Sat May 9, 11:59 PM AoE.

Four-month program with @safewithatlas. Senior researchers direct, pre-screened engineers run.

Apply: https://t.co/1FhzVVCB5N

[Apart Research @apartresearch]

Call for mentors: SPS Fellowship (June-Oct 2026, with @safewithatlas).

Already in:
Erik Meijer (@headinthebox) Leibniz Labs (creator of LINQ + Rx)
Shriram Krishnamurthi (@ShriramKMurthi), Brown CS

Senior formal methods + AI safety researchers, apply by Tue May 5 AoE: https://t.co/GQ27a2NlE7

[Apart Research @apartresearch]

AIxBio wrapped, 86 projects in. 4 fellowship doors for top teams: Apart, CBAI, ERA:AI, ERA AIxBio. CBAI AIxBiosecurity Fellowship closes Saturday May 3. Coefficient Giving biosec RFP closes May 11. https://t.co/eA6i4TGEkz