David Darais
@daviddarais.bsky.social
Principal Scientist at Galois. Former computer science professor. Research in programming languages, networks, security and privacy. david.darais.com
Reposted by David Darais
Want to work on programs like VOXLET? Good news: Galois is hiring Principal Scientists!
apply.workable.com/galois/j/4A9...
apply.workable.com/galois/j/4A9...
Principal Scientist - Galois
About GaloisGalois tackles the hardest problems in computer science. Our mission is to assure trust in critical systems that protect the privacy and integrity of information in the real world. Core to...
apply.workable.com
April 21, 2025 at 11:11 PM
Want to work on programs like VOXLET? Good news: Galois is hiring Principal Scientists!
apply.workable.com/galois/j/4A9...
apply.workable.com/galois/j/4A9...
This is actually a very good feature to have. Lets you do clean capture avoiding substitution without renaming binders or gensyming new unique variable names.
January 15, 2025 at 11:04 PM
This is actually a very good feature to have. Lets you do clean capture avoiding substitution without renaming binders or gensyming new unique variable names.