>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?
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…
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 ecosystem…
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 with many more compiler backends: LLVM,…
>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…
The build system engineer position is 100% Ada if I'm not mistaken :)
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…
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, the Ada compiler originally based on GCC (but now with many more…
>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…
>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…
>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?
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…
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 ecosystem…
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 with many more compiler backends: LLVM,…
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,…
>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…
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 with many more compiler backends: LLVM,…
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,…
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…
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,…
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,…
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 with many more compiler backends: LLVM,…
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…
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…
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…
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…
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…
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…
>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…
>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…
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…
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…