Loc Le retweeted
I am looking to recruit a PhD student (fully funded at UK home tuition rate) to work on automated testing and verification of machine learning compilers and runtimes! Deadline: 30th April. Please spread the word! Details here: doc.ic.ac.uk/~afd/PhD-Advert…
Loc Le retweeted
We, RiSE/MSR, are hiring for exciting and ambitious projects.
jobs.careers.microsoft.com/g…
(on the picture: lunch with colleagues)
Loc Le retweeted
Yll Buzoku giving his first international talk at the XII Workshop on Philosophical Logic / BA-Logic ba-logic.com/workshops/xii-w… @BALogicGroup
Loc Le retweeted
I have 3 internships available in my @Bloomberg team from May/June to August. Last year, our amazing interns implemented SAT solvers on GPU and @dwavesys quantum computer. We’re looking to implement several new domain specific solvers this year. Come visit NYC this summer! – at Manhattan, NY
Loc Le retweeted
Getting ready for Incorrectness Logic + Underapproximation tutorial at @poplconf with @AzaleaRaad , @QLocLe and @jvanegue
popl23.sigplan.org/program/p…
Loc Le retweeted
We're hiring Eng Managers to help us build our Code Security Analysis offering at @Lacework.
linkedin.com/posts/davymcale…
Loc Le retweeted
CS Faculty Twitter! Cornell, Maryland, and Max Planck host a 1-week summer school (CMMRS) for aspiring undergraduate and masters researchers. Free trip to Germany! Please help spread the word -- the application deadline is approaching (21st Feb) cmmrs.mpi-sws.org
Loc Le retweeted
I've had fun working on under-approximate program analysis recently, and it's about to get even better ... Patrice Godefroid has now joined @Lacework and we'll be working together to help change computer security forever!
linkedin.com/posts/patrice-g…
Loc Le retweeted
Interested in Procedural Content Generation?
join #PROCJAM and Make Something That Makes Something.
Running 3rd to 13th Dec 2021
procjam.com/
Loc Le retweeted
(1/2) A paper connecting incorrectness logic and Kleene algebra. To appear in RAMICS'21
www0.cs.ucl.ac.uk/staff/p.oh…
Loc Le retweeted
Infer 1.1.0 is released! Featuring improved checkers, clang version 11, and an experimental way to write your own properties with Topl. Oh, and Homebrew infer packages are back!
github.com/facebook/infer/re…
Loc Le retweeted
@rupakmajumdar and I have some Postdoc/PhD positions in Computational Logic.
anthonywlin.github.io/Aussch…
Please contact us directly for an expression of interests/forward to those who might be interested.
Deadline: 21 March 2021.
Loc Le retweeted
An exciting postdoc opportunity at Yu-Fang Chen's lab in Taipei on verification of quantum cryptographic algorithms, and SMT over strings: bull.iis.sinica.edu.tw/yfc/d…
I've had close contacts with Yu-Fang's group for several years now, and no doubt it's a great place to work and live