TrustInSoft

TrustInSoft

TrustInSoft
TrustInSoft

Backend

  • OCaml
    OCaml
    100%
  • C++
    C++
    100%
  • C
    C
    100%
  • Python
    Python
    40%
  • Lua
    Lua
    30%
  • Perl
    Perl
    10%

Frontend

  • HTML5
    HTML5
    100%
  • CSS3
    CSS3
    100%
  • Ext JS
    Ext JS
    75%

Devops

  • Shell
    Shell
    100%
  • GitHub
    GitHub
    100%
  • Docker
    Docker
    100%
  • Bitbucket
    Bitbucket
    100%
  • AWS
    AWS
    100%
  • Bash
    Bash
    50%
  • Ansible
    Ansible
    50%

Data

  • Kibana
    Kibana
    100%
  • Grafana
    Grafana
    50%

Continuous Integration

  • Jenkins
    Jenkins
    100%
  • Travis CI
    Travis CI
    50%

Project Management

  • Slack
    Slack
    100%
  • JIRA
    JIRA
    100%

IDE

  • Emacs
    Emacs
    65%
  • Vim
    Vim
    25%
  • Atom
    Atom
    10%

Monitoring

  • ELK
    ELK
    50%

Learn more about TrustInSoft

Presentation

TrustInSoft is a French software publisher, based in Paris and San Francisco, that provides tools to developers for formal verification of C and C++ source code. TrustInSoft is the only software analysis solutions publisher that allows its clients to obtain mathematical guarantees on the security and reliability of their code, without needing to modify the development process.

What they are looking for

TrustInSoft likes working with bilingual profiles (English mandatory + French bonus) that are also curious and passionate.

The company is looking for dynamic profiles who can drive proposals and who seek to revolutionize the world of software development.

C and C++ developers who keep ISO norms on their bedside table, OCaml geeks who want to integrate one of the biggest development projects in this language, formal methods enthusiasts or simply dedicated workers and those who like working in groups are the perfect candidates to join the TrustInSoft adventure.

Good to know

Joining the TrustInSoft adventure also means working and evolving in an international context (and in socks). But also:

  • Dedicated and passionate colleagues
  • A cool (and orange) office space where good humor and team spirit drive an enriching daily life
  • Gaming sessions
  • Go, Chess, Mahjong
  • Running/sports with colleagues
  • Weekly fruit basket
  • Friday night happy hours

Embed this profile on your website