Julien Vanegue
@jvanegue.bsky.social
CTO Office / Head of Infrastructure & Security Research at Bloomberg. Interested in software, systems, and network verification at world scale.
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!
August 30, 2025 at 1:27 PM
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!
Reposted by Julien Vanegue
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! 📬
includes stipend, tuition, and internship. timely for Rocq and proof assistant folks as science funding tightens. please apply by July 18th! 📬
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.
www.bloomberg.com
June 18, 2025 at 9:29 PM
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! 📬
includes stipend, tuition, and internship. timely for Rocq and proof assistant folks as science funding tightens. please apply by July 18th! 📬
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.
April 4, 2025 at 2:41 AM
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.
Hello! I am now on bsky.
November 13, 2024 at 9:28 PM
Hello! I am now on bsky.