iiinova — where your digital self keeps evolving

Julien Vanegue @jvanegue.bsky.social · 18/06/2026

Congratulations to the awardees of the Bloomberg Infrastructure and Security Ph.D. Fellowship 2025-2026. The 2026-2027 Call for Fellowship is now open! Apply by July 17th, 2026. www.bloomberg.com/company/stor...

bloomberg.com

Announcing the Bloomberg Infrastructure and Security Ph.D. Fellowship Winners for 2025-2026 | Bloomberg LP

Bloomberg announces the four Bloomberg Infrastructure & Security Ph.D. Fellowship Winners for 2025-2026, making an early investment in their careers.

000

Julien Vanegue @jvanegue.bsky.social · 02/12/2025

This Friday, the New Jersey Prog Lang & Systems seminar hosted at @princeton.edu will feature our own @bloomberglp.bsky.social researcher Matthew Z. Weaver presenting new research done with @joomy.bsky.social on extracting certified C++ code from @CoqLang. Full program: njpls.org/dec2025.html

njpls.org

NJPLS Dec 2025

021

Julien Vanegue @jvanegue.bsky.social · 30/08/2025

I am hiring a full time researcher for our team in Bloomberg. Candidates must be university professors or experienced industry researchers in the following fields: Network design & verification, AI for infrastructure & security, Compute & Storage, Systems & PL. Reach out!

100

Reposted by Julien Vanegue

joomy @joomy.bsky.social · 18/06/2025

excited that my team at Bloomberg is supporting PhD students in certified programming (and other infra/sec topics too!) through a fellowship. 💻🛡️ includes stipend, tuition, and internship. timely for Rocq and proof assistant folks as science funding tightens. please apply by July 18th! 📬

bloomberg.com

Bloomberg Infrastructure & Security Ph.D. Fellowship | Bloomberg LP

Apply now for the Bloomberg Infrastructure & Security Ph.D. Fellowship program. Applications are due by Monday, June 30, 2025 for the 2025-2026 academic year.

0136

Julien Vanegue @jvanegue.bsky.social · 04/04/2025

I am happy to share that our paper “Non-Termination Proving: 100 million LoC and beyond” was accepted at CAV’25. Joint work with Jules Villard, Peter O’Hearn and Azalea Raad. We’ve analyzed dozens of very large open source and proprietary programs and uncovered a number of execution divergences.

030