Viewing profile — glacambre

>but very familiar with compilers and also formal verification This sounds really great, and exactly what we're looking for. Do you have a resume that I could share with the team m…

Adacore | Software Engineers | Full-time | Remote or On-Site Adacore is the maintainer of GNAT, GCC's Ada frontend (but now with many more compiler backends: LLVM, Why3, JVM...) an…

AdaCore | https://www.adacore.com// | Software Engineer | FULLTIME | REMOTE | Paris, France / Tallinn Estonia At the beginning, AdaCore was the company behind GNAT, GCC’s Ada front…

Firenvim is also available on Chrome (although I do recommend using Firefox for browser monoculture avoidance :) ) : https://chrome.google.com/webstore/detail/firenvim/egpjdkipk...…

Adacore | Software Engineers | Full-time | Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes... Adacore is the maintainer of GNAT, GCC's Ada frontend (but now wi…

Adacore | Software Engineers | Full-time | Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes... Adacore is the maintainer of GNAT, GCC's Ada frontend (but now wi…

>He has to broadcast his public key for this [...] through a public and decentralized ledger. Yes, but then he also has to broadcast the transaction linking his identity and public…

The build system engineer position is 100% Ada if I'm not mistaken :)

Adacore | Software Engineers | Full-time | Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes... Adacore is the maintainer of GNAT, GCC's Ada frontend (but now wi…

Adacore | Software Engineers | Full-time | Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes... Adacore is the maintainer of GNAT, GCC's Ada frontend (but now wi…

There is a list of companies doing compiler work here: https://github.com/mgaudet/CompilerJobs . I would recommend surveying the ones that have openings, gathering the listed knowl…

Adacore | Software Engineers | Full-time | Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes... Adacore is the maintainer of GNAT, GCC's Ada frontend (but now wi…

Adacore | Software Engineers | Full-time | Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes... Adacore is the maintainer of GNAT, GCC's Ada frontend (but now wi…

Hi, the GNU toolchain developper role is remote-available, and I think the rust project manager one might be too, although I could be wrong.

Adacore | Software Engineers | Full-time | Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes... Adacore is the maintainer of GNAT, GCC's Ada frontend (but now wi…

Adacore | Software Engineers | Full-time | Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes... Adacore is the maintainer of GNAT, the Ada compiler originally ba…

Adacore | Software Engineers | Full-time | Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes... Adacore is the maintainer of GNAT, the Ada compiler originally ba…

Adacore | Software Engineers | Full-time | Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes... Adacore is the maintainer of GNAT, the Ada compiler originally ba…

Adacore | Software Engineers | Full-time | Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes... Adacore is the maintainer of GNAT, the Ada compiler originally ba…

Adacore | Software Engineers | Full-time | Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes... Adacore is the maintainer of GNAT, the Ada compiler originally ba…

Adacore | Software Engineers | Full-time | Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes... Adacore is the maintainer of GNAT, the Ada compiler originally ba…

>The LLVM PTX backend is still very much WIP and often doesn't have things and/or breaks. What is missing in your opinion aside from working debug info? I've worked on experimental…

>For primarily these reasons, and spurred by our own urgent needs, in late 2019 we started to work on the concept of AURA - the Ada User Repository Annex. Our goal was simple, but …

Adacore | Software Engineers | Full-time | Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes... Adacore is the maintainer of GNAT, the Ada compiler originally ba…

Adacore | Software Engineers | Full-time | Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes... Adacore is the maintainer of GNAT, the Ada compiler originally ba…