longdivision
Trail wants to improve the customer experience provided in restaurants and retail stores across the world. Our application's user centric design simplifies the working day allowing staff to recapture the time they want to spend with customers. We’re looking for a full stack engineer to help do this.
About the role:
- Our Tools include Ruby, Rails, Postgres, React, Flux, SASS, Foundation, Github, Codeship & Heroku.
- Flexible hours and remote working (we're on Old Street, London a couple of days a week if you do want meet up).
- Small scrum teams. Modern tools. Strong focus on developer experience and engineering excellence.
- Friday afternoon's are free for employee R&D time.
Trail is a task management app for retail and hospitality businesses. We bring UX and engineering expertise to an industry hungry for both. We help store managers and head office teams get their jobs done more easily. With Trail, stores spend less time on admin, and more time doing what counts - being with their customers.
Software Engineer
We’re looking for a full stack engineer driven to develop the way we work, as well as the software we write.
Small scrum teams. Modern tools. Employee R&D. Strong focus on developer experience and engineering excellence.
https://trailsuite.recruiterbox.com/jobs/fk0hp6l/
Head of Customer Engagement
We’re looking for a Head of Customer Engagement to help us empower both new and existing customers. Do you have a desire to change a sector, to help shape the way customers are served and to make a difference to industries notorious for long hours and administrative burden?
Trail wants to improve the customer experience provided in restaurants and retail stores across the world. Our application's user centric design simplifies the working day allowing staff to recapture the time they want to spend with customers. We’re looking for a full stack engineer to help do this.
About the role:
- Our Tools include Ruby, Rails, Postgres, React, Flux, SASS, Foundation, Github, Codeship & Heroku.
- Flexible hours and remote working (we're on Old Street, London a couple of days a week if you do want meet up).
- Small scrum teams. Modern tools. Strong focus on developer experience and engineering excellence.
- Friday afternoon's are free for employee R&D time.
Trail wants to improve the customer experience provided in restaurants and retail stores across the world. Our application's user centric design simplifies the working day allowing staff to recapture the time they want to spend with customers. We’re looking for a full stack engineer to help do this.
About the role:
- Our Tools include Ruby, Rails, Postgres, React, Flux, SASS, Foundation, Github, Codeship & Heroku.
- Flexible hours and remote working (we're on Old Street, London a couple of days a week if you do want meet up).
- Small scrum teams. Modern tools. Strong focus on developer experience and engineering excellence.
- Friday afternoon's are free for employee R&D time.
You can delete a post as long as your application created the post.
- https://developers.facebook.com/docs/reference/api/post/Ask HN: Do you use formal methods?
I'm currently taking a formal methods course at university and a couple of names thrown around as users of FMs were Microsoft (for static analysis of drivers) and Altran Praxis. Coverity were also mentioned for performing static analysis of the internal LHC framework for CERN and the Mars Rover kernel for NASA.I was wondering if any HN users at smaller companies made use of formal methods, and...