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.
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! 🧵
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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