🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

I am hiring PhD students for Fall 2025 to work on software engineering research At NYUAD. Deadlines Dec 1 (Tandon) and Dec 12 (GSAS). You can work with me by applying to either or both schools! More info at nyuad.nyu.edu/en/academics/g… Reach out if you are interested in applying.

Do you love technical writing in the areas of programming languages, formal methods and cryptography (zero knowledge)? Consider joining Pi Squared now: pi2.network/careers/techni…

Looking for students! João Costa Seco and I proposed Meerkat, a live, distributed, reactive PL, in an Onward! vision paper this year. We'd love to work with a Ph.D. student in the joint CMU Portugal program, who wants to help make this a reality! Due Dec 11. dl.acm.org/doi/10.1145/36…

🚀🔍🧑‍🏫 I am on the academic job market! My research focuses on advancing Formal Methods, Programming Languages, and Software Engineering. Website: wintered.github.io Research Statement: wintered.github.io/rs.pdf

Very pleased to post this message in support of Ruijie Meng, who is graduating from NUS this year, and is currently in the academic job market - see webpage mengrj.github.io Her PhD work focuses on fuzzing of reactive systems, and rendering much of the bug finding

DistSys/DB/PL/SE Twitter: PaPoC 2025 CfP is out. Submit long/short papers or talk proposals describing the cool stuff you are working on these days! papoc-workshop.github.io/2025/cfp.html

Thrilled to share that my PhD student, Nan Jiang, is on the academic job market! Nan, working on SE+AI, is the ideal kind of PhD student one can ask for. I’m confident he will be a great professor! jiang719.github.io Nan has papers in ICSE, FSE, NeurIPS, AAAI, and more.

Xudong Sun is on the faculty job market. He is truly brilliant, and has been doing exciting research on System Verification and Software Testing towards the vision of provably correct cloud infra and systems. His materials can be found at, marshtompsxd.github.io Interview him;

IEEE Fellow, as of today! I love all my students and collaborators. @IllinoisCDS The Grainger College of Engineering #IEEE siebelschool.illinois.edu/news/gupta-202…

🚨Attention Software Engineering researchers! 🚨 UCF Computer Science is hiring an Assistant Professor this year in the area of SE + systems! If you would like to join me at UCF Engineering in beautiful Orlando, check out the job ad below and please reach out! Our department is set to

I keep forgetting to post @IllinoisCDS Systems Research Seminar (systems-seminar-uiuc.github.io). Xudong (Xudong Sun) kicked off the seminar this semester, with his practice talk -- "Improving Reliability of Modern Cloud Systems with Verification in the Loop." Interview him if you

Are you graduating with a PhD?  Do you work on program analysis, formal verification, software correctness, or AI?  Apply to join the UMass LASER lab as a postdoctoral researcher, a vibrant team focused on using the latest NLP technology to ensure software correctness!

#ILLINOIS CS professor Lingming Zhang has been inducted into the 2024 class of ACM Distinguished Members. This year, ACM has named 56 Distinguished Members for their technical achievements as well as volunteer service to their professional community. ▶️ buff.ly/3l3Vnfi

I am looking to fill a Research Associate/Assistant position on an exciting project at the intersection of program analysis and GenAI. Candidates should be able to start soon (in the next few months). If you are interested, please get in touch ASAP! srg.doc.ic.ac.uk/vacancies/25-r…