glacambre

7 ms·

1. 1.▲
   by glacambre 4mo ago

   >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 manager and HR?
2. 2.▲
   by glacambre 4mo ago

   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...) and of a lot of tools revolving around the Ada ecosystem
3. 3.▲
   by glacambre 1y ago

   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-end. We’ve built a whole ecosyst
4. 4.▲
   by glacambre 4y ago

   Firenvim is also available on Chrome (although I do recommend using Firefox for browser monoculture avoidance :) ) : https://chrome.google.com/webstore/detail/firenvim/egpjdkipk...
5. 5.▲
   by glacambre 4y ago

   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 with many more compiler backends: LLVM, Why3, JVM...) and
6. 6.▲
   by glacambre 4y ago

   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 with many more compiler backends: LLVM, Why3, JVM...) and
7. 7.▲
   by glacambre 4y ago

   >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 key. He could do this on twitter, but that is not a secu
8. 8.▲
   by glacambre 4y ago

   The build system engineer position is 100% Ada if I'm not mistaken :)
9. 9.▲
   by glacambre 4y ago

   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 with many more compiler backends: LLVM, Why3, JVM...) and
10. 10.▲
    by glacambre 4y ago

    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 with many more compiler backends: LLVM, Why3, JVM...) and
11. 11.▲
    by glacambre 4y ago

    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 knowledge requirements, choosing the ones t
12. 12.▲
    by glacambre 4y ago

    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 with many more compiler backends: LLVM, Why3, JVM...) and
13. 13.▲
    by glacambre 4y ago

    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 with many more compiler backends: LLVM, Why3, JVM...) and
14. 14.▲
    by glacambre 4y ago

    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.
15. 15.▲
    by glacambre 4y ago

    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 with many more compiler backends: LLVM, Why3, JVM...). We
16. 16.▲
    by glacambre 4y ago

    Adacore | Software Engineers | Full-time | Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes... Adacore is the maintainer of GNAT, the Ada compiler originally based on GCC (but now with many more backends: LLVM, Why3, JVM
17. 17.▲
    by glacambre 5y ago

    Adacore | Software Engineers | Full-time | Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes... Adacore is the maintainer of GNAT, the Ada compiler originally based on GCC (but now with many more backends: LLVM, Why3, JVM
18. 18.▲
    by glacambre 5y ago

    Adacore | Software Engineers | Full-time | Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes... Adacore is the maintainer of GNAT, the Ada compiler originally based on GCC (but now with many more backends: LLVM, Why3, JVM
19. 19.▲
    by glacambre 5y ago

    Adacore | Software Engineers | Full-time | Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes... Adacore is the maintainer of GNAT, the Ada compiler originally based on GCC (but now with many more backends: LLVM, Why3, JVM
20. 20.▲
    by glacambre 5y ago

    Adacore | Software Engineers | Full-time | Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes... Adacore is the maintainer of GNAT, the Ada compiler originally based on GCC (but now with many more backends: LLVM, Why3, JVM
21. 21.▲
    by glacambre 5y ago

    Adacore | Software Engineers | Full-time | Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes... Adacore is the maintainer of GNAT, the Ada compiler originally based on GCC (but now with many more backends: LLVM, Why3, JVM
22. 22.▲
    by glacambre 5y ago

    >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 CUDA support in GNAT (the Ada frontend of
23. 23.▲
    by glacambre 5y ago

    >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 specific: to build a native package manager and build sys
24. 24.▲
    by glacambre 5y ago

    Adacore | Software Engineers | Full-time | Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes... Adacore is the maintainer of GNAT, the Ada compiler originally based on GCC (but now with many more backends: LLVM, Why3, JVM
25. 25.▲
    by glacambre 5y ago

    Adacore | Software Engineers | Full-time | Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes... Adacore is the maintainer of GNAT, the Ada compiler originally based on GCC (but now with many more backends: LLVM, Why3, JVM
26. 26.▲
    by glacambre 5y ago

    Adacore | Software Engineers | Full-time | Remote, New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes... Adacore is the maintainer of GNAT, the Ada compiler based originally based on GCC (there now are multiple backends: LLVM, Why
27. 27.▲
    by glacambre 5y ago

    AdaCore | Software Engineers | New-York, Paris, Bristol, Toulouse, Tallin, Grenoble, Vannes... | Full-Time | Remote/On-Site depends on position | https://www.adacore.com AdaCore is the maintainer of GNAT, the Ada compiler b
28. 28.▲
    by glacambre 5y ago

    Adacore | Software Engineers | Remote + Multiple offices across Europe/the US Adacore is the maintainer of GNAT, the Ada compiler based on GCC. We also have a lot of tools revolving around the Ada ecosystem (IDEs, Coverage tools, Stati